Struct EvalcheckVerifier

pub struct EvalcheckVerifier<'a, F>
where
    F: TowerField,
{ /* private fields */ }

A mutable verifier state.

Can be persisted across EvalcheckVerifier::verify invocations. Accumulates new_sumchecks bivariate sumcheck constraints, as well as holds mutable references to the trace (to which new oracles & multilinears may be added during verification)

Implementations

impl<'a, F> EvalcheckVerifier<'a, F>

where F: TowerField,

pub fn batch_committed_eval_claims(&self) -> &BatchCommittedEvalClaims<F>

impl<'a, F> EvalcheckVerifier<'a, F>

where F: TowerField,

pub fn batch_committed_eval_claims_mut( &mut self, ) -> &mut BatchCommittedEvalClaims<F>

impl<'a, F: TowerField> EvalcheckVerifier<'a, F>

pub fn new(oracles: &'a mut MultilinearOracleSet<F>) -> Self

Create a new verifier state from a mutable reference to the oracle set (it needs to be mutable because new_sumcheck reduction may add new oracles & multilinears)

pub fn take_new_sumcheck_constraints( &mut self, ) -> Result<Vec<ConstraintSet<F>>, OracleError>

A helper method to move out sumcheck constraints

pub fn verify( &mut self, evalcheck_claims: Vec<EvalcheckMultilinearClaim<F>>, evalcheck_proofs: Vec<EvalcheckProof<F>>, ) -> Result<(), Error>

Verify an evalcheck claim.

See EvalcheckProver::prove docs for comments.