elliptic-curve-0.2.2: Elliptic curve library

Safe HaskellNone
LanguageHaskell2010

Curve.Edwards.Ed25519

Synopsis

Documentation

type PP = EPPoint Ed25519 Fq Fr Source #

Projective Ed25519 point.

type PA = EAPoint Ed25519 Fq Fr Source #

Affine Ed25519 curve point.

type Fr = PrimeField 7237005577332262213973186563042994240857116359379907606001950938285454250989 Source #

Field of coefficients of Ed25519 curve.

type Fq = PrimeField 57896044618658097711785492504343953926634992332820282019728792003956564819949 Source #

Field of points of Ed25519 curve.

data Ed25519 Source #

Ed25519 curve.

Instances
EPCurve Ed25519 Fq Fr Source #

Projective Ed25519 curve is an Edwards projective curve.

Instance details

Defined in Curve.Edwards.Ed25519

EACurve Ed25519 Fq Fr Source #

Affine Ed25519 curve is an Edwards affine curve.

Instance details

Defined in Curve.Edwards.Ed25519

Curve Edwards c Ed25519 Fq Fr => ECurve c Ed25519 Fq Fr Source #

Ed25519 curve is an Edwards curve.

Instance details

Defined in Curve.Edwards.Ed25519

_a :: Fq Source #

Coefficient A of Ed25519 curve.

_d :: Fq Source #

Coefficient D of Ed25519 curve.

_h :: Integer Source #

Cofactor of Ed25519 curve.

_q :: Integer Source #

Characteristic of Ed25519 curve.

_r :: Integer Source #

Order of Ed25519 curve.

_x :: Fq Source #

Coordinate X of Ed25519 curve.

_y :: Fq Source #

Coordinate Y of Ed25519 curve.

gA :: PA Source #

Generator of affine Ed25519 curve.

gP :: PP Source #

Generator of projective Ed25519 curve.