pub fn batch_prove<F, Prover, Transcript>(
provers: Vec<Prover>,
transcript: Transcript,
) -> Result<BatchSumcheckOutput<F>, Error>
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.