binius_core::protocols::sumcheck::prove

Function batch_prove

source
pub fn batch_prove<F, Prover, Transcript>(
    provers: Vec<Prover>,
    transcript: Transcript,
) -> Result<BatchSumcheckOutput<F>, Error>
where F: TowerField, Prover: SumcheckProver<F>, Transcript: CanSample<F> + CanWrite,
Expand description

Prove a batched sumcheck protocol execution.

The sumcheck protocol over can be batched over multiple instances by taking random linear combinations over the claimed sums and polynomials. See crate::protocols::sumcheck::batch_verify for more details.

The provers in the provers parameter must in the same order as the corresponding claims provided to crate::protocols::sumcheck::batch_verify during proof verification.