Function prove

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
where
    RNG: RngCore + CryptoRng,