pub type RingProof = Proof<Fp<MontBackend<FrConfig, 4>, 4>, KZG<Bls12<Config<HostHooks>>>, RingCommitments<Fp<MontBackend<FrConfig, 4>, 4>, <KZG<Bls12<Config<HostHooks>>> as PCS<Fp<MontBackend<FrConfig, 4>, 4>>>::C>, RingEvaluations<Fp<MontBackend<FrConfig, 4>, 4>>>;
struct RingProof {
pub column_commitments: RingCommitments<Fp<MontBackend<FrConfig, 4>, 4>, KzgCommitment<Bls12<Config<HostHooks>>>>,
pub columns_at_zeta: RingEvaluations<Fp<MontBackend<FrConfig, 4>, 4>>,
pub quotient_commitment: KzgCommitment<Bls12<Config<HostHooks>>>,
pub lin_at_zeta_omega: Fp<MontBackend<FrConfig, 4>, 4>,
pub agg_at_zeta_proof: Affine<Config<HostHooks>>,
pub lin_at_zeta_omega_proof: Affine<Config<HostHooks>>,
}
§column_commitments: RingCommitments<Fp<MontBackend<FrConfig, 4>, 4>, KzgCommitment<Bls12<Config<HostHooks>>>>
§columns_at_zeta: RingEvaluations<Fp<MontBackend<FrConfig, 4>, 4>>