feat: bytecode hashing init

barretenberg/cpp/pil/avm/bytecode.pil

@@ -0,0 +1,13 @@
+namespace bytecode(256);
+
+    pol commit packed;
+    pol commit length_remaining;
+    pol commit running_hash;
+
+    pol commit end_latch;
+
+    // TODO: Come back to this;
+    // pol commit class_id;
+    // pol commit contract_address;
+
+

barretenberg/cpp/pil/avm/constants_gen.pil

@@ -11,6 +11,7 @@ namespace constants(256);
     pol MAX_NULLIFIER_NON_EXISTENT_READ_REQUESTS_PER_CALL = 16;
     pol MAX_L1_TO_L2_MSG_READ_REQUESTS_PER_CALL = 16;
     pol MAX_UNENCRYPTED_LOGS_PER_CALL = 4;
+    pol MAX_PACKED_PUBLIC_BYTECODE_SIZE_IN_FIELDS = 3000;
     pol MEM_TAG_FF = 0;
     pol MEM_TAG_U1 = 1;
     pol MEM_TAG_U8 = 2;

barretenberg/cpp/pil/avm/main.pil

@@ -5,6 +5,7 @@ include "constants_gen.pil";
 include "constants_misc.pil";
 include "gas.pil";
 include "kernel.pil";
+include "bytecode.pil";
 include "fixed/powers.pil";
 include "gadgets/conversion.pil";
 include "gadgets/sha256.pil";

barretenberg/cpp/src/barretenberg/execution_trace/execution_trace.cpp

@@ -174,4 +174,4 @@ template class ExecutionTrace_<MegaFlavor>;
 template class ExecutionTrace_<plonk::flavor::Standard>;
 template class ExecutionTrace_<plonk::flavor::Ultra>;
 
-} // namespace bb
+} // namespace bb

barretenberg/cpp/src/barretenberg/vm/avm/generated/circuit_builder.cpp

@@ -136,6 +136,10 @@ AvmCircuitBuilder::ProverPolynomials AvmCircuitBuilder::compute_polynomials() co
                 polys.binary_op_id.set_if_valid_index(i, rows[i].binary_op_id);
                 polys.binary_sel_bin.set_if_valid_index(i, rows[i].binary_sel_bin);
                 polys.binary_start.set_if_valid_index(i, rows[i].binary_start);
+                polys.bytecode_end_latch.set_if_valid_index(i, rows[i].bytecode_end_latch);
+                polys.bytecode_length_remaining.set_if_valid_index(i, rows[i].bytecode_length_remaining);
+                polys.bytecode_packed.set_if_valid_index(i, rows[i].bytecode_packed);
+                polys.bytecode_running_hash.set_if_valid_index(i, rows[i].bytecode_running_hash);
                 polys.cmp_a_hi.set_if_valid_index(i, rows[i].cmp_a_hi);
                 polys.cmp_a_lo.set_if_valid_index(i, rows[i].cmp_a_lo);
                 polys.cmp_b_hi.set_if_valid_index(i, rows[i].cmp_b_hi);