Safe Haskell	None
Language	Haskell2010

Data.Curve.Edwards.E382

Contents

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

E382 curve

Projective E382 point.

Affine E382 curve point.

type R = 2462625387274654950767440006258975862817483704404090416745738034557663054564649171262659326683244604346084081047321 Source #

Field of coefficients of E382 curve.

type Q = 9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 Source #

Field of points of E382 curve.

E382 curve.

Instances

EPCurve E382 Fq Fr Source #
Instance details Defined in Data.Curve.Edwards.E382 Methods gP_ :: EPPoint E382 Fq Fr Source #
EACurve E382 Fq Fr Source #
Instance details Defined in Data.Curve.Edwards.E382 Methods gA_ :: EAPoint E382 Fq Fr Source #
Curve Edwards c E382 Fq Fr => ECurve c E382 Fq Fr Source #
Instance details Defined in Data.Curve.Edwards.E382 Methods a_ :: EPoint c E382 Fq Fr -> Fq Source # d_ :: EPoint c E382 Fq Fr -> Fq Source # h_ :: EPoint c E382 Fq Fr -> Natural Source # q_ :: EPoint c E382 Fq Fr -> Natural Source # r_ :: EPoint c E382 Fq Fr -> Natural Source #

Coefficient A of E382 curve.

Coefficient D of E382 curve.

Cofactor of E382 curve.

Characteristic of E382 curve.

Order of E382 curve.

Coordinate X of E382 curve.

Coordinate Y of E382 curve.

Generator of affine E382 curve.

Generator of projective E382 curve.