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