Curve.Edwards.Curve1174

Documentation

module Curve.Edwards

type PP = EPPoint Curve1174 Fq Fr

Projective Curve1174 point.

type PA = EAPoint Curve1174 Fq Fr

Affine Curve1174 curve point.

type Fr = PrimeField 904625697166532776746648320380374280092339035279495474023489261773642975601

Field of coefficients of Curve1174 curve.

type Fq = PrimeField 3618502788666131106986593281521497120414687020801267626233049500247285301239

Field of points of Curve1174 curve.

data Curve1174

Curve1174 curve.

Instances

EPCurve Curve1174 Fq Fr

Projective Curve1174 curve is an Edwards projective curve.

Defined in Curve.Edwards.Curve1174

Methods

gP_ :: EPPoint Curve1174 Fq Fr

EACurve Curve1174 Fq Fr

Affine Curve1174 curve is an Edwards affine curve.

Defined in Curve.Edwards.Curve1174

Methods

gA_ :: EAPoint Curve1174 Fq Fr

Curve Edwards c Curve1174 Fq Fr => ECurve c Curve1174 Fq Fr

Curve1174 curve is an Edwards curve.

Defined in Curve.Edwards.Curve1174

Methods

a_ :: EPoint c Curve1174 Fq Fr -> Fq

d_ :: EPoint c Curve1174 Fq Fr -> Fq

h_ :: EPoint c Curve1174 Fq Fr -> Integer

q_ :: EPoint c Curve1174 Fq Fr -> Integer

r_ :: EPoint c Curve1174 Fq Fr -> Integer

x_ :: EPoint c Curve1174 Fq Fr -> Fq

y_ :: EPoint c Curve1174 Fq Fr -> Fq

_a :: Fq

Coefficient A of Curve1174 curve.

_d :: Fq

Coefficient D of Curve1174 curve.

_h :: Integer

Cofactor of Curve1174 curve.

_q :: Integer

Characteristic of Curve1174 curve.

_r :: Integer

Order of Curve1174 curve.

_x :: Fq

Coordinate X of Curve1174 curve.

_y :: Fq

Coordinate Y of Curve1174 curve.

gA :: PA

Generator of affine Curve1174 curve.

gP :: PP

Generator of projective Curve1174 curve.