ZkFold.Symbolic.Data.Ed25519

Documentation

data AcEd25519 c

Instances

(Symbolic c, NFData (c (Vector Size))) => EllipticCurve (AcEd25519 c)

Ed25519 with UInt 256 ArithmeticCircuit a as computational backend

Defined in ZkFold.Symbolic.Data.Ed25519

Associated Types

type BaseField (AcEd25519 c)

type ScalarField (AcEd25519 c)

type BooleanOf (AcEd25519 c)

Methods

pointGen :: Point (AcEd25519 c)

add :: Point (AcEd25519 c) -> Point (AcEd25519 c) -> Point (AcEd25519 c)

mul :: ScalarField (AcEd25519 c) -> Point (AcEd25519 c) -> Point (AcEd25519 c)

type BaseField (AcEd25519 c)

Defined in ZkFold.Symbolic.Data.Ed25519

type BaseField (AcEd25519 c) = FFA Ed25519_Base c

type BooleanOf (AcEd25519 c)

Defined in ZkFold.Symbolic.Data.Ed25519

type BooleanOf (AcEd25519 c) = Bool c

type ScalarField (AcEd25519 c)

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)

Methods

scale :: FieldElement ctx -> Point c -> Point c