Function binius_core::protocols::sumcheck_v2::prove::batch_prove

source ·

pub fn batch_prove<F, Prover, Challenger>(
    provers: Vec<Prover>,
    challenger: Challenger
) -> Result<(BatchSumcheckOutput<F>, Proof<F>), Error>where
    F: Field,
    Prover: SumcheckProver<F>,
    Challenger: CanSample<F> + CanObserve<F>,

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_v2::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_v2::batch_verify during proof verification.