diff --git a/ivc/src/ivc/mod.rs b/ivc/src/ivc/mod.rs index 5004bbf874..159b2f930f 100644 --- a/ivc/src/ivc/mod.rs +++ b/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>() + } }