Safe Haskell	None
Language	Haskell2010

Curve.Binary.SECT233R1

Synopsis

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

Documentation

Projective SECT233R1 point.

Affine SECT233R1 curve point.

type Fr = PrimeField 6901746346790563787434755862277025555839812737345013555379383634485463 Source #

Field of coefficients of SECT233R1 curve.

type F2m = BinaryField 13803492693581127574869511724554050904902217944359662576256527028453377 Source #

Field of points of SECT233R1 curve.

SECT233R1 curve.

Instances

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

Coefficient A of SECT233R1 curve.

Coefficient B of SECT233R1 curve.

Cofactor of SECT233R1 curve.

Polynomial of SECT233R1 curve.

Order of SECT233R1 curve.

Coordinate X of SECT233R1 curve.

Coordinate Y of SECT233R1 curve.

Generator of affine SECT233R1 curve.

Generator of projective SECT233R1 curve.