Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Curve.Binary
- type PP = BPPoint SECT409R1 F2m Fr
- type PA = BAPoint SECT409R1 F2m Fr
- type Fr = PrimeField 661055968790248598951915308032771039828404682964281219284648798304157774827374805208143723762179110965979867288366567526771
- type F2m = BinaryField 1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430724437687334722581078999041
- data SECT409R1
- _a :: F2m
- _b :: F2m
- _h :: Integer
- _p :: Integer
- _r :: Integer
- _x :: F2m
- _y :: F2m
- gA :: PA
- gP :: PP
Documentation
module Curve.Binary
type Fr = PrimeField 661055968790248598951915308032771039828404682964281219284648798304157774827374805208143723762179110965979867288366567526771 Source #
Field of coefficients of SECT409R1 curve.
type F2m = BinaryField 1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430724437687334722581078999041 Source #
Field of points of SECT409R1 curve.
SECT409R1 curve.
Instances
BPCurve SECT409R1 F2m Fr Source # | Projective SECT409R1 curve is a binary projective curve. |
BACurve SECT409R1 F2m Fr Source # | Affine SECT409R1 curve is a binary affine curve. |
Curve Binary c SECT409R1 F2m Fr => BCurve c SECT409R1 F2m Fr Source # | SECT409R1 curve is a binary curve. |
Defined in Curve.Binary.SECT409R1 |