Struct ark_poly_commit::kzg10::PreparedVerifierKey

pub struct PreparedVerifierKey<E: PairingEngine> {
    pub prepared_g: Vec<E::G1Affine>,
    pub prepared_h: E::G2Prepared,
    pub prepared_beta_h: E::G2Prepared,
}

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_h: E::G2Prepared

The generator of G2, prepared for use in pairings.

prepared_beta_h: E::G2Prepared

\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: PairingEngine> Clone for PreparedVerifierKey<E>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

fn default() -> Self

Returns the “default value” for a type.