| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ZkFold.Base.Algebra.EllipticCurve.Ed25519
Contents
Synopsis
- type Ed25519_Base = 57896044618658097711785492504343953926634992332820282019728792003956564819949
- type Ed25519_Scalar = 7237005577332262213973186563042994240857116359379907606001950938285454250989
- type Ed25519_Point = Ed25519_PointOf Fq
- type Ed25519_PointOf baseField = TwistedEdwards "ed25519" (AffinePoint baseField)
- type Fl = Zp Ed25519_Scalar
- type Fq = Zp Ed25519_Base
Documentation
type Ed25519_Base = 57896044618658097711785492504343953926634992332820282019728792003956564819949 Source #
2^255 - 19 is the order of the base field from which point coordinates are taken.
type Ed25519_Scalar = 7237005577332262213973186563042994240857116359379907606001950938285454250989 Source #
2^252 + 27742317777372353535851937790883648493 is the order of the multiplicative group in Ed25519
with the generator point defined below in instance EllipticCurve (Ed25519 Void r)
type Ed25519_Point = Ed25519_PointOf Fq Source #
type Ed25519_PointOf baseField = TwistedEdwards "ed25519" (AffinePoint baseField) Source #
type Fl = Zp Ed25519_Scalar Source #
type Fq = Zp Ed25519_Base Source #
Orphan instances
| Prime Ed25519_Base Source # | |
| Prime Ed25519_Scalar Source # | |
| CyclicGroup Ed25519_Point Source # | |
Associated Types Methods | |
| Scale Fl Ed25519_Point Source # | |
Methods scale :: Fl -> Ed25519_Point -> Ed25519_Point Source # | |
| Field field => TwistedEdwardsCurve "ed25519" field Source # | |