Safe Haskell	None
Language	Haskell2010

Data.Curve.Binary.SECT283K1

Contents

Synopsis

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

Documentation

SECT283K1 curve

Projective SECT283K1 point.

Affine SECT283K1 curve point.

type R = 3885337784451458141838923813647037813284811733793061324295874997529815829704422603873 Source #

Field of coefficients of SECT283K1 curve.

type P = 15541351137805832567355695254588151253139254712417116170014499277911234281641667989665 Source #

Field of points of SECT283K1 curve.

SECT283K1 curve.

Instances

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

Coefficient A of SECT283K1 curve.

Coefficient B of SECT283K1 curve.

Cofactor of SECT283K1 curve.

Polynomial of SECT283K1 curve.

Order of SECT283K1 curve.

Coordinate X of SECT283K1 curve.

Coordinate Y of SECT283K1 curve.

Generator of affine SECT283K1 curve.

Generator of projective SECT283K1 curve.