Safe Haskell	None
Language	Haskell2010

Curve.Binary.SECT283K1

Synopsis

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

Documentation

Projective SECT283K1 point.

Affine SECT283K1 curve point.

type Fr = PrimeField 3885337784451458141838923813647037813284811733793061324295874997529815829704422603873 Source #

Field of coefficients of SECT283K1 curve.

type F2m = BinaryField 15541351137805832567355695254588151253139254712417116170014499277911234281641667989665 Source #

Field of points of SECT283K1 curve.

SECT283K1 curve.

Instances

BPCurve SECT283K1 F2m Fr Source #	Projective SECT283K1 curve is a binary projective curve.
Instance details Defined in Curve.Binary.SECT283K1 Methods gP_ :: BPPoint SECT283K1 F2m Fr Source #
BACurve SECT283K1 F2m Fr Source #	Affine SECT283K1 curve is a binary affine curve.
Instance details Defined in Curve.Binary.SECT283K1 Methods gA_ :: BAPoint SECT283K1 F2m Fr Source #
Curve Binary c SECT283K1 F2m Fr => BCurve c SECT283K1 F2m Fr Source #	SECT283K1 curve is a binary curve.
Instance details Defined in 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 -> Integer Source # p_ :: BPoint c SECT283K1 F2m Fr -> Integer Source # r_ :: BPoint c SECT283K1 F2m Fr -> Integer Source # x_ :: BPoint c SECT283K1 F2m Fr -> F2m Source # y_ :: BPoint c SECT283K1 F2m Fr -> F2m 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.