Function binius_core::protocols::sumcheck::batch_verify

pub fn batch_verify<F, CH>(
    claims: impl IntoIterator<Item = SumcheckClaim<F>>,
    proof: SumcheckBatchProof<F>,
    challenger: CH
) -> Result<Vec<EvalcheckClaim<F>>, Error>
where
    F: Field,
    CH: CanSample<F> + CanObserve<F>,

Verify a batched sumcheck instance.

See module documentation for details.