Safe Haskell	None
Language	Haskell2010

Data.Curve.Edwards.Ed448

Contents

Ed448 curve

Synopsis

module Data.Curve.Edwards
type PP = EPPoint Ed448 Fq Fr
type PA = EAPoint Ed448 Fq Fr
type R = 181709681073901722637330951972001133588410340171829515070372549795146003961539585716195755291692375963310293709091662304773755859649779
type Fr = Prime R
type Q = 726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439
type Fq = Prime Q
data Ed448
_a :: Fq
_d :: Fq
_h :: Natural
_q :: Natural
_r :: Natural
_x :: Fq
_y :: Fq
gA :: PA
gP :: PP

Documentation

module Data.Curve.Edwards

Ed448 curve

type PP = EPPoint Ed448 Fq Fr Source #

Projective Ed448 point.

type PA = EAPoint Ed448 Fq Fr Source #

Affine Ed448 curve point.

type R = 181709681073901722637330951972001133588410340171829515070372549795146003961539585716195755291692375963310293709091662304773755859649779 Source #

type Fr = Prime R Source #

Field of coefficients of Ed448 curve.

type Q = 726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439 Source #

type Fq = Prime Q Source #

Field of points of Ed448 curve.

data Ed448 Source #

Ed448 curve.

Instances

EPCurve Ed448 Fq Fr Source #
Instance details Defined in Data.Curve.Edwards.Ed448 Methods gP_ :: EPPoint Ed448 Fq Fr Source #
EACurve Ed448 Fq Fr Source #
Instance details Defined in Data.Curve.Edwards.Ed448 Methods gA_ :: EAPoint Ed448 Fq Fr Source #
Curve Edwards c Ed448 Fq Fr => ECurve c Ed448 Fq Fr Source #
Instance details Defined in Data.Curve.Edwards.Ed448 Methods a_ :: EPoint c Ed448 Fq Fr -> Fq Source # d_ :: EPoint c Ed448 Fq Fr -> Fq Source # h_ :: EPoint c Ed448 Fq Fr -> Natural Source # q_ :: EPoint c Ed448 Fq Fr -> Natural Source # r_ :: EPoint c Ed448 Fq Fr -> Natural Source #

_a :: Fq Source #

Coefficient A of Ed448 curve.

_d :: Fq Source #

Coefficient D of Ed448 curve.

_h :: Natural Source #

Cofactor of Ed448 curve.

_q :: Natural Source #

Characteristic of Ed448 curve.

_r :: Natural Source #

Order of Ed448 curve.

_x :: Fq Source #

Coordinate X of Ed448 curve.

_y :: Fq Source #

Coordinate Y of Ed448 curve.

gA :: PA Source #

Generator of affine Ed448 curve.

gP :: PP Source #

Generator of projective Ed448 curve.