This is a working repository for the zkVM team.
Here we are trying out various proof systems for functionality and performance.
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
Similarly to plonky2-bench, there will be added Poseidon benchmarks for Nova, Halo2 and starky proof systems.
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 | shAlong with Rust you get Cargo installed ass well, so you don't need to deel with it separately.