Function verify_relaxed

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