referrerpolicy=no-referrer-when-downgrade

Type Alias sp_application_crypto::bandersnatch::ring_vrf::RingProof

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>>>;

Aliased Type§

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>>,
}

Fields§

§column_commitments: RingCommitments<Fp<MontBackend<FrConfig, 4>, 4>, KzgCommitment<Bls12<Config<HostHooks>>>>§columns_at_zeta: RingEvaluations<Fp<MontBackend<FrConfig, 4>, 4>>§quotient_commitment: KzgCommitment<Bls12<Config<HostHooks>>>§lin_at_zeta_omega: Fp<MontBackend<FrConfig, 4>, 4>§agg_at_zeta_proof: Affine<Config<HostHooks>>§lin_at_zeta_omega_proof: Affine<Config<HostHooks>>