MVPoly: implement compute_cross_terms

o1-labs · Aug 28, 2024 · d977ac4 · d977ac4
1 parent 6612a08
commit d977ac4
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/mvpoly/src/prime.rs b/mvpoly/src/prime.rs
@@ -369,6 +369,14 @@ impl<F: PrimeField, const N: usize, const D: usize> Dense<F, N, D> {
                 }
             })
     }
+
+    /// Compute the cross-terms as described in [Behind Nova: cross-terms
+    /// computation for high degree
+    /// gates](https://hackmd.io/@dannywillems/Syo5MBq90)
+    pub fn compute_cross_terms(&self, _eval1: [F; N], _eval2: [F; N], _r: F) -> [F; D] {
+        assert!(self.is_homogeneous(), "The polynomial must be homogeneous");
+        unimplemented!()
+    }
 }
 
 impl<F: PrimeField, const N: usize, const D: usize> Default for Dense<F, N, D> {