ark_linear_sumcheck/ml_sumcheck/protocol/mod.rs
1//! Interactive Proof Protocol used for Multilinear Sumcheck
2
3use ark_ff::Field;
4use ark_std::marker::PhantomData;
5
6pub mod prover;
7pub mod verifier;
8pub use crate::ml_sumcheck::data_structures::{ListOfProductsOfPolynomials, PolynomialInfo};
9/// Interactive Proof for Multilinear Sumcheck
10pub struct IPForMLSumcheck<F: Field> {
11 #[doc(hidden)]
12 _marker: PhantomData<F>,
13}