zkFold Prover

Optimized ZK provers

Setting up the environment

Install rustup and cargo (require curl):

curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

Install nightly:

rustup toolchain install nightly

Install cargo-c (require openssl and pkg-config):

cargo install cargo-c

Build, Tests and Examples

The package compiles with GHC 9.6.3 and Cabal 3.10.2.1.

Running tests:

cabal run wrapper-test

Run benchmark:

cabal run msm

Haskell profiling and benchmarking

Before you need install ghc-prof-flamegraph. Remember path to executable file

cabal install ghc-prof-flamegraph

Run benchmark with .prof generating

cabal run msm --enable-profiling -- +RTS -p

Run generating flamegraph. Make sure the path to ghc-prof-flamegraph is correct

~/.local/bin/ghc-prof-flamegraph msm.prof

Flamegraph will be in msm.svg file

Rust profiling and benchmarking

To run benchmark install cargo-criterion

cargo install cargo-criterion

And run in rust-wrapper

cargo criterion --bench msm_bench

For generate flamegraph install flamegraph (require perf)

cargo install flamegraph

And generate flamegraph from bench (in rust-wrapper):

cargo flamegraph --bench msm_bench

Build Rust code into WASM

To build Rust code you neeed to install wasm32-unknown-unknown target:

rustup target add wasm32-unknown-unknown

Build command:

cargo +nightly build --release --target=wasm32-unknown-unknown

Also you can use wasm32-wasip1. Installation and building are similar