logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-07 16:23:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

William comments

Browse Source
This commit is contained in:
Jacqueline Nabaglo 2023-06-14 20:47:15 -07:00
parent cedeff5219
commit 3eb41edb69
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
evm/src/cpu/push0.rs
View File

@ -13,7 +13,7 @@ pub fn eval_packed<P: PackedField>(
) { ) {
let filter = lv.op.push0; let filter = lv.op.push0;
let push_value = lv.mem_channels[NUM_GP_CHANNELS - 1].value; let push_value = lv.mem_channels[NUM_GP_CHANNELS - 1].value;
for &limb in &push_value[0..] { for limb in push_value {
yield_constr.constraint(filter * limb); yield_constr.constraint(filter * limb);
} }
} }
@ -25,7 +25,7 @@ pub fn eval_ext_circuit<F: RichField + Extendable<D>, const D: usize>(
) { ) {
let filter = lv.op.push0; let filter = lv.op.push0;
let push_value = lv.mem_channels[NUM_GP_CHANNELS - 1].value; let push_value = lv.mem_channels[NUM_GP_CHANNELS - 1].value;
for &limb in &push_value[0..] { for limb in push_value {
let constr = builder.mul_extension(filter, limb); let constr = builder.mul_extension(filter, limb);
yield_constr.constraint(builder, constr); yield_constr.constraint(builder, constr);
} }