Safe Haskell	None
Language	Haskell2010

Curve.Edwards.Curve41417

Synopsis

module Curve.Edwards
type PP = EPPoint Curve41417 Fq Fr
type PA = EAPoint Curve41417 Fq Fr
type Fr = PrimeField 5288447750321988791615322464262168318627237463714249754277190328831105466135348245791335989419337099796002495788978276839289
type Fq = PrimeField 42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367
data Curve41417
_a :: Fq
_d :: Fq
_h :: Integer
_q :: Integer
_r :: Integer
_x :: Fq
_y :: Fq
gA :: PA
gP :: PP

Documentation

module Curve.Edwards

type PP = EPPoint Curve41417 Fq Fr Source #

Projective Curve41417 point.

type PA = EAPoint Curve41417 Fq Fr Source #

Affine Curve41417 curve point.

type Fr = PrimeField 5288447750321988791615322464262168318627237463714249754277190328831105466135348245791335989419337099796002495788978276839289 Source #

Field of coefficients of Curve41417 curve.

type Fq = PrimeField 42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 Source #

Field of points of Curve41417 curve.

data Curve41417 Source #

Curve41417 curve.

Instances

EPCurve Curve41417 Fq Fr Source #	Projective Curve41417 curve is an Edwards projective curve.
Instance details Defined in Curve.Edwards.Curve41417 Methods gP_ :: EPPoint Curve41417 Fq Fr Source #
EACurve Curve41417 Fq Fr Source #	Affine Curve41417 curve is an Edwards affine curve.
Instance details Defined in Curve.Edwards.Curve41417 Methods gA_ :: EAPoint Curve41417 Fq Fr Source #
Curve Edwards c Curve41417 Fq Fr => ECurve c Curve41417 Fq Fr Source #	Curve41417 curve is an Edwards curve.
Instance details Defined in Curve.Edwards.Curve41417 Methods a_ :: EPoint c Curve41417 Fq Fr -> Fq Source # d_ :: EPoint c Curve41417 Fq Fr -> Fq Source # h_ :: EPoint c Curve41417 Fq Fr -> Integer Source # q_ :: EPoint c Curve41417 Fq Fr -> Integer Source # r_ :: EPoint c Curve41417 Fq Fr -> Integer Source # x_ :: EPoint c Curve41417 Fq Fr -> Fq Source # y_ :: EPoint c Curve41417 Fq Fr -> Fq Source #

_a :: Fq Source #

Coefficient A of Curve41417 curve.

_d :: Fq Source #

Coefficient D of Curve41417 curve.

_h :: Integer Source #

Cofactor of Curve41417 curve.

_q :: Integer Source #

Characteristic of Curve41417 curve.

_r :: Integer Source #

Order of Curve41417 curve.

_x :: Fq Source #

Coordinate X of Curve41417 curve.

_y :: Fq Source #

Coordinate Y of Curve41417 curve.

gA :: PA Source #

Generator of affine Curve41417 curve.

gP :: PP Source #

Generator of projective Curve41417 curve.