Safe Haskell	None
Language	Haskell2010

Curve.Edwards.E521

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 PP = EPPoint E521 Fq Fr Source #

Projective E521 point.

type PA = EAPoint E521 Fq Fr Source #

Affine E521 curve point.

type Fr = PrimeField 1716199415032652428745475199770348304317358825035826352348615864796385795849413675475876651663657849636693659065234142604319282948702542317993421293670108523 Source #

Field of coefficients of E521 curve.

type Fq = PrimeField 6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 Source #

Field of points of E521 curve.

data E521 Source #

E521 curve.

Instances

EPCurve E521 Fq Fr Source #	Projective E521 curve is an Edwards projective curve.
Instance details Defined in Curve.Edwards.E521 Methods gP_ :: EPPoint E521 Fq Fr Source #
EACurve E521 Fq Fr Source #	Affine E521 curve is an Edwards affine curve.
Instance details Defined in Curve.Edwards.E521 Methods gA_ :: EAPoint E521 Fq Fr Source #
Curve Edwards c E521 Fq Fr => ECurve c E521 Fq Fr Source #	E521 curve is an Edwards curve.
Instance details Defined in Curve.Edwards.E521 Methods a_ :: EPoint c E521 Fq Fr -> Fq Source # d_ :: EPoint c E521 Fq Fr -> Fq Source # h_ :: EPoint c E521 Fq Fr -> Integer Source # q_ :: EPoint c E521 Fq Fr -> Integer Source # r_ :: EPoint c E521 Fq Fr -> Integer Source # x_ :: EPoint c E521 Fq Fr -> Fq Source # y_ :: EPoint c E521 Fq Fr -> Fq Source #

_a :: Fq Source #

Coefficient A of E521 curve.

_d :: Fq Source #

Coefficient D of E521 curve.

_h :: Integer Source #

Cofactor of E521 curve.

_q :: Integer Source #

Characteristic of E521 curve.

_r :: Integer Source #

Order of E521 curve.

_x :: Fq Source #

Coordinate X of E521 curve.

_y :: Fq Source #

Coordinate Y of E521 curve.

gA :: PA Source #

Generator of affine E521 curve.

gP :: PP Source #

Generator of projective E521 curve.