Safe Haskell	None
Language	Haskell2010

Data.Curve.Binary.SECT233K1

Contents

Synopsis

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

Documentation

SECT233K1 curve

Projective SECT233K1 point.

Affine SECT233K1 curve point.

type R = 3450873173395281893717377931138512760570940988862252126328087024741343 Source #

Field of coefficients of SECT233K1 curve.

type P = 13803492693581127574869511724554050904902217944359662576256527028453377 Source #

Field of points of SECT233K1 curve.

SECT233K1 curve.

Instances

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

Coefficient A of SECT233K1 curve.

Coefficient B of SECT233K1 curve.

Cofactor of SECT233K1 curve.

Polynomial of SECT233K1 curve.

Order of SECT233K1 curve.

Coordinate X of SECT233K1 curve.

Coordinate Y of SECT233K1 curve.

Generator of affine SECT233K1 curve.

Generator of projective SECT233K1 curve.