From 3eb41edb690521214e11b7e79695e26ff9631084 Mon Sep 17 00:00:00 2001 From: Jacqueline Nabaglo Date: Wed, 14 Jun 2023 20:47:15 -0700 Subject: [PATCH] William comments --- evm/src/cpu/push0.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/evm/src/cpu/push0.rs b/evm/src/cpu/push0.rs index 212315ae..30f6d0ae 100644 --- a/evm/src/cpu/push0.rs +++ b/evm/src/cpu/push0.rs @@ -13,7 +13,7 @@ pub fn eval_packed( ) { let filter = lv.op.push0; 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); } } @@ -25,7 +25,7 @@ pub fn eval_ext_circuit, const D: usize>( ) { let filter = lv.op.push0; 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); yield_constr.constraint(builder, constr); }