pub fn prove<RNG>(
srs: &SRS<Curve>,
domain: EvaluationDomains<ScalarField>,
group_map: &<Curve as CommitmentCurve>::Map,
rng: &mut RNG,
data: &Data<ScalarField>,
query: &Query,
data_comm: &Commitment<Curve>,
query_comm: &Curve,
) -> ReadProof