elliptic-curve-0.3.0: Elliptic curve library

Safe HaskellNone
LanguageHaskell2010

Data.Curve.Edwards.Curve1174

Contents

Synopsis

Documentation

module Data.Curve.Edwards

Curve1174 curve

type PP = EPPoint Curve1174 Fq Fr Source #

Projective Curve1174 point.

type PA = EAPoint Curve1174 Fq Fr Source #

Affine Curve1174 curve point.

type R = 904625697166532776746648320380374280092339035279495474023489261773642975601 Source #

type Fr = Prime R Source #

Field of coefficients of Curve1174 curve.

type Q = 3618502788666131106986593281521497120414687020801267626233049500247285301239 Source #

type Fq = Prime Q Source #

Field of points of Curve1174 curve.

data Curve1174 Source #

Curve1174 curve.

Instances
EPCurve Curve1174 Fq Fr Source # 
Instance details

Defined in Data.Curve.Edwards.Curve1174

Methods

gP_ :: EPPoint Curve1174 Fq Fr Source #

EACurve Curve1174 Fq Fr Source # 
Instance details

Defined in Data.Curve.Edwards.Curve1174

Methods

gA_ :: EAPoint Curve1174 Fq Fr Source #

Curve Edwards c Curve1174 Fq Fr => ECurve c Curve1174 Fq Fr Source # 
Instance details

Defined in Data.Curve.Edwards.Curve1174

Methods

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

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

h_ :: EPoint c Curve1174 Fq Fr -> Natural Source #

q_ :: EPoint c Curve1174 Fq Fr -> Natural Source #

r_ :: EPoint c Curve1174 Fq Fr -> Natural Source #

_a :: Fq Source #

Coefficient A of Curve1174 curve.

_d :: Fq Source #

Coefficient D of Curve1174 curve.

_h :: Natural Source #

Cofactor of Curve1174 curve.

_q :: Natural Source #

Characteristic of Curve1174 curve.

_r :: Natural Source #

Order of Curve1174 curve.

_x :: Fq Source #

Coordinate X of Curve1174 curve.

_y :: Fq Source #

Coordinate Y of Curve1174 curve.

gA :: PA Source #

Generator of affine Curve1174 curve.

gP :: PP Source #

Generator of projective Curve1174 curve.