pub fn batch_verify<F, Challenger_>(
claims: impl IntoIterator<Item = GrandProductClaim<F>>,
transcript: &mut VerifierTranscript<Challenger_>,
) -> Result<Vec<LayerClaim<F>>, Error>where
F: TowerField,
Challenger_: Challenger,Expand description
Verifies batch reduction turning each GrandProductClaim into an EvalcheckMultilinearClaim