Data.Curve.Weierstrass.BrainpoolP320R1

Documentation

module Data.Curve.Weierstrass

BrainpoolP320R1 curve

type PP = WPPoint BrainpoolP320R1 Fq Fr

Projective BrainpoolP320R1 point.

type PJ = WJPoint BrainpoolP320R1 Fq Fr

Jacobian BrainpoolP320R1 point.

type PA = WAPoint BrainpoolP320R1 Fq Fr

Affine BrainpoolP320R1 curve point.

type R = 1763593322239166354161909842446019520889512772717686063760686124016784784845843468355685258203921

type Fr = Prime R

Field of coefficients of BrainpoolP320R1 curve.

type Q = 1763593322239166354161909842446019520889512772719515192772960415288640868802149818095501499903527

type Fq = Prime Q

Field of points of BrainpoolP320R1 curve.

data BrainpoolP320R1

BrainpoolP320R1 curve.

Instances

WPCurve BrainpoolP320R1 Fq Fr

Defined in Data.Curve.Weierstrass.BrainpoolP320R1

Methods

gP_ :: WPPoint BrainpoolP320R1 Fq Fr

WJCurve BrainpoolP320R1 Fq Fr

Defined in Data.Curve.Weierstrass.BrainpoolP320R1

Methods

gJ_ :: WJPoint BrainpoolP320R1 Fq Fr

WACurve BrainpoolP320R1 Fq Fr

Defined in Data.Curve.Weierstrass.BrainpoolP320R1

Methods

gA_ :: WAPoint BrainpoolP320R1 Fq Fr

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

Defined in Data.Curve.Weierstrass.BrainpoolP320R1

Methods

a_ :: WPoint c BrainpoolP320R1 Fq Fr -> Fq

b_ :: WPoint c BrainpoolP320R1 Fq Fr -> Fq

h_ :: WPoint c BrainpoolP320R1 Fq Fr -> Natural

q_ :: WPoint c BrainpoolP320R1 Fq Fr -> Natural

r_ :: WPoint c BrainpoolP320R1 Fq Fr -> Natural

_a :: Fq

Coefficient A of BrainpoolP320R1 curve.

_b :: Fq

Coefficient B of BrainpoolP320R1 curve.

_h :: Natural

Cofactor of BrainpoolP320R1 curve.

_q :: Natural

Characteristic of BrainpoolP320R1 curve.

_r :: Natural

Order of BrainpoolP320R1 curve.

_x :: Fq

Coordinate X of BrainpoolP320R1 curve.

_y :: Fq

Coordinate Y of BrainpoolP320R1 curve.

gA :: PA

Generator of affine BrainpoolP320R1 curve.

gJ :: PJ

Generator of Jacobian BrainpoolP320R1 curve.

gP :: PP

Generator of projective BrainpoolP320R1 curve.