Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Data.Curve.Montgomery
- type PA = MAPoint M383 Fq Fr
- type R = 2462625387274654950767440006258975862817483704404090416746934574041288984234680883008327183083615266784870011007447
- type Fr = Prime R
- type Q = 19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221
- type Fq = Prime Q
- data M383
- _a :: Fq
- _b :: Fq
- _h :: Natural
- _q :: Natural
- _r :: Natural
- _x :: Fq
- _y :: Fq
- gA :: PA
Documentation
module Data.Curve.Montgomery
M383 curve
type R = 2462625387274654950767440006258975862817483704404090416746934574041288984234680883008327183083615266784870011007447 Source #
type Q = 19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 Source #