Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Data.Curve.Edwards
- type PP = EPPoint Curve41417 Fq Fr
- type PA = EAPoint Curve41417 Fq Fr
- type R = 5288447750321988791615322464262168318627237463714249754277190328831105466135348245791335989419337099796002495788978276839289
- type Fr = Prime R
- type Q = 42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367
- type Fq = Prime Q
- data Curve41417
- _a :: Fq
- _d :: Fq
- _h :: Natural
- _q :: Natural
- _r :: Natural
- _x :: Fq
- _y :: Fq
- gA :: PA
- gP :: PP
Documentation
module Data.Curve.Edwards
Curve41417 curve
type R = 5288447750321988791615322464262168318627237463714249754277190328831105466135348245791335989419337099796002495788978276839289 Source #
type Q = 42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 Source #
data Curve41417 Source #
Curve41417 curve.
Instances
EPCurve Curve41417 Fq Fr Source # | |
Defined in Data.Curve.Edwards.Curve41417 | |
EACurve Curve41417 Fq Fr Source # | |
Defined in Data.Curve.Edwards.Curve41417 | |
Curve Edwards c Curve41417 Fq Fr => ECurve c Curve41417 Fq Fr Source # | |