Function verify 

pub fn verify<G, EFqSponge, EFrSponge, OpeningProof: OpenProof<G>>(
    group_map: &G::Map,
    verifier_index: &VerifierIndex<G, OpeningProof>,
    proof: &ProverProof<G, OpeningProof>,
    public_input: &[G::ScalarField],
) -> Result<()>
where
    G: KimchiCurve,
    G::BaseField: PrimeField,
    EFqSponge: Clone + FqSponge<G::BaseField, G, G::ScalarField>,
    EFrSponge: FrSponge<G::ScalarField>,

Verify a proof ProverProof using a VerifierIndex and a group_map.

Errors

Will give error if proof(s) are not verified as valid.