Function saffron::proof::verify_storage_proof

pub fn verify_storage_proof<G: KimchiCurve, EFqSponge: Clone + FqSponge<G::BaseField, G, G::ScalarField>>(
    srs: &SRS<G>,
    group_map: &G::Map,
    commitment: PolyComm<G>,
    evaluation_point: G::ScalarField,
    proof: &StorageProof<G>,
    rng: &mut OsRng
) -> boolwhere
    G::BaseField: PrimeField,