Skip to content

Commit

Permalink
feat(avm): add pil + trace placeholders
Browse files Browse the repository at this point in the history
  • Loading branch information
IlyasRidhuan committed Oct 1, 2024
1 parent 0ec2c74 commit 1b0053b
Show file tree
Hide file tree
Showing 28 changed files with 941 additions and 2,065,149 deletions.
14 changes: 14 additions & 0 deletions barretenberg/cpp/pil/avm/bytecode.pil
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@

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;


1 change: 1 addition & 0 deletions barretenberg/cpp/pil/avm/main.pil
Original file line number Diff line number Diff line change
Expand Up @@ -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";
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -129,6 +129,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);
Expand Down
Loading

0 comments on commit 1b0053b

Please sign in to comment.