IVC/interpreter: testing with 100 columns

ivc/src/ivc/mod.rs

@@ -216,6 +216,7 @@ mod tests {
     }
 
     #[test]
+    // Verifying the IVC circuit can be built with 50 columns for the application
     fn test_completeness_ivc_app_50_cols() {
         // Number of challenges in the IVC circuit.
         // It is the maximum number of constraints per row.
@@ -225,4 +226,16 @@ mod tests {
 
         test_completeness_ivc::<{ IVCColumn::N_COL + 50 }, TEST_N_CHALS>()
     }
+
+    #[test]
+    // Verifying the IVC circuit can be built with 100 columns for the application
+    fn test_completeness_ivc_app_100_cols() {
+        // Number of challenges in the IVC circuit.
+        // It is the maximum number of constraints per row.
+        // We do suppose it is Poseidon which has the highest number of constraints
+        // for now.
+        pub const TEST_N_CHALS: usize = IVC_POSEIDON_NB_CONSTRAINTS;
+
+        test_completeness_ivc::<{ IVCColumn::N_COL + 100 }, TEST_N_CHALS>()
+    }
 }