pub type RingProof = Proof<Fp<MontBackend<FrConfig, 4>, 4>, KZG<Bls12<Config>>, RingCommitments<Fp<MontBackend<FrConfig, 4>, 4>, <KZG<Bls12<Config>> as PCS<Fp<MontBackend<FrConfig, 4>, 4>>>::C>, RingEvaluations<Fp<MontBackend<FrConfig, 4>, 4>>>;