ZK-explorations

This is a working repository for the zkVM team.

Here we are trying out various proof systems for functionality and performance.

Contents

Currently there are the following subprojects here:

• halo2 basic circuit (power of 3)
• risc0 basic circuit
• novanacci - Fibonacci circuit written in vanilla (Bellman) Nova
• plonky2-bench - Poseidon hashing circuit written in Plonky2
• Benchmark explanation

Future plans

Similarly to plonky2-bench, there will be added Poseidon benchmarks for Nova, Halo2 and starky proof systems.

Prerequisites

All subproject are build using Rust therefore you need to have it installed.

For UNIX/Linux based systems it is done using:

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

Along with Rust you get Cargo installed ass well, so you don't need to deel with it separately.