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