Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Data.Curve
- class (GaloisField q, PrimeField r, Curve Montgomery c e q r) => MCurve c e q r where
- type MPoint = Point Montgomery
- class MCurve Affine e q r => MACurve e q r where
- type MAPoint = MPoint Affine
Documentation
module Data.Curve
Montgomery curves
class (GaloisField q, PrimeField r, Curve Montgomery c e q r) => MCurve c e q r where Source #
Montgomery curves.
Instances
Curve Montgomery c Curve25519 Fq Fr => MCurve c Curve25519 Fq Fr Source # | |
Curve Montgomery c Curve383187 Fq Fr => MCurve c Curve383187 Fq Fr Source # | |
Curve Montgomery c Curve448 Fq Fr => MCurve c Curve448 Fq Fr Source # | |
Curve Montgomery c M221 Fq Fr => MCurve c M221 Fq Fr Source # | |
Curve Montgomery c M383 Fq Fr => MCurve c M383 Fq Fr Source # | |
Curve Montgomery c M511 Fq Fr => MCurve c M511 Fq Fr Source # | |
type MPoint = Point Montgomery Source #
Montgomery points.
Montgomery affine curves
class MCurve Affine e q r => MACurve e q r where Source #
Montgomery affine curves By^2 = x^3 + Ax^2 + x
.