Struct snarkvm_wasm::groth16::PreparedVerifyingKey

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

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 as PairingEngine>::Fqk

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

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

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

pub fn from(other: Parameters<E>) -> PreparedVerifyingKey<E>

Performs the conversion.

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

pub fn from(other: PreparedVerifyingKey<E>) -> VerifyingKey<E>

Performs the conversion.

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

pub fn from(other: VerifyingKey<E>) -> PreparedVerifyingKey<E>

Performs the conversion.