Skip to content

Commit

Permalink
Update barretenberg/cpp/pil/avm/avm_alu.pil
Browse files Browse the repository at this point in the history
Co-authored-by: Jean M <[email protected]>
  • Loading branch information
IlyasRidhuan and jeanmon authored May 9, 2024
1 parent 432368e commit fa26bbc
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion barretenberg/cpp/pil/avm/avm_alu.pil
Original file line number Diff line number Diff line change
Expand Up @@ -651,7 +651,7 @@ namespace avm_alu(256);
// Boolean if ia < ib ==> ic = 0;
pol commit op_div_a_lt_b;
op_div_a_lt_b * (1 - op_div_a_lt_b) = 0;
// To show this, we constrain ib - ia - 1 to be within 128-bits
// To show this, we constrain ib - ia - 1 to be within 128 bits.
// Since we need a range check we use the existing a_lo column that is range checked over 128-bits
op_div_a_lt_b * (a_lo - (ib - ia - 1)) = 0;
op_div_a_lt_b * ic = 0; // ic = 0
Expand Down

0 comments on commit fa26bbc

Please sign in to comment.