Data.Curve.Weierstrass.SECP256R1

Documentation

module Data.Curve.Weierstrass

SECP256R1 curve

type PP = WPPoint SECP256R1 Fq Fr

Projective SECP256R1 point.

type PJ = WJPoint SECP256R1 Fq Fr

Jacobian SECP256R1 point.

type PA = WAPoint SECP256R1 Fq Fr

Affine SECP256R1 curve point.

type R = 115792089210356248762697446949407573529996955224135760342422259061068512044369

type Fr = Prime R

Field of coefficients of SECP256R1 curve.

type Q = 115792089210356248762697446949407573530086143415290314195533631308867097853951

type Fq = Prime Q

Field of points of SECP256R1 curve.

data SECP256R1

SECP256R1 curve.

Instances

WPCurve SECP256R1 Fq Fr

Defined in Data.Curve.Weierstrass.SECP256R1

Methods

gP_ :: WPPoint SECP256R1 Fq Fr

WJCurve SECP256R1 Fq Fr

Defined in Data.Curve.Weierstrass.SECP256R1

Methods

gJ_ :: WJPoint SECP256R1 Fq Fr

WACurve SECP256R1 Fq Fr

Defined in Data.Curve.Weierstrass.SECP256R1

Methods

gA_ :: WAPoint SECP256R1 Fq Fr

Curve Weierstrass c SECP256R1 Fq Fr => WCurve c SECP256R1 Fq Fr

Defined in Data.Curve.Weierstrass.SECP256R1

Methods

a_ :: WPoint c SECP256R1 Fq Fr -> Fq

b_ :: WPoint c SECP256R1 Fq Fr -> Fq

h_ :: WPoint c SECP256R1 Fq Fr -> Natural

q_ :: WPoint c SECP256R1 Fq Fr -> Natural

r_ :: WPoint c SECP256R1 Fq Fr -> Natural

_a :: Fq

Coefficient A of SECP256R1 curve.

_b :: Fq

Coefficient B of SECP256R1 curve.

_h :: Natural

Cofactor of SECP256R1 curve.

_q :: Natural

Characteristic of SECP256R1 curve.

_r :: Natural

Order of SECP256R1 curve.

_x :: Fq

Coordinate X of SECP256R1 curve.

_y :: Fq

Coordinate Y of SECP256R1 curve.

gA :: PA

Generator of affine SECP256R1 curve.

gJ :: PJ

Generator of Jacobian SECP256R1 curve.

gP :: PP

Generator of projective SECP256R1 curve.