Module binius_core::protocols::sumcheck_v2::prove

Re-exports

• pub use oracles::constraint_set_sumcheck_prover;
• pub use oracles::constraint_set_zerocheck_prover;
• pub use regular_sumcheck::RegularSumcheckProver;
• pub use zerocheck::ZerocheckProver;

Modules

• oracles
• regular_sumcheck
• 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.

Functions

• batch_prove
  Prove a batched sumcheck protocol execution.