pub fn prove(
srs: &SRS<Curve>,
group_map: &<Curve as CommitmentCurve>::Map,
blob: FieldBlob,
challenge: ScalarField,
rng: &mut OsRng,
) -> StorageProof
pub fn prove(
srs: &SRS<Curve>,
group_map: &<Curve as CommitmentCurve>::Map,
blob: FieldBlob,
challenge: ScalarField,
rng: &mut OsRng,
) -> StorageProof