Function batch_verify

pub fn batch_verify<G, EFqSponge, EFrSponge, OpeningProof: OpenProof<G>>(
    group_map: &G::Map,
    proofs: &[Context<'_, G, OpeningProof>],
) -> Result<()>
where
    G: KimchiCurve,
    G::BaseField: PrimeField,
    EFqSponge: Clone + FqSponge<G::BaseField, G, G::ScalarField>,
    EFrSponge: FrSponge<G::ScalarField>,

This function verifies the batch of zk-proofs proofs: vector of Plonk proofs RETURN: verification status

Errors

Will give error if srs of proof is invalid or verify process fails.