Module sumcheck 

Re-exports

pub use bivariate_product_evaluator::bivariate_product_prover;

pub use quadratic_mle_evaluator::quadratic_mlecheck_prover;

pub use batch::batch_prove;

Modules

batch

bivariate_product_evaluator

bivariate_product_mle

common

eq_tracker

Equality-indicator state carried across the rounds of an MLE-check.

factored_multilinear

A dense multilinear held as a product of factors over disjoint runs of variables.

frac_add_mle

mle_store

Shared multilinear column store for sumcheck round evaluators.

multilinear_eval

quadratic_mle_evaluator

round_evals

Sampled round-polynomial evaluations, and their interpolation to monomial coefficients.

round_evaluator

Round evaluators over a shared MleStore and the provers that drive them.

selector_mle

sparse_dense_product

Sumcheck prover for the product of a sparse and a dense multilinear.

zk_mlecheck

Prover for the Libra mask polynomial in ZK MLE-check protocols.

Structs

MleToSumCheckDecorator

Adaptor that exposes a SumcheckProver interface for an internal MleCheckProver.

MleToSumCheckEvaluator

Adaptor that turns an MleCheckRoundEvaluator into a SumcheckRoundEvaluator.

PaddedSumcheckDecorator

Decorator that pads the number of variables of an inner SumcheckProver.

ProveSingleOutput

Output of the sumcheck proving protocol for a single multivariate polynomial.

Functions

prove_single

Executes the sumcheck proving protocol for a single multivariate polynomial.

prove_single_mlecheck

Executes the MLE-check proving protocol for a single multivariate polynomial.