Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Data.Curve.Edwards
- type PP = EPPoint Ed3363 Fq Fr
- type PA = EAPoint Ed3363 Fq Fr
- type R = 17498005798264095394980017816940970922825355447145709836587587134987699588874282995658187611024893957
- type Fr = Prime R
- type Q = 139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733
- type Fq = Prime Q
- data Ed3363
- _a :: Fq
- _d :: Fq
- _h :: Natural
- _q :: Natural
- _r :: Natural
- _x :: Fq
- _y :: Fq
- gA :: PA
- gP :: PP
Documentation
module Data.Curve.Edwards
Ed3363 curve
type R = 17498005798264095394980017816940970922825355447145709836587587134987699588874282995658187611024893957 Source #
type Q = 139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 Source #