Module prove

Re-exports

pub use oracles::constraint_set_sumcheck_prover;

pub use oracles::constraint_set_zerocheck_prover;

pub use oracles::split_constraint_set;

pub use prover_state::ProverState;

pub use prover_state::SumcheckInterpolator;

pub use regular_sumcheck::RegularSumcheckProver;

pub use univariate::reduce_to_skipped_projection;

pub use univariate::univariatizing_reduction_prover;

pub use zerocheck::UnivariateZerocheck;

pub use zerocheck::ZerocheckProver;

Modules

front_loaded

oracles

prover_state

regular_sumcheck

univariate

zerocheck

Traits

SumcheckProver

A sumcheck prover with a round-by-round execution interface.

UnivariateZerocheckProver

A univariate zerocheck prover interface.

Functions

batch_prove

Prove a batched sumcheck protocol execution.

batch_prove_with_start

Prove a batched sumcheck protocol execution, but after some rounds have been processed.

batch_prove_zerocheck_univariate_round

Prove a batched univariate zerocheck round.