Module bls12_381

Types for BLS12-381 curve with intrinsic functions.

Structs

BLS12_381_MODULUS

BLS12_381_ORDER

Bls12_381

Bls12_381Fp

An element of the ring of integers modulo a positive integer. The element is internally represented as a fixed size array of bytes.

Bls12_381Fp2

Quadratic extension field of #intmod_type with irreducible polynomial X^2 + 1. Elements are represented as c0 + c1 * u where u^2 = -1.

Bls12_381G1Affine

Bls12_381Scalar

An element of the ring of integers modulo a positive integer. The element is internally represented as a fixed size array of bytes.

G2Affine

A newtype wrapper for AffinePoint that implements elliptic curve operations by using the underlying field operations according to the formulas for short Weierstrass curves.

Constants

BLS12_381_BLOCK_SIZE

BLS12_381_LIMB_BITS

BLS12_381_NUM_LIMBS

BLS12_381_PSEUDO_BINARY_ENCODING

BLS12_381_SEED_ABS

BLS12_381_XI_ISIZE

Type Aliases

Fp

Fp2

Fp12

G1Affine

Affine point representation of Fp points of BLS12-381. Note: an instance of this type may be constructed that lies on the curve but not necessarily in the prime order subgroup because the group has cofactors.

Scalar