Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Curve.Montgomery
- type PA = MAPoint M221 Fq Fr
- type Fr = PrimeField 421249166674228746791672110734682167926895081980396304944335052891
- type Fq = PrimeField 3369993333393829974333376885877453834204643052817571560137951281149
- data M221
- _a :: Fq
- _b :: Fq
- _h :: Integer
- _q :: Integer
- _r :: Integer
- _x :: Fq
- _y :: Fq
- gA :: PA
Documentation
module Curve.Montgomery
type Fr = PrimeField 421249166674228746791672110734682167926895081980396304944335052891 Source #
Field of coefficients of M221 curve.
type Fq = PrimeField 3369993333393829974333376885877453834204643052817571560137951281149 Source #
Field of points of M221 curve.