Struct snarkvm_wasm::kzg10::PreparedVerifierKey

pub struct PreparedVerifierKey<E> where
    E: PairingEngine,  {
    pub prepared_g: Vec<<E as PairingEngine>::G1Affine, Global>,
    pub prepared_h: <<E as PairingEngine>::G2Affine as PairingCurve>::Prepared,
    pub prepared_beta_h: <<E as PairingEngine>::G2Affine as PairingCurve>::Prepared,
}

PreparedVerifierKey is the fully prepared version for checking evaluation proofs for a given commitment. We omit gamma here for simplicity.

Fields

prepared_g: Vec<<E as PairingEngine>::G1Affine, Global>

The generator of G1, prepared for power series.

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

The generator of G2, prepared for use in pairings.

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

\beta times the above generator of G2, prepared for use in pairings.

Implementations

impl<E> PreparedVerifierKey<E> where
    E: PairingEngine, 

pub fn prepare(vk: &VerifierKey<E>) -> PreparedVerifierKey<E>

prepare PreparedVerifierKey from VerifierKey

Trait Implementations

impl<E> Clone for PreparedVerifierKey<E> where
    E: PairingEngine, 

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E> Debug for PreparedVerifierKey<E> where
    E: PairingEngine, 

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

Formats the value using the given formatter.

impl<E> Default for PreparedVerifierKey<E> where
    E: PairingEngine, 

pub fn default() -> PreparedVerifierKey<E>

Returns the “default value” for a type.