zkfold-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols

Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Data.Ed25519

Contents

Orphan instances

Documentation

zpToEd :: Finite (Zp p) => Point (Ed25519 (Zp p)) -> Point (Ed25519 Void) Source #

edToZp :: Finite (Zp p) => Point (Ed25519 Void) -> Point (Ed25519 (Zp p)) Source #

acAdd25519 :: forall a. Arithmetic a => EuclideanDomain (UInt 512 (ArithmeticCircuit a)) => Point (Ed25519 (ArithmeticCircuit a)) -> Point (Ed25519 (ArithmeticCircuit a)) -> Point (Ed25519 (ArithmeticCircuit a)) Source #

acDouble25519 :: forall a. Arithmetic a => EuclideanDomain (UInt 512 (ArithmeticCircuit a)) => Point (Ed25519 (ArithmeticCircuit a)) -> Point (Ed25519 (ArithmeticCircuit a)) Source #

Orphan instances

Finite (Zp p) => EllipticCurve (Ed25519 (Zp p) :: Type) Source #	Ed25519 with `UInt 256 (Zp p)` as computational backend
Instance details Associated Types type BaseField (Ed25519 (Zp p)) Source # type ScalarField (Ed25519 (Zp p)) Source # Methods inf :: Point (Ed25519 (Zp p)) Source # gen :: Point (Ed25519 (Zp p)) Source # add :: Point (Ed25519 (Zp p)) -> Point (Ed25519 (Zp p)) -> Point (Ed25519 (Zp p)) Source # mul :: ScalarField (Ed25519 (Zp p)) -> Point (Ed25519 (Zp p)) -> Point (Ed25519 (Zp p)) Source #
(Arithmetic a, SymbolicData a (UInt 256 (ArithmeticCircuit a)), FromConstant Natural (UInt 512 (ArithmeticCircuit a)), EuclideanDomain (UInt 512 (ArithmeticCircuit a)), BinaryExpansion (UInt 256 (ArithmeticCircuit a))) => EllipticCurve (Ed25519 (ArithmeticCircuit a) :: Type) Source #	Ed25519 with `UInt 256 (ArithmeticCircuit a)` as computational backend
Instance details Associated Types type BaseField (Ed25519 (ArithmeticCircuit a)) Source # type ScalarField (Ed25519 (ArithmeticCircuit a)) Source # Methods inf :: Point (Ed25519 (ArithmeticCircuit a)) Source # gen :: Point (Ed25519 (ArithmeticCircuit a)) Source # add :: Point (Ed25519 (ArithmeticCircuit a)) -> Point (Ed25519 (ArithmeticCircuit a)) -> Point (Ed25519 (ArithmeticCircuit a)) Source # mul :: ScalarField (Ed25519 (ArithmeticCircuit a)) -> Point (Ed25519 (ArithmeticCircuit a)) -> Point (Ed25519 (ArithmeticCircuit a)) Source #
SymbolicData a (UInt 256 (ArithmeticCircuit a)) => SymbolicData a (Point (Ed25519 (ArithmeticCircuit a))) Source #
Instance details Methods pieces :: Point (Ed25519 (ArithmeticCircuit a)) -> [ArithmeticCircuit a] Source # restore :: [ArithmeticCircuit a] -> Point (Ed25519 (ArithmeticCircuit a)) Source # typeSize :: Natural Source #
(Ring a, Eq (Bool a) (BaseField (Ed25519 a))) => Eq (Bool a) (Point (Ed25519 a)) Source #
Instance details Methods (==) :: Point (Ed25519 a) -> Point (Ed25519 a) -> Bool a Source # (/=) :: Point (Ed25519 a) -> Point (Ed25519 a) -> Bool a Source #