RingProof

w3f_ring_proof

Type Alias RingProof 

Source 
pub type RingProof<F, CS> = Proof<F, CS, RingCommitments<F, <CS as PCS<F>>::C>, RingEvaluations<F>>;

Aliased Type§

pub struct RingProof<F, CS> {
    pub column_commitments: RingCommitments<F, <CS as PCS<F>>::C>,
    pub columns_at_zeta: RingEvaluations<F>,
    pub quotient_commitment: <CS as PCS<F>>::C,
    pub lin_at_zeta_omega: F,
    pub agg_at_zeta_proof: <CS as PCS<F>>::Proof,
    pub lin_at_zeta_omega_proof: <CS as PCS<F>>::Proof,
}

Fields§

§column_commitments: RingCommitments<F, <CS as PCS<F>>::C>§columns_at_zeta: RingEvaluations<F>§quotient_commitment: <CS as PCS<F>>::C§lin_at_zeta_omega: F§agg_at_zeta_proof: <CS as PCS<F>>::Proof§lin_at_zeta_omega_proof: <CS as PCS<F>>::Proof