fixup! Arrabiata/Constraints: integrate mvpoly to compute cross-terms

o1-labs · Oct 16, 2024 · 6b94b8b · 6b94b8b
1 parent 6d24296
commit 6b94b8b
Showing 1 changed file with 13 additions and 9 deletions.
diff --git a/arrabiata/tests/constraints.rs b/arrabiata/tests/constraints.rs
@@ -194,18 +194,22 @@ fn test_integration_with_mvpoly_to_compute_cross_terms() {
     let eval2: [Fp; NUMBER_OF_COLUMNS + NUMBER_OF_PUBLIC_INPUTS] =
         std::array::from_fn(|_| Fp::rand(&mut rng));
 
-    let polys = constraints
-        .iter()
-        .map(|c| {
-            println!("Converting into mvpoly the constraint: {:?}", c);
-            // Adding one to the maximum degree to account for the variable α.
-            Sparse::<
+    let polys =
+        constraints
+            .iter()
+            .map(|c| {
+                println!("Converting into mvpoly the constraint: {:?}", c);
+                // Adding one to the maximum degree to account for the variable α.
+                Sparse::<
                     Fp,
                     { NUMBER_OF_COLUMNS + NUMBER_OF_PUBLIC_INPUTS },
                     { MAX_DEGREE as usize + 1 },
-                >::from_expr::<Column, ChallengeTerm>(c.clone())
-        })
-        .collect();
+                >::from_expr::<Column, ChallengeTerm>(
+                    c.clone(),
+                    Some(NUMBER_OF_COLUMNS + NUMBER_OF_PUBLIC_INPUTS),
+                )
+            })
+            .collect();
     let _cross_terms =
         mvpoly::compute_combined_cross_terms(polys, alpha_1, alpha_2, eval1, eval2, u1, u2);
 }