Function batch_verify

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

Verify a batched zerocheck instance.

See module documentation for details.