Module bellperson::bls[][src]

Structs

Bls12-381 engine

Fp values are always in Montgomery form; i.e., Scalar(a) = aR mod p, with R = 2^384.

This represents an element $c_0 + c_1 w$ of $\mathbb{F}{p^12} = \mathbb{F}{p^6} / w^2 - v$.

Representation of a Fp, in regular coordinates.

Represents an element of the scalar field $\mathbb{F}_q$ of the BLS12-381 elliptic curve construction.

Representation of a Scalar, in regular coordinates.

This is an element of $\mathbb{G}_1$ represented in the affine coordinate space. It is ideal to keep elements in this representation to reduce memory usage and improve performance through the use of mixed curve model arithmetic.

This is an element of $\mathbb{G}_1$ represented in the projective coordinate space.

This is an element of $\mathbb{G}_2$ represented in the affine coordinate space. It is ideal to keep elements in this representation to reduce memory usage and improve performance through the use of mixed curve model arithmetic.

This is an element of $\mathbb{G}_2$ represented in the projective coordinate space.

Traits

This traits enables reading and writing a compressed version.

with well-defined relationships. In particular, the G1/G2 curve groups are of prime order r, and are equipped with a bilinear pairing function.

Affine representation of an elliptic curve point that can be used to perform pairings.