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