Function verify_with_rng 

pub fn verify_with_rng<const FULL_ROUNDS: usize, G, EFqSponge, EFrSponge, OpeningProof: OpenProof<G, FULL_ROUNDS>, RNG: RngCore + CryptoRng>(
    group_map: &G::Map,
    verifier_index: &VerifierIndex<FULL_ROUNDS, G, OpeningProof::SRS>,
    proof: &ProverProof<G, OpeningProof, FULL_ROUNDS>,
    public_input: &[G::ScalarField],
    rng: &mut RNG,
) -> 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>>,

Verify a proof ProverProof using a VerifierIndex, a group_map, and an RNG.

This is the no_std-compatible version of verify.

Errors

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