symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Safe HaskellSafe-Inferred
LanguageHaskell2010

ZkFold.Symbolic.Data.Ed25519

Documentation

Orphan instances

(Symbolic ctx, KnownFFA Ed25519_Base 'Auto ctx) => CyclicGroup (Ed25519_Point ctx) Source # 
Instance details

Associated Types

type ScalarFieldOf (Ed25519_Point ctx) Source #

(Symbolic ctx, a ~ BaseField ctx, bits ~ NumberOfBits a, KnownFFA Ed25519_Base 'Auto ctx) => Scale (FieldElement ctx) (Ed25519_Point ctx) Source # 
Instance details