Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Curve.Edwards
- type PP = EPPoint E521 Fq Fr
- type PA = EAPoint E521 Fq Fr
- type Fr = PrimeField 1716199415032652428745475199770348304317358825035826352348615864796385795849413675475876651663657849636693659065234142604319282948702542317993421293670108523
- type Fq = PrimeField 6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151
- data E521
- _a :: Fq
- _d :: Fq
- _h :: Integer
- _q :: Integer
- _r :: Integer
- _x :: Fq
- _y :: Fq
- gA :: PA
- gP :: PP
Documentation
module Curve.Edwards
type Fr = PrimeField 1716199415032652428745475199770348304317358825035826352348615864796385795849413675475876651663657849636693659065234142604319282948702542317993421293670108523 Source #
Field of coefficients of E521 curve.
type Fq = PrimeField 6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 Source #
Field of points of E521 curve.