Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Data.Curve.Montgomery
- type PA = MAPoint Curve383187 Fq Fr
- type R = 2462625387274654950767440006258975862817483704404090416747124418612574880605944350369924877650606926799392131911201
- type Fr = Prime R
- type Q = 19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221
- type Fq = Prime Q
- data Curve383187
- _a :: Fq
- _b :: Fq
- _h :: Natural
- _q :: Natural
- _r :: Natural
- _x :: Fq
- _y :: Fq
- gA :: PA
Documentation
module Data.Curve.Montgomery
Curve383187 curve
type R = 2462625387274654950767440006258975862817483704404090416747124418612574880605944350369924877650606926799392131911201 Source #
type Q = 19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 Source #
data Curve383187 Source #
Curve383187 curve.
Instances
MACurve Curve383187 Fq Fr Source # | |
Defined in Data.Curve.Montgomery.Curve383187 | |
Curve Montgomery c Curve383187 Fq Fr => MCurve c Curve383187 Fq Fr Source # | |