Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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
compile :: forall a f y. (Arithmetizable a f, SymbolicData a y) => f -> y Source #
Compiles function f
into an arithmetic circuit.