Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Curve.Edwards
- type PP = EPPoint E382 Fq Fr
- type PA = EAPoint E382 Fq Fr
- type Fr = PrimeField 2462625387274654950767440006258975862817483704404090416745738034557663054564649171262659326683244604346084081047321
- type Fq = PrimeField 9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599
- data E382
- _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 2462625387274654950767440006258975862817483704404090416745738034557663054564649171262659326683244604346084081047321 Source #
Field of coefficients of E382 curve.
type Fq = PrimeField 9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 Source #
Field of points of E382 curve.