fix(zkevm-circuits/begin_tx): add constraints

privacy-scaling-explorations · Mar 4, 2024 · c40d3da · c40d3da
1 parent 13d9cba
commit c40d3da
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/zkevm-circuits/src/evm_circuit/execution/begin_tx.rs b/zkevm-circuits/src/evm_circuit/execution/begin_tx.rs
@@ -216,7 +216,16 @@ impl<F: Field> ExecutionGadget<F> for BeginTxGadget<F> {
                 caller_nonce_hash_bytes.to_word(),
             );
 
-            // cb.keccak_table_lookup(input_rlc, input_len, output);
+            cb.keccak_table_lookup(
+                create.code_hash_keccak_rlc(cb),
+                32.expr(),
+                cb.curr.state.code_hash.to_word(),
+            );
+            cb.require_equal_word(
+                "code hash equivalence",
+                code_hash.to_word(),
+                create.code_hash().to_word(),
+            );
 
             cb.account_write(
                 call_callee_address.to_word(),