1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13

//! Interactive Proof Protocol used for Multilinear Sumcheck

use ark_ff::Field;
use ark_std::marker::PhantomData;

pub mod prover;
pub mod verifier;
pub use crate::ml_sumcheck::data_structures::{ListOfProductsOfPolynomials, PolynomialInfo};
/// Interactive Proof for Multilinear Sumcheck
pub struct IPForMLSumcheck<F: Field> {
    #[doc(hidden)]
    _marker: PhantomData<F>,
}