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