Struct snarkos_algorithms::snark::groth16::PreparedVerifyingKey

pub struct PreparedVerifyingKey<E: PairingEngine> {
    pub vk: VerifyingKey<E>,
    pub alpha_g1_beta_g2: E::Fqk,
    pub gamma_g2_neg_pc: <E::G2Affine as PairingCurve>::Prepared,
    pub delta_g2_neg_pc: <E::G2Affine as PairingCurve>::Prepared,
    pub gamma_abc_g1: Vec<E::G1Affine>,
}

Preprocessed verification key parameters that enable faster verification at the expense of larger size in memory.

Fields

vk: VerifyingKey<E>

alpha_g1_beta_g2: E::Fqk

gamma_g2_neg_pc: <E::G2Affine as PairingCurve>::Prepared

delta_g2_neg_pc: <E::G2Affine as PairingCurve>::Prepared

gamma_abc_g1: Vec<E::G1Affine>

Trait Implementations

impl<E: Clone + PairingEngine> Clone for PreparedVerifyingKey<E> where
    E::Fqk: Clone,
    E::G2Affine: Clone,
    E::G2Affine: Clone,
    E::G1Affine: Clone, 

fn clone(&self) -> PreparedVerifyingKey<E>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<E: Debug + PairingEngine> Debug for PreparedVerifyingKey<E> where
    E::Fqk: Debug,
    E::G2Affine: Debug,
    E::G2Affine: Debug,
    E::G1Affine: Debug, 

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<E: PairingEngine> From<Parameters<E>> for PreparedVerifyingKey<E>

fn from(other: Parameters<E>) -> Self

Performs the conversion.

impl<E: PairingEngine> From<PreparedVerifyingKey<E>> for VerifyingKey<E>

fn from(other: PreparedVerifyingKey<E>) -> Self

Performs the conversion.

impl<E: PairingEngine> From<VerifyingKey<E>> for PreparedVerifyingKey<E>

fn from(other: VerifyingKey<E>) -> Self

Performs the conversion.