Module binius_core::protocols::sumcheck_v2::prove
source · 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§
Enums§
- A sum type that is used to put both regular sumchecks and zerochecks into the same
batch_prove
call.
Traits§
- A sumcheck prover with a round-by-round execution interface.
Functions§
- Prove a batched sumcheck protocol execution.