Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Curve.Montgomery
- type PA = MAPoint Curve383187 Fq Fr
- type Fr = PrimeField 2462625387274654950767440006258975862817483704404090416747124418612574880605944350369924877650606926799392131911201
- type Fq = PrimeField 19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221
- data Curve383187
- _a :: Fq
- _b :: Fq
- _h :: Integer
- _q :: Integer
- _r :: Integer
- _x :: Fq
- _y :: Fq
- gA :: PA
Documentation
module Curve.Montgomery
type Fr = PrimeField 2462625387274654950767440006258975862817483704404090416747124418612574880605944350369924877650606926799392131911201 Source #
Field of coefficients of Curve383187 curve.
type Fq = PrimeField 19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 Source #
Field of points of Curve383187 curve.
data Curve383187 Source #
Curve383187 curve.
Instances
MACurve Curve383187 Fq Fr Source # | Affine Curve383187 curve is a Montgomery affine curve. |
Defined in Curve.Montgomery.Curve383187 | |
Curve Montgomery c Curve383187 Fq Fr => MCurve c Curve383187 Fq Fr Source # | Curve383187 curve is a Montgomery curve. |
Defined in Curve.Montgomery.Curve383187 |