zkevm: enable bytecode lookups

crypto3/libs/blueprint/include/nil/blueprint/zkevm_bbf/opcodes/jump.hpp

@@ -87,9 +87,9 @@ namespace nil {
                             current_state.bytecode_hash_hi(0),
                             current_state.bytecode_hash_lo(0)
                         };
-                        // TODO(oclaw): bytecode check is disabled since hash algorithm for circuits is not finalized yet
+                        // TODO(oclaw): bytecode check is to be adjusted between nil and placeholder
                         // https://github.com/NilFoundation/placeholder/issues/205
-                        // lookup(tmp, "zkevm_bytecode");
+                        lookup(tmp, "zkevm_bytecode");
                     }
                 }
             };
@@ -161,4 +161,4 @@ namespace nil {
             };
         } // namespace bbf
     }   // namespace blueprint
-}   // namespace nil
+}   // namespace nil

crypto3/libs/blueprint/include/nil/blueprint/zkevm_bbf/opcodes/jumpi.hpp

@@ -126,9 +126,9 @@ namespace nil {
                             is_jump * current_state.bytecode_hash_hi(0),
                             is_jump * current_state.bytecode_hash_lo(0)
                         };
-                        // TODO(oclaw): bytecode check is disabled since hash algorithm for circuits is not finalized yet
+                        // TODO(oclaw): bytecode check is to be adjusted between nil and placeholder
                         // https://github.com/NilFoundation/placeholder/issues/205
-                        // lookup(tmp, "zkevm_bytecode");
+                        lookup(tmp, "zkevm_bytecode");
                     }
                 }
             };

crypto3/libs/blueprint/include/nil/blueprint/zkevm_bbf/opcodes/pushx.hpp

@@ -108,9 +108,9 @@ namespace nil {
                                     current_state.bytecode_hash_lo(1)
                                 };
                             }
-                            // TODO(oclaw): bytecode check is disabled since hash algorithm for circuits is not finalized yet
+                            // TODO(oclaw): bytecode check is to be adjusted between nil and placeholder
                             // https://github.com/NilFoundation/placeholder/issues/205
-                            // lookup(tmp, "zkevm_bytecode");
+                            lookup(tmp, "zkevm_bytecode");
                         }
                     }
                 }

crypto3/libs/blueprint/include/nil/blueprint/zkevm_bbf/zkevm.hpp

@@ -528,9 +528,9 @@ namespace nil {
                         tmp[4] = context_object.relativize(evm_opcode_constraint * all_states[1].bytecode_hash_hi, -1);
                         tmp[5] = context_object.relativize(evm_opcode_constraint * all_states[1].bytecode_hash_lo, -1);
 
-                        // TODO(oclaw): bytecode check is disabled since hash algorithm for circuits is not finalized yet
+                        // TODO(oclaw): bytecode check is to be adjusted between nil and placeholder
                         // https://github.com/NilFoundation/placeholder/issues/205
-                        // context_object.relative_lookup(tmp, "zkevm_bytecode", 1, max_zkevm_rows-1);
+                        context_object.relative_lookup(tmp, "zkevm_bytecode", 1, max_zkevm_rows-1);
                    }
                 }
             protected:

proof-producer/tests/bin/proof-producer/resources/traces/increment_multi_tx.exp.bin

@@ -0,0 +1 @@
+�����확V@8a3fa26bb6955c3922c436ec46023545f94b1dc12f68aa2baffa99285afca291

proof-producer/tests/bin/proof-producer/resources/traces/increment_simple.exp.bin

@@ -0,0 +1 @@
+�����֚�h@8a3fa26bb6955c3922c436ec46023545f94b1dc12f68aa2baffa99285afca291