fix: check with is_first instead of is_last in exp reverse bits c…

…hip (#1482)
succinctlabs · Sep 27, 2024 · 19f34b0 · 19f34b0
1 parent c9b305b
commit 19f34b0
Showing 1 changed file with 1 addition and 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
@@ -265,7 +265,7 @@ impl<const DEGREE: usize> ExpReverseBitsLenChip<DEGREE> {
 
         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.