Safe Haskell	None
Language	Haskell2010

Data.Curve.Edwards.Ed25519

Contents

Synopsis

module Data.Curve.Edwards
type PP = EPPoint Ed25519 Fq Fr
type PA = EAPoint Ed25519 Fq Fr
type R = 7237005577332262213973186563042994240857116359379907606001950938285454250989
type Fr = Prime R
type Q = 57896044618658097711785492504343953926634992332820282019728792003956564819949
type Fq = Prime Q
data Ed25519
_a :: Fq
_d :: Fq
_h :: Natural
_q :: Natural
_r :: Natural
_x :: Fq
_y :: Fq
gA :: PA
gP :: PP

Documentation

Ed25519 curve

Projective Ed25519 point.

Affine Ed25519 curve point.

type R = 7237005577332262213973186563042994240857116359379907606001950938285454250989 Source #

Field of coefficients of Ed25519 curve.

type Q = 57896044618658097711785492504343953926634992332820282019728792003956564819949 Source #

Field of points of Ed25519 curve.

Ed25519 curve.

Instances

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

Coefficient A of Ed25519 curve.

Coefficient D of Ed25519 curve.

Cofactor of Ed25519 curve.

Characteristic of Ed25519 curve.

Order of Ed25519 curve.

Coordinate X of Ed25519 curve.

Coordinate Y of Ed25519 curve.

Generator of affine Ed25519 curve.

Generator of projective Ed25519 curve.