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