Safe Haskell	None
Language	Haskell2010

Curve.Montgomery.Curve25519

Synopsis

module Curve.Montgomery
type PA = MAPoint Curve25519 Fq Fr
type Fr = PrimeField 7237005577332262213973186563042994240857116359379907606001950938285454250989
type Fq = PrimeField 57896044618658097711785492504343953926634992332820282019728792003956564819949
data Curve25519
_a :: Fq
_b :: Fq
_h :: Integer
_q :: Integer
_r :: Integer
_x :: Fq
_y :: Fq
gA :: PA

Documentation

Affine Curve25519 curve point.

type Fr = PrimeField 7237005577332262213973186563042994240857116359379907606001950938285454250989 Source #

Field of coefficients of Curve25519 curve.

type Fq = PrimeField 57896044618658097711785492504343953926634992332820282019728792003956564819949 Source #

Field of points of Curve25519 curve.

Curve25519 curve.

Instances

MACurve Curve25519 Fq Fr Source #	Affine Curve25519 curve is a Montgomery affine curve.
Instance details Defined in Curve.Montgomery.Curve25519 Methods gA_ :: MAPoint Curve25519 Fq Fr Source #
Curve Montgomery c Curve25519 Fq Fr => MCurve c Curve25519 Fq Fr Source #	Curve25519 curve is a Montgomery curve.
Instance details Defined in 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 -> Integer Source # q_ :: MPoint c Curve25519 Fq Fr -> Integer Source # r_ :: MPoint c Curve25519 Fq Fr -> Integer Source # x_ :: MPoint c Curve25519 Fq Fr -> Fq Source # y_ :: MPoint c Curve25519 Fq Fr -> Fq 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.