Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Data.Curve
- class (GaloisField q, PrimeField r, Curve Edwards c e q r) => ECurve c e q r where
- type EPoint = Point Edwards
- class ECurve Affine e q r => EACurve e q r where
- type EAPoint = EPoint Affine
- class ECurve Projective e q r => EPCurve e q r where
- type EPPoint = EPoint Projective
Documentation
module Data.Curve
Edwards curves
class (GaloisField q, PrimeField r, Curve Edwards c e q r) => ECurve c e q r where Source #
Edwards curves.
Instances
Curve Edwards c Curve1174 Fq Fr => ECurve c Curve1174 Fq Fr Source # | |
Curve Edwards c Curve41417 Fq Fr => ECurve c Curve41417 Fq Fr Source # | |
Curve Edwards c E222 Fq Fr => ECurve c E222 Fq Fr Source # | |
Curve Edwards c E382 Fq Fr => ECurve c E382 Fq Fr Source # | |
Curve Edwards c E521 Fq Fr => ECurve c E521 Fq Fr Source # | |
Curve Edwards c Ed25519 Fq Fr => ECurve c Ed25519 Fq Fr Source # | |
Curve Edwards c Ed3363 Fq Fr => ECurve c Ed3363 Fq Fr Source # | |
Curve Edwards c Ed448 Fq Fr => ECurve c Ed448 Fq Fr Source # | |
Curve Edwards c JubJub Fq Fr => ECurve c JubJub Fq Fr Source # | |
Edwards affine curves
class ECurve Affine e q r => EACurve e q r where Source #
Edwards affine curves Ax^2 + y^2 = 1 + Dx^2y^2
.
Instances
EACurve Curve1174 Fq Fr Source # | |
EACurve Curve41417 Fq Fr Source # | |
Defined in Data.Curve.Edwards.Curve41417 | |
EACurve E222 Fq Fr Source # | |
EACurve E382 Fq Fr Source # | |
EACurve E521 Fq Fr Source # | |
EACurve Ed25519 Fq Fr Source # | |
EACurve Ed3363 Fq Fr Source # | |
EACurve Ed448 Fq Fr Source # | |
EACurve JubJub Fq Fr Source # | |
Edwards projective curves
class ECurve Projective e q r => EPCurve e q r where Source #
Edwards projective curves Ax^2z^2 + y^2z^2 = z^4 + Dx^2y^2
.
Instances
EPCurve Curve1174 Fq Fr Source # | |
EPCurve Curve41417 Fq Fr Source # | |
Defined in Data.Curve.Edwards.Curve41417 | |
EPCurve E222 Fq Fr Source # | |
EPCurve E382 Fq Fr Source # | |
EPCurve E521 Fq Fr Source # | |
EPCurve Ed25519 Fq Fr Source # | |
EPCurve Ed3363 Fq Fr Source # | |
EPCurve Ed448 Fq Fr Source # | |
EPCurve JubJub Fq Fr Source # | |
type EPPoint = EPoint Projective Source #
Edwards projective curves.