Function prove_relaxed

pub fn prove_relaxed<RNG>(
    srs: &SRS<Curve>,
    domain: EvaluationDomains<ScalarField>,
    group_map: &<Curve as CommitmentCurve>::Map,
    rng: &mut RNG,
    inst: &RelaxedInstance,
    wit: &RelaxedWitness,
) -> ReadProof
where
    RNG: RngCore + CryptoRng,