Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Curve.Edwards
- type PP = EPPoint Curve1174 Fq Fr
- type PA = EAPoint Curve1174 Fq Fr
- type Fr = PrimeField 904625697166532776746648320380374280092339035279495474023489261773642975601
- type Fq = PrimeField 3618502788666131106986593281521497120414687020801267626233049500247285301239
- data Curve1174
- _a :: Fq
- _d :: Fq
- _h :: Integer
- _q :: Integer
- _r :: Integer
- _x :: Fq
- _y :: Fq
- gA :: PA
- gP :: PP
Documentation
module Curve.Edwards
type Fr = PrimeField 904625697166532776746648320380374280092339035279495474023489261773642975601 Source #
Field of coefficients of Curve1174 curve.
type Fq = PrimeField 3618502788666131106986593281521497120414687020801267626233049500247285301239 Source #
Field of points of Curve1174 curve.
Curve1174 curve.
Instances
EPCurve Curve1174 Fq Fr Source # | Projective Curve1174 curve is an Edwards projective curve. |
EACurve Curve1174 Fq Fr Source # | Affine Curve1174 curve is an Edwards affine curve. |
Curve Edwards c Curve1174 Fq Fr => ECurve c Curve1174 Fq Fr Source # | Curve1174 curve is an Edwards curve. |
Defined in Curve.Edwards.Curve1174 |