Function binius_core::protocols::gkr_sumcheck::batch_verify
source · pub fn batch_verify<F, CH>(
claims: impl IntoIterator<Item = GkrSumcheckClaim<F>>,
proof: GkrSumcheckBatchProof<F>,
challenger: CH
) -> Result<Vec<ReducedClaim<F>>, Error>
Expand description
Verify a batched GkrSumcheck instance.
See module documentation for details.