feat: Add co-zeromorph to co-ultrahonk (#195)

TaceoLabs · Oct 3, 2024 · e7df56e · e7df56e
1 parent be44986
commit e7df56e
Show file tree

Hide file tree

Showing 9 changed files with 899 additions and 97 deletions.
diff --git a/co-noir/co-ultrahonk/src/co_decider/co_zeromorph/mod.rs b/co-noir/co-ultrahonk/src/co_decider/co_zeromorph/mod.rs
@@ -1 +1,20 @@
 pub(crate) mod prover;
+pub(crate) mod types;
+
+use super::polynomial::SharedPolynomial;
+use ark_ec::pairing::Pairing;
+use ark_ff::PrimeField;
+use mpc_core::traits::PrimeFieldMpcProtocol;
+
+pub(crate) struct ZeroMorphOpeningClaim<T, P: Pairing>
+where
+    T: PrimeFieldMpcProtocol<P::ScalarField>,
+{
+    pub(crate) polynomial: SharedPolynomial<T, P>,
+    pub(crate) opening_pair: OpeningPair<P::ScalarField>,
+}
+
+pub(crate) struct OpeningPair<F: PrimeField> {
+    pub(crate) challenge: F,
+    pub(crate) evaluation: F,
+}