From 142113b8f7e7b1929f1eb680797f9274fae6c8e2 Mon Sep 17 00:00:00 2001 From: erabinov Date: Thu, 5 Sep 2024 12:49:00 -0400 Subject: [PATCH] fix --- crates/recursion/core-v2/src/chips/exp_reverse_bits.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/recursion/core-v2/src/chips/exp_reverse_bits.rs b/crates/recursion/core-v2/src/chips/exp_reverse_bits.rs index 0cbfeaa982..dfa1bb9240 100644 --- a/crates/recursion/core-v2/src/chips/exp_reverse_bits.rs +++ b/crates/recursion/core-v2/src/chips/exp_reverse_bits.rs @@ -265,7 +265,7 @@ impl ExpReverseBitsLenChip { builder .when(local_prepr.is_real) - .when_not(local_prepr.is_last) + .when_not(local_prepr.is_first) .assert_eq(local.accum, local.prev_accum_squared_times_multiplier); // Constrain the accum_squared column.