A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use. also makes it possible to benchmark over every available zkVM

For now, proving and verification is in the same script, but it would great to have two different flow for both

You can write your code in ./lib/src/lib.rs.

You can install all the available zkvm using the ./build.sh file

./build.sh

You'll find a trait Processor with some function already implemented; let's go through every function and types to understand them better

This type represent the public inputs you'll pass to your verifier

This type represent the public outputs your program will pass to the verifier

This function is an helper to pass your inputs to the zkvm, you should not have to modify this function (or at least not often)

This function passes the public inputs to the prover, you could for example take these inputs from your user directyl

This is where you'll write the code you want to prove, this code will be the one passed to the prover

This function is the callback you'll get at the end of the program (after verification), you can then uses the output values to do any verification you need!

cargo run -p [zkVM] --release

Available zkVMs: [sp1, risczero, powdrVM]

in progress: [jolt]

Some zkVMs (e.g. powdrVM, Valida) might have a lot better performance with AVX enabled, if your hardware supports it.

You can enable it via: RUSTFLAGS='-C target-cpu=native' cargo run -p [zkVM] --release

• Fix Jolt
• Add Valida with their custom ISA
• Add more zkVMs
• Add benchmarks