Curve.Weierstrass.SECP256K1

Documentation

module Curve.Weierstrass

type PP = WPPoint SECP256K1 Fq Fr

Projective SECP256K1 point.

type PJ = WJPoint SECP256K1 Fq Fr

Jacobian SECP256K1 point.

type PA = WAPoint SECP256K1 Fq Fr

Affine SECP256K1 curve point.

type Fr = PrimeField 115792089237316195423570985008687907852837564279074904382605163141518161494337

Field of coefficients of SECP256K1 curve.

type Fq = PrimeField 115792089237316195423570985008687907853269984665640564039457584007908834671663

Field of points of SECP256K1 curve.

data SECP256K1

SECP256K1 curve.

Instances

WPCurve SECP256K1 Fq Fr

Projective SECP256K1 curve is a Weierstrass projective curve.

Defined in Curve.Weierstrass.SECP256K1

Methods

gP_ :: WPPoint SECP256K1 Fq Fr

WJCurve SECP256K1 Fq Fr

Jacobian SECP256K1 curve is a Weierstrass Jacobian curve.

Defined in Curve.Weierstrass.SECP256K1

Methods

gJ_ :: WJPoint SECP256K1 Fq Fr

WACurve SECP256K1 Fq Fr

Affine SECP256K1 curve is a Weierstrass affine curve.

Defined in Curve.Weierstrass.SECP256K1

Methods

gA_ :: WAPoint SECP256K1 Fq Fr

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

SECP256K1 curve is a Weierstrass curve.

Defined in Curve.Weierstrass.SECP256K1

Methods

a_ :: WPoint c SECP256K1 Fq Fr -> Fq

b_ :: WPoint c SECP256K1 Fq Fr -> Fq

h_ :: WPoint c SECP256K1 Fq Fr -> Integer

q_ :: WPoint c SECP256K1 Fq Fr -> Integer

r_ :: WPoint c SECP256K1 Fq Fr -> Integer

x_ :: WPoint c SECP256K1 Fq Fr -> Fq

y_ :: WPoint c SECP256K1 Fq Fr -> Fq

_a :: Fq

Coefficient A of SECP256K1 curve.

_b :: Fq

Coefficient B of SECP256K1 curve.

_h :: Integer

Cofactor of SECP256K1 curve.

_q :: Integer

Characteristic of SECP256K1 curve.

_r :: Integer

Order of SECP256K1 curve.

_x :: Fq

Coordinate X of SECP256K1 curve.

_y :: Fq

Coordinate Y of SECP256K1 curve.

gA :: PA

Generator of affine SECP256K1 curve.

gJ :: PJ

Generator of Jacobian SECP256K1 curve.

gP :: PP

Generator of projective SECP256K1 curve.