Struct ProverState 

pub struct ProverState<F: PrimeField> {
    pub randomness: Vec<F>,
    pub mles: Vec<DenseMultilinearExtension<F::Inner>>,
    pub num_vars: usize,
    pub max_degree: usize,
    pub round: usize,
    pub asserted_sum: Option<F>,
}

Sumcheck Prover State.

Fields

randomness: Vec<F>

Sampled randomness given by the verifier.

mles: Vec<DenseMultilinearExtension<F::Inner>>

Stores the list of multilinear extensions the sumcheck polynomial is comprised of.

num_vars: usize

Number of variables.

max_degree: usize

Max degree.

round: usize

The current round number.

asserted_sum: Option<F>

Claimed sum for the first round polynomial.

Implementations

impl<F: PrimeField> ProverState<F>

pub fn new( mles: Vec<DenseMultilinearExtension<F::Inner>>, nvars: usize, degree: usize, ) -> Self

Initialize the prover to argue for the sum of products of MLE’s in {0,1}^num_vars.

impl<F> ProverState<F>

where F: InnerTransparentField,

pub fn prove_round( &mut self, v_msg: &Option<F>, comb_fn: impl Fn(&[F]) -> F + Send + Sync, config: &F::Config, ) -> ProverMsg<F>

Receive message from verifier, generate prover message, and proceed to next round.

Adapted Jolt’s sumcheck implementation.