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