circuit2 update #84

NilFoundation · Nov 8, 2023 · 843616d · 843616d
1 parent 55f4c2a
commit 843616d
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/contracts/zkllvm/circuit2/commitment.sol b/contracts/zkllvm/circuit2/commitment.sol
@@ -454,6 +454,11 @@ library modular_commitment_scheme_circuit2 {
             }
 
 
+        bytes calldata proof_of_work = blob[blob.length - 4:];
+        transcript.update_transcript(tr_state, proof_of_work);
+        uint256 p_o_w = transcript.get_integral_challenge_be(tr_state, 4);
+        if (p_o_w & 4294901760 != 0) return false;
+
 
             unchecked{
                 offset += 0x8 + r;