Struct snarkvm_algorithms::polycommit::kzg10::PreparedVerifierKey

pub struct PreparedVerifierKey<E: PairingEngine> {
    pub prepared_g: Vec<E::G1Affine>,
    pub prepared_gamma_g: Vec<E::G1Affine>,
    pub prepared_h: <E::G2Affine as PairingCurve>::Prepared,
    pub prepared_beta_h: <E::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::G1Affine>

The generator of G1, prepared for power series.

prepared_gamma_g: Vec<E::G1Affine>

The generator of G1 that is used for making a commitment hiding, prepared for power series

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

The generator of G2, prepared for use in pairings.

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

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

Implementations

impl<E: PairingEngine> PreparedVerifierKey<E>

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

prepare PreparedVerifierKey from VerifierKey

Trait Implementations

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

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 + PairingEngine> Debug for PreparedVerifierKey<E>where
    E::G1Affine: Debug,
    E::G1Affine: Debug,
    E::G2Affine: Debug,
    E::G2Affine: Debug,

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

Formats the value using the given formatter.

impl<E: Default + PairingEngine> Default for PreparedVerifierKey<E>where
    E::G1Affine: Default,
    E::G1Affine: Default,
    E::G2Affine: Default,
    E::G2Affine: Default,

fn default() -> PreparedVerifierKey<E>

Returns the “default value” for a type.