pub fn verify_wrt_combined_data_commitment( srs: &SRS<Curve>, group_map: &<Curve as CommitmentCurve>::Map, combined_data_commitment: Curve, proof: &StorageProof, rng: &mut OsRng ) -> bool