Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
ZkFold.Symbolic.Data.Ed25519
Contents
Documentation
type Ed25519_Point ctx = Ed25519_PointOf (FFA Ed25519_Base 'Auto ctx) Source #
Orphan instances
(Symbolic ctx, KnownFFA Ed25519_Base 'Auto ctx) => CyclicGroup (Ed25519_Point ctx) Source # | |
Associated Types type ScalarFieldOf (Ed25519_Point ctx) Source # Methods pointGen :: Ed25519_Point ctx Source # | |
(Symbolic ctx, a ~ BaseField ctx, bits ~ NumberOfBits a, KnownFFA Ed25519_Base 'Auto ctx) => Scale (FieldElement ctx) (Ed25519_Point ctx) Source # | |
Methods scale :: FieldElement ctx -> Ed25519_Point ctx -> Ed25519_Point ctx Source # |