Curve.Weierstrass.SECP256R1

Documentation

module Curve.Weierstrass

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 Fr = PrimeField 115792089210356248762697446949407573529996955224135760342422259061068512044369

Field of coefficients of SECP256R1 curve.

type Fq = PrimeField 115792089210356248762697446949407573530086143415290314195533631308867097853951

Field of points of SECP256R1 curve.

data SECP256R1

SECP256R1 curve.

Instances

WPCurve SECP256R1 Fq Fr

Projective SECP256R1 curve is a Weierstrass projective curve.

Defined in Curve.Weierstrass.SECP256R1

Methods

gP_ :: WPPoint SECP256R1 Fq Fr

WJCurve SECP256R1 Fq Fr

Jacobian SECP256R1 curve is a Weierstrass Jacobian curve.

Defined in Curve.Weierstrass.SECP256R1

Methods

gJ_ :: WJPoint SECP256R1 Fq Fr

WACurve SECP256R1 Fq Fr

Affine SECP256R1 curve is a Weierstrass affine curve.

Defined in Curve.Weierstrass.SECP256R1

Methods

gA_ :: WAPoint SECP256R1 Fq Fr

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

SECP256R1 curve is a Weierstrass curve.

Defined in Curve.Weierstrass.SECP256R1

Methods

a_ :: WPoint c SECP256R1 Fq Fr -> Fq

b_ :: WPoint c SECP256R1 Fq Fr -> Fq

h_ :: WPoint c SECP256R1 Fq Fr -> Integer

q_ :: WPoint c SECP256R1 Fq Fr -> Integer

r_ :: WPoint c SECP256R1 Fq Fr -> Integer

x_ :: WPoint c SECP256R1 Fq Fr -> Fq

y_ :: WPoint c SECP256R1 Fq Fr -> Fq

_a :: Fq

Coefficient A of SECP256R1 curve.

_b :: Fq

Coefficient B of SECP256R1 curve.

_h :: Integer

Cofactor of SECP256R1 curve.

_q :: Integer

Characteristic of SECP256R1 curve.

_r :: Integer

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.