Safe Haskell	None
Language	Haskell2010

Data.Curve.Montgomery.Curve25519

Contents

Synopsis

module Data.Curve.Montgomery
type PA = MAPoint Curve25519 Fq Fr
type R = 7237005577332262213973186563042994240857116359379907606001950938285454250989
type Fr = Prime R
type Q = 57896044618658097711785492504343953926634992332820282019728792003956564819949
type Fq = Prime Q
data Curve25519
_a :: Fq
_b :: Fq
_h :: Natural
_q :: Natural
_r :: Natural
_x :: Fq
_y :: Fq
gA :: PA

Documentation

Curve25519 curve

Affine Curve25519 curve point.

type R = 7237005577332262213973186563042994240857116359379907606001950938285454250989 Source #

Field of coefficients of Curve25519 curve.

type Q = 57896044618658097711785492504343953926634992332820282019728792003956564819949 Source #

Field of points of Curve25519 curve.

Curve25519 curve.

Instances

MACurve Curve25519 Fq Fr Source #
Instance details Defined in Data.Curve.Montgomery.Curve25519 Methods gA_ :: MAPoint Curve25519 Fq Fr Source #
Curve Montgomery c Curve25519 Fq Fr => MCurve c Curve25519 Fq Fr Source #
Instance details Defined in Data.Curve.Montgomery.Curve25519 Methods a_ :: MPoint c Curve25519 Fq Fr -> Fq Source # b_ :: MPoint c Curve25519 Fq Fr -> Fq Source # h_ :: MPoint c Curve25519 Fq Fr -> Natural Source # q_ :: MPoint c Curve25519 Fq Fr -> Natural Source # r_ :: MPoint c Curve25519 Fq Fr -> Natural Source #

Coefficient A of Curve25519 curve.

Coefficient B of Curve25519 curve.

Cofactor of Curve25519 curve.

Characteristic of Curve25519 curve.

Order of Curve25519 curve.

Coordinate X of Curve25519 curve.

Coordinate Y of Curve25519 curve.

Generator of affine Curve25519 curve.