fix

succinctlabs · Sep 5, 2024 · 142113b · 142113b
1 parent c3267d6
commit 142113b
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.