6411edb0c9
Nova bellman proof size |
||
---|---|---|
arecibo | ||
circom | ||
halo2 | ||
halo2-common | ||
halo2-gwc | ||
halo2-shplonk | ||
nova-bellman | ||
nova-bench | ||
novanacci | ||
plonky2-bench | ||
poseidon-starky | ||
risc0 | ||
.gitignore | ||
README.md | ||
benchmarks.md |
README.md
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.