elliptic-curve-0.2.1: Elliptic curve library

Safe HaskellNone
LanguageHaskell2010

Curve.Edwards.Ed3363

Synopsis

Documentation

module Curve.Edwards

type PP = EPPoint Ed3363 Fq Fr Source #

Projective Ed3363 point.

type PA = EAPoint Ed3363 Fq Fr Source #

Affine Ed3363 curve point.

type Fr = PrimeField 17498005798264095394980017816940970922825355447145709836587587134987699588874282995658187611024893957 Source #

Field of coefficients of Ed3363 curve.

type Fq = PrimeField 139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 Source #

Field of points of Ed3363 curve.

data Ed3363 Source #

Ed3363 curve.

Instances
EPCurve Ed3363 Fq Fr Source #

Projective Ed3363 curve is an Edwards projective curve.

Instance details

Defined in Curve.Edwards.Ed3363

Methods

gP_ :: EPPoint Ed3363 Fq Fr Source #

EACurve Ed3363 Fq Fr Source #

Affine Ed3363 curve is an Edwards affine curve.

Instance details

Defined in Curve.Edwards.Ed3363

Methods

gA_ :: EAPoint Ed3363 Fq Fr Source #

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

Ed3363 curve is an Edwards curve.

Instance details

Defined in Curve.Edwards.Ed3363

Methods

a_ :: EPoint c Ed3363 Fq Fr -> Fq Source #

d_ :: EPoint c Ed3363 Fq Fr -> Fq Source #

h_ :: EPoint c Ed3363 Fq Fr -> Integer Source #

q_ :: EPoint c Ed3363 Fq Fr -> Integer Source #

r_ :: EPoint c Ed3363 Fq Fr -> Integer Source #

x_ :: EPoint c Ed3363 Fq Fr -> Fq Source #

y_ :: EPoint c Ed3363 Fq Fr -> Fq Source #

_a :: Fq Source #

Coefficient A of Ed3363 curve.

_d :: Fq Source #

Coefficient D of Ed3363 curve.

_h :: Integer Source #

Cofactor of Ed3363 curve.

_q :: Integer Source #

Characteristic of Ed3363 curve.

_r :: Integer Source #

Order of Ed3363 curve.

_x :: Fq Source #

Coordinate X of Ed3363 curve.

_y :: Fq Source #

Coordinate Y of Ed3363 curve.

gA :: PA Source #

Generator of affine Ed3363 curve.

gP :: PP Source #

Generator of projective Ed3363 curve.