elliptic-curve-0.3.0: Elliptic curve library

Safe HaskellNone
LanguageHaskell2010

Data.Curve.Edwards.E222

Contents

Synopsis

Documentation

module Data.Curve.Edwards

E222 curve

type PP = EPPoint E222 Fq Fr Source #

Projective E222 point.

type PA = EAPoint E222 Fq Fr Source #

Affine E222 curve point.

type R = 1684996666696914987166688442938726735569737456760058294185521417407 Source #

type Fr = Prime R Source #

Field of coefficients of E222 curve.

type Q = 6739986666787659948666753771754907668409286105635143120275902562187 Source #

type Fq = Prime Q Source #

Field of points of E222 curve.

data E222 Source #

E222 curve.

Instances
EPCurve E222 Fq Fr Source # 
Instance details

Defined in Data.Curve.Edwards.E222

Methods

gP_ :: EPPoint E222 Fq Fr Source #

EACurve E222 Fq Fr Source # 
Instance details

Defined in Data.Curve.Edwards.E222

Methods

gA_ :: EAPoint E222 Fq Fr Source #

Curve Edwards c E222 Fq Fr => ECurve c E222 Fq Fr Source # 
Instance details

Defined in Data.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 -> Natural Source #

q_ :: EPoint c E222 Fq Fr -> Natural Source #

r_ :: EPoint c E222 Fq Fr -> Natural Source #

_a :: Fq Source #

Coefficient A of E222 curve.

_d :: Fq Source #

Coefficient D of E222 curve.

_h :: Natural Source #

Cofactor of E222 curve.

_q :: Natural Source #

Characteristic of E222 curve.

_r :: Natural Source #

Order of E222 curve.

_x :: Fq Source #

Coordinate X of E222 curve.

_y :: Fq Source #

Coordinate Y of E222 curve.

gA :: PA Source #

Generator of affine E222 curve.

gP :: PP Source #

Generator of projective E222 curve.