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>
Expand description
Verify a batched abstract sumcheck instance.
See module documentation for details.