[#1793] Fix the total number of columns

o1-labs · Mar 21, 2024 · 0b6e78e · 0b6e78e
1 parent 5b1631d
commit 0b6e78e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/msm/src/fec/columns.rs b/msm/src/fec/columns.rs
@@ -1,4 +1,4 @@
 use crate::N_LIMBS;
 
 /// Number of columns in the FEC circuits.
-pub const FEC_N_COLUMNS: usize = 34 * N_LIMBS + 42 * N_LIMBS; // 42 LIMBS is for debugging
+pub const FEC_N_COLUMNS: usize = 12 * N_LIMBS + 29;
diff --git a/msm/src/fec/interpreter.rs b/msm/src/fec/interpreter.rs
@@ -199,7 +199,6 @@ where
 /// carry_2:    5*L + 8*S + 5     2*S+2
 /// carry_3:    5*L + 10*S + 7    2*S+2
 ///----------------------------------------------------------------
-/// total columns: 5*L + 12*S - 9 = 215
 ///
 ///
 /// Ranges: