jf_plonk::proof_system::structs

Type Alias UniversalSrs

Source
pub type UniversalSrs<E> = UnivariateUniversalParams<E>;
Expand description

Universal StructuredReferenceString

Aliased Type§

struct UniversalSrs<E> {
    pub powers_of_g: Vec<<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>,
}

Fields§

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

Group elements of the form { \beta^i G }, where i ranges from 0 to degree.

§h: <E as Pairing>::G2Affine

TODO: remove h and beta_h 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