Function prove

pub fn prove<RNG>(
    srs: &SRS<Curve>,
    domain: EvaluationDomains<ScalarField>,
    group_map: &<Curve as CommitmentCurve>::Map,
    rng: &mut RNG,
    data: &[ScalarField],
    query: &[ScalarField],
    answer: &[ScalarField],
    data_comm: &Curve,
) -> ReadProof
where
    RNG: RngCore + CryptoRng,