Module prove

Re-exports

• pub use oracles::constraint_set_sumcheck_prover;
• pub use oracles::constraint_set_zerocheck_prover;
• 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

• oracles
• prover_state
• regular_sumcheck
• univariate
• zerocheck

Enums

• ConcreteProver
  A sum type that is used to put both regular sumchecks and zerochecks into the same batch_prove call.

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.