Crate oblast_demo

High-level wrapper for BLS12-381 arithmetic using blst.

Structs

Fp12

Element of the degree-12 field extension.

Fr

Field sub-group element.

P1

Point on the curve sub-group G1.

P2

Point on the curve sub-group G2.

P1Affine

Affine encoding of a point on G1.

P2Affine

Affine encoding of a point on G2.

Scalar

Scalar for multiplying curve points.

Functions

curve_order

Return the order of the group(s) defined over elliptic curves in BLS12-381. The r in Fr. TODO: change this name to modulus

verify_pairings

Check that e(x1, x2) = e(y1, y2).