From 7ba051f4c75e8881a7d27da07999b1b6ddda9e3a Mon Sep 17 00:00:00 2001 From: Robin Salen <30937548+Nashtare@users.noreply.github.com> Date: Mon, 17 Jul 2023 12:45:07 -0400 Subject: [PATCH] Fix failing byte constraint (#1135) --- evm/src/arithmetic/byte.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/evm/src/arithmetic/byte.rs b/evm/src/arithmetic/byte.rs index a563eb9f..743aa1bc 100644 --- a/evm/src/arithmetic/byte.rs +++ b/evm/src/arithmetic/byte.rs @@ -260,7 +260,7 @@ pub fn eval_packed( let expected_out_byte = tree[15]; // Sum all higher limbs; sum will be non-zero iff idx >= 32. - let hi_limb_sum = idx0_hi + idx[1..].iter().copied().sum::

(); + let hi_limb_sum = lv[BYTE_IDX_DECOMP_HI] + idx[1..].iter().copied().sum::

(); let idx_is_large = lv[BYTE_IDX_IS_LARGE]; // idx_is_large is 0 or 1 @@ -381,7 +381,7 @@ pub fn eval_ext_circuit, const D: usize>( yield_constr.constraint(builder, t); let expected_out_byte = tree[15]; - let mut hi_limb_sum = idx0_hi; + let mut hi_limb_sum = lv[BYTE_IDX_DECOMP_HI]; for i in 1..N_LIMBS { hi_limb_sum = builder.add_extension(hi_limb_sum, idx[i]); }