Data.Curve.Weierstrass.BrainpoolP256T1

Documentation

module Data.Curve.Weierstrass

BrainpoolP256T1 curve

type PP = WPPoint BrainpoolP256T1 Fq Fr

Projective BrainpoolP256T1 point.

type PJ = WJPoint BrainpoolP256T1 Fq Fr

Jacobian BrainpoolP256T1 point.

type PA = WAPoint BrainpoolP256T1 Fq Fr

Affine BrainpoolP256T1 curve point.

type R = 76884956397045344220809746629001649092737531784414529538755519063063536359079

type Fr = Prime R

Field of coefficients of BrainpoolP256T1 curve.

type Q = 76884956397045344220809746629001649093037950200943055203735601445031516197751

type Fq = Prime Q

Field of points of BrainpoolP256T1 curve.

data BrainpoolP256T1

BrainpoolP256T1 curve.

Instances

WPCurve BrainpoolP256T1 Fq Fr

Defined in Data.Curve.Weierstrass.BrainpoolP256T1

Methods

gP_ :: WPPoint BrainpoolP256T1 Fq Fr

WJCurve BrainpoolP256T1 Fq Fr

Defined in Data.Curve.Weierstrass.BrainpoolP256T1

Methods

gJ_ :: WJPoint BrainpoolP256T1 Fq Fr

WACurve BrainpoolP256T1 Fq Fr

Defined in Data.Curve.Weierstrass.BrainpoolP256T1

Methods

gA_ :: WAPoint BrainpoolP256T1 Fq Fr

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

Defined in Data.Curve.Weierstrass.BrainpoolP256T1

Methods

a_ :: WPoint c BrainpoolP256T1 Fq Fr -> Fq

b_ :: WPoint c BrainpoolP256T1 Fq Fr -> Fq

h_ :: WPoint c BrainpoolP256T1 Fq Fr -> Natural

q_ :: WPoint c BrainpoolP256T1 Fq Fr -> Natural

r_ :: WPoint c BrainpoolP256T1 Fq Fr -> Natural

_a :: Fq

Coefficient A of BrainpoolP256T1 curve.

_b :: Fq

Coefficient B of BrainpoolP256T1 curve.

_h :: Natural

Cofactor of BrainpoolP256T1 curve.

_q :: Natural

Characteristic of BrainpoolP256T1 curve.

_r :: Natural

Order of BrainpoolP256T1 curve.

_x :: Fq

Coordinate X of BrainpoolP256T1 curve.

_y :: Fq

Coordinate Y of BrainpoolP256T1 curve.

gA :: PA

Generator of affine BrainpoolP256T1 curve.

gJ :: PJ

Generator of Jacobian BrainpoolP256T1 curve.

gP :: PP

Generator of projective BrainpoolP256T1 curve.