Function binius_core::protocols::abstract_sumcheck::batch_verify

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

Verify a batched abstract sumcheck instance.

See module documentation for details.