elliptic-curve-0.3.0: Elliptic curve library

Safe HaskellNone
LanguageHaskell2010

Data.Curve.Edwards.JubJub

Contents

Synopsis

Documentation

JubJub curve

type PP = EPPoint JubJub Fq Fr Source #

Projective JubJub point.

type PA = EAPoint JubJub Fq Fr Source #

Affine JubJub curve point.

type R = 6554484396890773809930967563523245729705921265872317281365359162392183254199 Source #

type Fr = Prime R Source #

Field of coefficients of JubJub curve.

type Q = 52435875175126190479447740508185965837690552500527637822603658699938581184513 Source #

type Fq = Prime Q Source #

Field of points of JubJub curve.

data JubJub Source #

JubJub curve.

_a :: Fq Source #

Coefficient A of JubJub curve.

_d :: Fq Source #

Coefficient D of JubJub curve.

_h :: Natural Source #

Cofactor of JubJub curve.

_q :: Natural Source #

Characteristic of JubJub curve.

_r :: Natural Source #

Order of JubJub curve.

_x :: Fq Source #

Coordinate X of JubJub curve.

_y :: Fq Source #

Coordinate Y of JubJub curve.

gA :: PA Source #

Generator of affine JubJub curve.

gP :: PP Source #

Generator of projective JubJub curve.