fix underflow in rotate_left

succinctlabs · Jan 12, 2024 · e5859ea · e5859ea
1 parent 11f8c3e
commit e5859ea
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/curta/src/chip/uint/bytes/bit_operations/rotate.rs b/curta/src/chip/uint/bytes/bit_operations/rotate.rs
@@ -90,7 +90,7 @@ impl<L: AirParameters> AirBuilder<L> {
             for i in 0..n {
                 self.set_select(
                     &bit,
-                    &temp.get((i - num_shift_bits) % n),
+                    &temp.get((n + i - num_shift_bits) % n),
                     &temp.get(i),
                     &res.get(i),
                 );

diff --git a/curta/src/chip/uint/operations/instruction.rs b/curta/src/chip/uint/operations/instruction.rs
@@ -103,7 +103,7 @@ mod tests {
         type Instruction = UintInstruction;
 
         const NUM_FREE_COLUMNS: usize = 1100;
-        const EXTENDED_COLUMNS: usize = 1300;
+        const EXTENDED_COLUMNS: usize = 1500;
         const NUM_ARITHMETIC_COLUMNS: usize = 0;
     }