Function binius_core::protocols::gkr_sumcheck::batch_verify

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

Verify a batched GkrSumcheck instance.

See module documentation for details.