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

Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Compiler

Synopsis

module ZkFold.Symbolic.Compiler.Arithmetizable
module ZkFold.Symbolic.Compiler.ArithmeticCircuit
compile :: forall a f y. (Arithmetizable a f, SymbolicData a y) => f -> y
compileIO :: forall a f. (ToJSON a, Arithmetizable a f) => FilePath -> f -> IO ()

Documentation

module ZkFold.Symbolic.Compiler.Arithmetizable

module ZkFold.Symbolic.Compiler.ArithmeticCircuit

compile :: forall a f y. (Arithmetizable a f, SymbolicData a y) => f -> y Source #

Compiles function f into an arithmetic circuit.

compileIO :: forall a f. (ToJSON a, Arithmetizable a f) => FilePath -> f -> IO () Source #

Compiles a function f into an arithmetic circuit. Writes the result to a file.