Function batch_verify

pub fn batch_verify<F, Transcript>(
    claims: impl IntoIterator<Item = GrandProductClaim<F>>,
    proof: GrandProductBatchProof<F>,
    transcript: Transcript,
) -> Result<Vec<LayerClaim<F>>, Error>
where
    F: TowerField,
    Transcript: CanSample<F> + CanObserve<F> + CanRead,

Verifies batch reduction turning each GrandProductClaim into an EvalcheckMultilinearClaim