Safe Haskell	None
Language	Haskell2010

Data.Curve.Binary.SECT571R1

Contents

SECT571R1 curve

Synopsis

module Data.Curve.Binary
type PP = BPPoint SECT571R1 F2m Fr
type PA = BAPoint SECT571R1 F2m Fr
type R = 3864537523017258344695351890931987344298927329706434998657235251451519142289560424536143999389415773083133881121926944486246872462816813070234528288303332411393191105285703
type Fr = Prime R
type P = 7729075046034516689390703781863974688597854659412869997314470502903038284579120849072387533163845155924927232063004354354730157322085975311485817346934161497393961629647909
type F2m = Binary P
data SECT571R1
_a :: F2m
_b :: F2m
_h :: Natural
_p :: Natural
_r :: Natural
_x :: F2m
_y :: F2m
gA :: PA
gP :: PP

Documentation

module Data.Curve.Binary

SECT571R1 curve

type PP = BPPoint SECT571R1 F2m Fr Source #

Projective SECT571R1 point.

type PA = BAPoint SECT571R1 F2m Fr Source #

Affine SECT571R1 curve point.

type R = 3864537523017258344695351890931987344298927329706434998657235251451519142289560424536143999389415773083133881121926944486246872462816813070234528288303332411393191105285703 Source #

type Fr = Prime R Source #

Field of coefficients of SECT571R1 curve.

type P = 7729075046034516689390703781863974688597854659412869997314470502903038284579120849072387533163845155924927232063004354354730157322085975311485817346934161497393961629647909 Source #

type F2m = Binary P Source #

Field of points of SECT571R1 curve.

data SECT571R1 Source #

SECT571R1 curve.

Instances

BPCurve SECT571R1 F2m Fr Source #
Instance details Defined in Data.Curve.Binary.SECT571R1 Methods gP_ :: BPPoint SECT571R1 F2m Fr Source #
BACurve SECT571R1 F2m Fr Source #
Instance details Defined in Data.Curve.Binary.SECT571R1 Methods gA_ :: BAPoint SECT571R1 F2m Fr Source #
Curve Binary c SECT571R1 F2m Fr => BCurve c SECT571R1 F2m Fr Source #
Instance details Defined in Data.Curve.Binary.SECT571R1 Methods a_ :: BPoint c SECT571R1 F2m Fr -> F2m Source # b_ :: BPoint c SECT571R1 F2m Fr -> F2m Source # h_ :: BPoint c SECT571R1 F2m Fr -> Natural Source # p_ :: BPoint c SECT571R1 F2m Fr -> Natural Source # r_ :: BPoint c SECT571R1 F2m Fr -> Natural Source #

_a :: F2m Source #

Coefficient A of SECT571R1 curve.

_b :: F2m Source #

Coefficient B of SECT571R1 curve.

_h :: Natural Source #

Cofactor of SECT571R1 curve.

_p :: Natural Source #

Polynomial of SECT571R1 curve.

_r :: Natural Source #

Order of SECT571R1 curve.

_x :: F2m Source #

Coordinate X of SECT571R1 curve.

_y :: F2m Source #

Coordinate Y of SECT571R1 curve.

gA :: PA Source #

Generator of affine SECT571R1 curve.

gP :: PP Source #

Generator of projective SECT571R1 curve.