Module types

Expand description

Reexports and type aliases for the Halo2 prototype (kept close to mithril-circuits to minimize diff).

Structs§

Bls12: BLS12-381 pairing engine.
Jubjub: This represents an extended point (U, V, Z, T1, T2) with Z nonzero, corresponding to the affine point (U/Z, V/Z). We always have T1 * T2 = UV/Z.
JubjubAffine: This represents a Jubjub point in the affine (u, v) coordinates.
JubjubBase: Represents an element of the scalar field Fq of the BLS12-381 elliptic curve construction.
JubjubScalar: Represents an element of the scalar field $\mathbb{F}_r$ of the Jubjub elliptic curve construction.
JubjubSubgroup: This represents a point in the prime-order subgroup of Jubjub, in extended coordinates.