elliptic-curve-0.3.0: Elliptic curve library
Data.Curve.Weierstrass.BLS12381T
Contents
module Data.Curve.Weierstrass
type PP = WPPoint BLS12381 Fq2 Fr Source #
Projective BLS12381 point.
type PJ = WJPoint BLS12381 Fq2 Fr Source #
Jacobian BLS12381 point.
type PA = WAPoint BLS12381 Fq2 Fr Source #
Affine BLS12381 curve point.
data U Source #
Defined in Data.Curve.Weierstrass.BLS12381T
Methods
poly :: Extension U Fq -> VPoly Fq #
gP_ :: WPPoint BLS12381 Fq2 Fr Source #
gJ_ :: WJPoint BLS12381 Fq2 Fr Source #
gA_ :: WAPoint BLS12381 Fq2 Fr Source #
a_ :: WPoint c BLS12381 Fq2 Fr -> Fq2 Source #
b_ :: WPoint c BLS12381 Fq2 Fr -> Fq2 Source #
h_ :: WPoint c BLS12381 Fq2 Fr -> Natural Source #
q_ :: WPoint c BLS12381 Fq2 Fr -> Natural Source #
r_ :: WPoint c BLS12381 Fq2 Fr -> Natural Source #
type Fq2 = Extension U Fq Source #
Field of points of BLS12381 curve over Fq2.
Fq2
_a :: Fq2 Source #
Coefficient A of BLS12381 curve.
A
_b :: Fq2 Source #
Coefficient B of BLS12381 curve.
B
_h :: Natural Source #
Cofactor of BLS12381 curve.
_q :: Natural Source #
Characteristic of BLS12381 curve.
_r :: Natural Source #
Order of BLS12381 curve.
_x :: Fq2 Source #
Coordinate X of BLS12381 curve.
X
_y :: Fq2 Source #
Coordinate Y of BLS12381 curve.
Y
gA :: PA Source #
Generator of affine BLS12381 curve.
gJ :: PJ Source #
Generator of Jacobian BLS12381 curve.
gP :: PP Source #
Generator of projective BLS12381 curve.