elliptic-curve-0.3.0: Elliptic curve library

Safe HaskellNone
LanguageHaskell2010

Data.Curve.Binary.SECT239K1

Contents

Synopsis

Documentation

module Data.Curve.Binary

SECT239K1 curve

type PP = BPPoint SECT239K1 F2m Fr Source #

Projective SECT239K1 point.

type PA = BAPoint SECT239K1 F2m Fr Source #

Affine SECT239K1 curve point.

type R = 220855883097298041197912187592864814948216561321709848887480219215362213 Source #

type Fr = Prime R Source #

Field of coefficients of SECT239K1 curve.

type P = 883423532389192164791649115746868590639471499359017658131558014629445633 Source #

type F2m = Binary P Source #

Field of points of SECT239K1 curve.

data SECT239K1 Source #

SECT239K1 curve.

Instances
BPCurve SECT239K1 F2m Fr Source # 
Instance details

Defined in Data.Curve.Binary.SECT239K1

Methods

gP_ :: BPPoint SECT239K1 F2m Fr Source #

BACurve SECT239K1 F2m Fr Source # 
Instance details

Defined in Data.Curve.Binary.SECT239K1

Methods

gA_ :: BAPoint SECT239K1 F2m Fr Source #

Curve Binary c SECT239K1 F2m Fr => BCurve c SECT239K1 F2m Fr Source # 
Instance details

Defined in Data.Curve.Binary.SECT239K1

Methods

a_ :: BPoint c SECT239K1 F2m Fr -> F2m Source #

b_ :: BPoint c SECT239K1 F2m Fr -> F2m Source #

h_ :: BPoint c SECT239K1 F2m Fr -> Natural Source #

p_ :: BPoint c SECT239K1 F2m Fr -> Natural Source #

r_ :: BPoint c SECT239K1 F2m Fr -> Natural Source #

_a :: F2m Source #

Coefficient A of SECT239K1 curve.

_b :: F2m Source #

Coefficient B of SECT239K1 curve.

_h :: Natural Source #

Cofactor of SECT239K1 curve.

_p :: Natural Source #

Polynomial of SECT239K1 curve.

_r :: Natural Source #

Order of SECT239K1 curve.

_x :: F2m Source #

Coordinate X of SECT239K1 curve.

_y :: F2m Source #

Coordinate Y of SECT239K1 curve.

gA :: PA Source #

Generator of affine SECT239K1 curve.

gP :: PP Source #

Generator of projective SECT239K1 curve.