Module prove

Re-exports

pub use logging::PIOPCompilerFoldData;

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 zerocheck::ZerocheckProverImpl;

Modules

eq_ind

front_loaded

logging

oracles

prover_state

regular_sumcheck

univariate

zerocheck

Traits

SumcheckProver

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

ZerocheckProver

A zerocheck prover interface.

Functions

batch_prove

Prove a batched sumcheck protocol execution.

batch_prove_zerocheck

Prove a batched zerocheck protocol execution.