Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Data.Curve.Binary
- type PP = BPPoint SECT409K1 F2m Fr
- type PA = BAPoint SECT409K1 F2m Fr
- type R = 330527984395124299475957654016385519914202341482140609642324395022880711289249191050673258457777458014096366590617731358671
- type Fr = Prime R
- type P = 1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430724437687334722581078999041
- type F2m = Binary P
- data SECT409K1
- _a :: F2m
- _b :: F2m
- _h :: Natural
- _p :: Natural
- _r :: Natural
- _x :: F2m
- _y :: F2m
- gA :: PA
- gP :: PP
Documentation
module Data.Curve.Binary
SECT409K1 curve
type R = 330527984395124299475957654016385519914202341482140609642324395022880711289249191050673258457777458014096366590617731358671 Source #
type P = 1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430724437687334722581078999041 Source #