Safe Haskell	None
Language	Haskell2010

Curve.Binary.SECT571K1

Synopsis

module Curve.Binary
type PP = BPPoint SECT571K1 F2m Fr
type PA = BAPoint SECT571K1 F2m Fr
type Fr = PrimeField 1932268761508629172347675945465993672149463664853217499328617625725759571144780212268133978522706711834706712800825351461273674974066617311929682421617092503555733685276673
type F2m = BinaryField 7729075046034516689390703781863974688597854659412869997314470502903038284579120849072387533163845155924927232063004354354730157322085975311485817346934161497393961629647909
data SECT571K1
_a :: F2m
_b :: F2m
_h :: Integer
_p :: Integer
_r :: Integer
_x :: F2m
_y :: F2m
gA :: PA
gP :: PP

Documentation

module Curve.Binary

type PP = BPPoint SECT571K1 F2m Fr Source #

Projective SECT571K1 point.

type PA = BAPoint SECT571K1 F2m Fr Source #

Affine SECT571K1 curve point.

type Fr = PrimeField 1932268761508629172347675945465993672149463664853217499328617625725759571144780212268133978522706711834706712800825351461273674974066617311929682421617092503555733685276673 Source #

Field of coefficients of SECT571K1 curve.

type F2m = BinaryField 7729075046034516689390703781863974688597854659412869997314470502903038284579120849072387533163845155924927232063004354354730157322085975311485817346934161497393961629647909 Source #

Field of points of SECT571K1 curve.

data SECT571K1 Source #

SECT571K1 curve.

Instances

BPCurve SECT571K1 F2m Fr Source #	Projective SECT571K1 curve is a binary projective curve.
Instance details Defined in Curve.Binary.SECT571K1 Methods gP_ :: BPPoint SECT571K1 F2m Fr Source #
BACurve SECT571K1 F2m Fr Source #	Affine SECT571K1 curve is a binary affine curve.
Instance details Defined in Curve.Binary.SECT571K1 Methods gA_ :: BAPoint SECT571K1 F2m Fr Source #
Curve Binary c SECT571K1 F2m Fr => BCurve c SECT571K1 F2m Fr Source #	SECT571K1 curve is a binary curve.
Instance details Defined in Curve.Binary.SECT571K1 Methods a_ :: BPoint c SECT571K1 F2m Fr -> F2m Source # b_ :: BPoint c SECT571K1 F2m Fr -> F2m Source # h_ :: BPoint c SECT571K1 F2m Fr -> Integer Source # p_ :: BPoint c SECT571K1 F2m Fr -> Integer Source # r_ :: BPoint c SECT571K1 F2m Fr -> Integer Source # x_ :: BPoint c SECT571K1 F2m Fr -> F2m Source # y_ :: BPoint c SECT571K1 F2m Fr -> F2m Source #

_a :: F2m Source #

Coefficient A of SECT571K1 curve.

_b :: F2m Source #

Coefficient B of SECT571K1 curve.

_h :: Integer Source #

Cofactor of SECT571K1 curve.

_p :: Integer Source #

Polynomial of SECT571K1 curve.

_r :: Integer Source #

Order of SECT571K1 curve.

_x :: F2m Source #

Coordinate X of SECT571K1 curve.

_y :: F2m Source #

Coordinate Y of SECT571K1 curve.

gA :: PA Source #

Generator of affine SECT571K1 curve.

gP :: PP Source #

Generator of projective SECT571K1 curve.