Function batch_verify 

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

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.