elliptic-curve-0.2.2: Elliptic curve library

Safe HaskellNone
LanguageHaskell2010

Curve.Edwards.JubJub

Synopsis

Documentation

type PP = EPPoint JubJub Fq Fr Source #

Projective JubJub point.

type PA = EAPoint JubJub Fq Fr Source #

Affine JubJub curve point.

type Fr = PrimeField 6554484396890773809930967563523245729705921265872317281365359162392183254199 Source #

Field of coefficients of JubJub curve.

type Fq = PrimeField 52435875175126190479447740508185965837690552500527637822603658699938581184513 Source #

Field of points of JubJub curve.

data JubJub Source #

JubJub curve.

Instances
EPCurve JubJub Fq Fr Source #

Projective JubJub curve is an Edwards projective curve.

Instance details

Defined in Curve.Edwards.JubJub

EACurve JubJub Fq Fr Source #

Affine JubJub curve is an Edwards affine curve.

Instance details

Defined in Curve.Edwards.JubJub

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

JubJub curve is an Edwards curve.

Instance details

Defined in Curve.Edwards.JubJub

_a :: Fq Source #

Coefficient A of JubJub curve.

_d :: Fq Source #

Coefficient D of JubJub curve.

_h :: Integer Source #

Cofactor of JubJub curve.

_q :: Integer Source #

Characteristic of JubJub curve.

_r :: Integer 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.