chore: change max_constraint_degree for testing

Author: jonathanpwang

crates/stark-backend-v2/src/proof.rs

@@ -485,13 +485,13 @@ mod tests {
     #[test]
     fn test_interactions_proof_encode_decode() -> Result<()> {
         let fx = InteractionsFixture11;
-        let params = test_system_params_small(2, 5, 3);
+        let params = test_system_params_small(2, 5, 3, 3);
         test_proof_encode_decode(fx, params)
     }
 
     #[test]
     fn test_cached_proof_encode_decode() -> Result<()> {
-        let params = test_system_params_small(2, 5, 3);
+        let params = test_system_params_small(2, 5, 3, 3);
         let fx = CachedFixture11::new(params.clone());
         test_proof_encode_decode(fx, params)
     }

crates/stark-backend-v2/src/test_utils.rs

@@ -482,21 +482,40 @@ impl SystemParams {
     /// **These parameters should not be used in production!**
     pub fn new_for_testing(log_trace_height: usize) -> Self {
         let l_skip = 4;
-        test_system_params_small(4, log_trace_height - l_skip, 4)
+        let k_whir = 4;
+        let max_constraint_degree = 4;
+        test_system_params_small(
+            l_skip,
+            log_trace_height - l_skip,
+            k_whir,
+            max_constraint_degree,
+        )
     }
 }
 
 /// Trace heights cannot exceed 2^{l_skip + n_stack} when using these system params.
-pub fn test_system_params_small(l_skip: usize, n_stack: usize, k_whir: usize) -> SystemParams {
+pub fn test_system_params_small(
+    l_skip: usize,
+    n_stack: usize,
+    k_whir: usize,
+    max_constraint_degree: usize,
+) -> SystemParams {
     let log_final_poly_len = (n_stack + l_skip) % k_whir;
-    test_system_params_small_with_poly_len(l_skip, n_stack, k_whir, log_final_poly_len)
+    test_system_params_small_with_poly_len(
+        l_skip,
+        n_stack,
+        k_whir,
+        log_final_poly_len,
+        max_constraint_degree,
+    )
 }
 
 pub fn test_system_params_small_with_poly_len(
     l_skip: usize,
     n_stack: usize,
     k_whir: usize,
     log_final_poly_len: usize,
+    max_constraint_degree: usize,
 ) -> SystemParams {
     assert!(log_final_poly_len < l_skip + n_stack);
     let log_blowup = 1;
@@ -507,7 +526,7 @@ pub fn test_system_params_small_with_poly_len(
         log_blowup,
         whir: test_whir_config_small(log_blowup, l_skip + n_stack, k_whir, log_final_poly_len),
         logup: log_up_security_params_baby_bear_100_bits(),
-        max_constraint_degree: 3,
+        max_constraint_degree,
     }
 }
 
@@ -527,7 +546,7 @@ pub fn test_whir_config_small(
 }
 
 pub fn default_test_params_small() -> SystemParams {
-    test_system_params_small(2, 8, 3)
+    test_system_params_small(2, 8, 3, 3)
 }
 
 pub fn test_engine_small() -> BabyBearPoseidon2CpuEngineV2<DuplexSponge> {

crates/stark-backend-v2/src/tests.rs

@@ -453,7 +453,7 @@ fn test_batch_constraints_with_interactions() -> eyre::Result<()> {
 #[test]
 fn test_matrix_stacking_overflow() {
     setup_tracing();
-    let params = test_system_params_small(3, 5, 3);
+    let params = test_system_params_small(3, 5, 3, 3);
     let engine = BabyBearPoseidon2CpuEngineV2::<DuplexSponge>::new(params);
     let fx = SelfInteractionFixture {
         widths: vec![4, 7, 8, 8, 10],

crates/stark-backend-v2/src/verifier/mod.rs

@@ -246,7 +246,7 @@ mod tests {
         n_stack: usize,
         k_whir: usize,
     ) -> Result<(), VerifierError> {
-        let params = test_system_params_small(l_skip, n_stack, k_whir);
+        let params = test_system_params_small(l_skip, n_stack, k_whir, 3);
         let engine = BabyBearPoseidon2CpuEngineV2::new(params);
         let fx = InteractionsFixture11;
         let (pk, vk) = fx.keygen(&engine);
@@ -267,7 +267,7 @@ mod tests {
         k_whir: usize,
     ) -> Result<(), VerifierError> {
         setup_tracing_with_log_level(Level::DEBUG);
-        let params = test_system_params_small(l_skip, n_stack, k_whir);
+        let params = test_system_params_small(l_skip, n_stack, k_whir, 3);
         let engine = BabyBearPoseidon2CpuEngineV2::new(params.clone());
         let fx = CachedFixture11::new(params);
         let (pk, vk) = fx.keygen(&engine);
@@ -287,7 +287,7 @@ mod tests {
         k_whir: usize,
     ) -> Result<(), VerifierError> {
         use itertools::Itertools;
-        let params = test_system_params_small(l_skip, n_stack, k_whir);
+        let params = test_system_params_small(l_skip, n_stack, k_whir, 3);
         let engine = BabyBearPoseidon2CpuEngineV2::new(params);
         let log_trace_degree = 8;
         let height = 1 << log_trace_degree;