elliptic-curve-0.2.2: Elliptic curve library

Safe HaskellNone
LanguageHaskell2010

Curve.Binary.SECT131R2

Synopsis

Documentation

module Curve.Binary

type PP = BPPoint SECT131R2 F2m Fr Source #

Projective SECT131R2 point.

type PA = BAPoint SECT131R2 F2m Fr Source #

Affine SECT131R2 curve point.

type Fr = PrimeField 1361129467683753853879535043412812867983 Source #

Field of coefficients of SECT131R2 curve.

type F2m = BinaryField 2722258935367507707706996859454145691917 Source #

Field of points of SECT131R2 curve.

data SECT131R2 Source #

SECT131R2 curve.

Instances
BPCurve SECT131R2 F2m Fr Source #

Projective SECT131R2 curve is a binary projective curve.

Instance details

Defined in Curve.Binary.SECT131R2

Methods

gP_ :: BPPoint SECT131R2 F2m Fr Source #

BACurve SECT131R2 F2m Fr Source #

Affine SECT131R2 curve is a binary affine curve.

Instance details

Defined in Curve.Binary.SECT131R2

Methods

gA_ :: BAPoint SECT131R2 F2m Fr Source #

Curve Binary c SECT131R2 F2m Fr => BCurve c SECT131R2 F2m Fr Source #

SECT131R2 curve is a binary curve.

Instance details

Defined in Curve.Binary.SECT131R2

Methods

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

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

h_ :: BPoint c SECT131R2 F2m Fr -> Integer Source #

p_ :: BPoint c SECT131R2 F2m Fr -> Integer Source #

r_ :: BPoint c SECT131R2 F2m Fr -> Integer Source #

x_ :: BPoint c SECT131R2 F2m Fr -> F2m Source #

y_ :: BPoint c SECT131R2 F2m Fr -> F2m Source #

_a :: F2m Source #

Coefficient A of SECT131R2 curve.

_b :: F2m Source #

Coefficient B of SECT131R2 curve.

_h :: Integer Source #

Cofactor of SECT131R2 curve.

_p :: Integer Source #

Polynomial of SECT131R2 curve.

_r :: Integer Source #

Order of SECT131R2 curve.

_x :: F2m Source #

Coordinate X of SECT131R2 curve.

_y :: F2m Source #

Coordinate Y of SECT131R2 curve.

gA :: PA Source #

Generator of affine SECT131R2 curve.

gP :: PP Source #

Generator of projective SECT131R2 curve.