An integration of zkFold Symbolic smart contracts with the Cardano blockchain. The repository contains
- the Plutus script for the zkFold Symbolic verifier;
- the Plutus script for the Plonk proof verification token;
- the off-chain code for transaction building.
This project can be built with Cabal 3.10.2.1 and GHC 9.6.3.
With nix it is as easy as:
$ nix develop
...
$ cabal update
$ cabal build
We provide packaged versions for common Operating Systems for all of the above dependencies: Download
Crypotgraphic depencencies needed for building Haskell packages:
$ cabal update
$ cabal build
cabal run test
to check the implementations against the test data.cabal run bench-uplc
to compile the fast implementation to UPLC (.flat
) for further processing.cabal run bench-cpu-mem
to calculate the cpu/mem units of the tests in the plutus-benchmark package.