Function verify

pub fn verify(
    srs: &SRS<Curve>,
    group_map: &<Curve as CommitmentCurve>::Map,
    commitments: &[Curve],
    challenge: ScalarField,
    proof: &StorageProof,
    rng: &mut OsRng,
) -> bool