Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Data.Ed25519

Contents

Orphan instances

Orphan instances

(Symbolic c, NFData (c (Vector Size))) => EllipticCurve (Ed25519 c :: Type) Source #	Ed25519 with `UInt 256 ArithmeticCircuit a` as computational backend
Instance details Associated Types type BaseField (Ed25519 c) Source # type ScalarField (Ed25519 c) Source # Methods inf :: Point (Ed25519 c) Source # gen :: Point (Ed25519 c) Source # add :: Point (Ed25519 c) -> Point (Ed25519 c) -> Point (Ed25519 c) Source # mul :: ScalarField (Ed25519 c) -> Point (Ed25519 c) -> Point (Ed25519 c) Source #
(EllipticCurve c, SymbolicData (Point c), l ~ Layout (Point c), Representable l, Traversable l, ctx ~ Context (Point c), Symbolic ctx, a ~ BaseField ctx, bits ~ NumberOfBits a) => Scale (FieldElement ctx) (Point c) Source #
Instance details Methods scale :: FieldElement ctx -> Point c -> Point c Source #
Symbolic c => Eq (Bool c) (Point (Ed25519 c)) Source #
Instance details Methods (==) :: Point (Ed25519 c) -> Point (Ed25519 c) -> Bool c Source # (/=) :: Point (Ed25519 c) -> Point (Ed25519 c) -> Bool c Source #
(Symbolic c, BaseField c ~ a) => SymbolicData (Point (Ed25519 c)) Source #
Instance details Associated Types type Context (Point (Ed25519 c)) :: (Type -> Type) -> Type Source # type Support (Point (Ed25519 c)) Source # type Layout (Point (Ed25519 c)) :: Type -> Type Source # Methods pieces :: Point (Ed25519 c) -> Support (Point (Ed25519 c)) -> Context (Point (Ed25519 c)) (Layout (Point (Ed25519 c))) Source # restore :: (Support (Point (Ed25519 c)) -> Context (Point (Ed25519 c)) (Layout (Point (Ed25519 c)))) -> Point (Ed25519 c) Source #