Type Alias PreparedVerifierKey

Source

pub type PreparedVerifierKey<E> = VerifierKey<E>;

Expand description

Nothing to do to prepare this verifier key (for now).

Aliased Type§

pub struct PreparedVerifierKey<E> {
    pub g: <E as Pairing>::G1Affine,
    pub gamma_g: <E as Pairing>::G1Affine,
    pub h: <E as Pairing>::G2Affine,
    pub beta_h: <E as Pairing>::G2Affine,
    pub prepared_h: <E as Pairing>::G2Prepared,
    pub prepared_beta_h: <E as Pairing>::G2Prepared,
    pub degree_bounds_and_neg_powers_of_h: Option<Vec<(usize, <E as Pairing>::G2Affine)>>,
    pub supported_degree: usize,
    pub max_degree: usize,
}

Fields§

§g: <E as Pairing>::G1Affine

The generator of G1.

§gamma_g: <E as Pairing>::G1Affine

The generator of G1 that is used for making a commitment hiding.

§h: <E as Pairing>::G2Affine

The generator of G2.

§beta_h: <E as Pairing>::G2Affine

\beta times the generator of G2.

§prepared_h: <E as Pairing>::G2Prepared

The generator of G2, prepared for use in pairings.

§prepared_beta_h: <E as Pairing>::G2Prepared

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

§degree_bounds_and_neg_powers_of_h: Option<Vec<(usize, <E as Pairing>::G2Affine)>>

Pairs a degree_bound with its corresponding G2 element, which has been prepared for use in pairings. Each pair is in the form (degree_bound, \beta^{degree_bound - max_degree} h), where h is the generator of G2 above

§supported_degree: usize

The maximum degree supported by the trimmed parameters that self is a part of.

§max_degree: usize

The maximum degree supported by the UniversalParams self was derived from.

Trait Implementations§

Source §

impl<E: Pairing> PCPreparedVerifierKey<VerifierKey<E>> for PreparedVerifierKey<E>