jf_plonk::proof_system::structs

Type Alias OpenKey

Source
pub type OpenKey<E> = UnivariateVerifierParam<E>;
Expand description

Key for verifying PCS opening proof.

Aliased Type§

struct OpenKey<E> {
    pub g: <E as Pairing>::G1Affine,
    pub h: <E as Pairing>::G2Affine,
    pub beta_h: <E as Pairing>::G2Affine,
    pub powers_of_h: Vec<<E as Pairing>::G2Affine>,
    pub powers_of_g: Vec<<E as Pairing>::G1Affine>,
}

Fields§

§g: <E as Pairing>::G1Affine

TODO: remove g, h and beta_h The generator of G1.

§h: <E as Pairing>::G2Affine

The generator of G2.

§beta_h: <E as Pairing>::G2Affine

\beta times the above generator of G2.

§powers_of_h: Vec<<E as Pairing>::G2Affine>

powers of \beta time the generator h of G2: only used for multi-point openings

§powers_of_g: Vec<<E as Pairing>::G1Affine>

powers of \beta time the generator g of G1: only used for multi-point openings