elliptic-curve-0.3.0: Elliptic curve library

Safe HaskellNone
LanguageHaskell2010

Data.Curve.Weierstrass.BN256

Contents

Synopsis

Documentation

module Data.Curve.Weierstrass

BN256 curve

type PP = WPPoint BN256 Fq Fr Source #

Projective BN256 point.

type PJ = WJPoint BN256 Fq Fr Source #

Jacobian BN256 point.

type PA = WAPoint BN256 Fq Fr Source #

Affine BN256 curve point.

type R = 115792089237314936872688561244471742058035595988840268584488757999429535617037 Source #

type Fr = Prime R Source #

Field of coefficients of BN256 curve.

type Q = 115792089237314936872688561244471742058375878355761205198700409522629664518163 Source #

type Fq = Prime Q Source #

Field of points of BN256 curve.

data BN256 Source #

BN256 curve.

Instances
WPCurve BN256 Fq Fr Source # 
Instance details

Defined in Data.Curve.Weierstrass.BN256

Methods

gP_ :: WPPoint BN256 Fq Fr Source #

WJCurve BN256 Fq Fr Source # 
Instance details

Defined in Data.Curve.Weierstrass.BN256

Methods

gJ_ :: WJPoint BN256 Fq Fr Source #

WACurve BN256 Fq Fr Source # 
Instance details

Defined in Data.Curve.Weierstrass.BN256

Methods

gA_ :: WAPoint BN256 Fq Fr Source #

Curve Weierstrass c BN256 Fq Fr => WCurve c BN256 Fq Fr Source # 
Instance details

Defined in Data.Curve.Weierstrass.BN256

Methods

a_ :: WPoint c BN256 Fq Fr -> Fq Source #

b_ :: WPoint c BN256 Fq Fr -> Fq Source #

h_ :: WPoint c BN256 Fq Fr -> Natural Source #

q_ :: WPoint c BN256 Fq Fr -> Natural Source #

r_ :: WPoint c BN256 Fq Fr -> Natural Source #

_a :: Fq Source #

Coefficient A of BN256 curve.

_b :: Fq Source #

Coefficient B of BN256 curve.

_h :: Natural Source #

Cofactor of BN256 curve.

_q :: Natural Source #

Characteristic of BN256 curve.

_r :: Natural Source #

Order of BN256 curve.

_x :: Fq Source #

Coordinate X of BN256 curve.

_y :: Fq Source #

Coordinate Y of BN256 curve.

gA :: PA Source #

Generator of affine BN256 curve.

gJ :: PJ Source #

Generator of Jacobian BN256 curve.

gP :: PP Source #

Generator of projective BN256 curve.