Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Data.Ed25519

Contents

Documentation

Instances details

(Symbolic c, NFData (c (Vector Size))) => EllipticCurve (AcEd25519 c) Source #	Ed25519 with `UInt 256 ArithmeticCircuit a` as computational backend
Instance details Defined in ZkFold.Symbolic.Data.Ed25519 Associated Types type BaseField (AcEd25519 c) Source # type ScalarField (AcEd25519 c) Source # type BooleanOf (AcEd25519 c) Source # Methods pointGen :: Point (AcEd25519 c) Source # add :: Point (AcEd25519 c) -> Point (AcEd25519 c) -> Point (AcEd25519 c) Source # mul :: ScalarField (AcEd25519 c) -> Point (AcEd25519 c) -> Point (AcEd25519 c) Source #
type BaseField (AcEd25519 c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Ed25519 type BaseField (AcEd25519 c) = FFA Ed25519_Base c
type BooleanOf (AcEd25519 c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Ed25519 type BooleanOf (AcEd25519 c) = Bool c
type ScalarField (AcEd25519 c) Source #
Instance details Defined in ZkFold.Symbolic.Data.Ed25519 type ScalarField (AcEd25519 c) = FieldElement c

Orphan instances

(EllipticCurve c, SymbolicData (Point c), l ~ Layout (Point c), ctx ~ Context (Point c), Symbolic ctx, a ~ BaseField ctx, bits ~ NumberOfBits a, BooleanOf c ~ Bool ctx) => Scale (FieldElement ctx) (Point c) Source #
Instance details Methods scale :: FieldElement ctx -> Point c -> Point c Source #