Safe Haskell	None
Language	Haskell2010

Curve.Edwards.E222

Synopsis

module Curve.Edwards
type PP = EPPoint E222 Fq Fr
type PA = EAPoint E222 Fq Fr
type Fr = PrimeField 1684996666696914987166688442938726735569737456760058294185521417407
type Fq = PrimeField 6739986666787659948666753771754907668409286105635143120275902562187
data E222
_a :: Fq
_d :: Fq
_h :: Integer
_q :: Integer
_r :: Integer
_x :: Fq
_y :: Fq
gA :: PA
gP :: PP

Documentation

Projective E222 point.

Affine E222 curve point.

type Fr = PrimeField 1684996666696914987166688442938726735569737456760058294185521417407 Source #

Field of coefficients of E222 curve.

type Fq = PrimeField 6739986666787659948666753771754907668409286105635143120275902562187 Source #

Field of points of E222 curve.

E222 curve.

Instances

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

Coefficient A of E222 curve.

Coefficient D of E222 curve.

Cofactor of E222 curve.

Characteristic of E222 curve.

Order of E222 curve.

Coordinate X of E222 curve.

Coordinate Y of E222 curve.

Generator of affine E222 curve.

Generator of projective E222 curve.