Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Data.Curve.Montgomery
- type PA = MAPoint M221 Fq Fr
- type R = 421249166674228746791672110734682167926895081980396304944335052891
- type Fr = Prime R
- type Q = 3369993333393829974333376885877453834204643052817571560137951281149
- type Fq = Prime Q
- data M221
- _a :: Fq
- _b :: Fq
- _h :: Natural
- _q :: Natural
- _r :: Natural
- _x :: Fq
- _y :: Fq
- gA :: PA