Contributions and suggestions are always welcome; open issues or pull requests with any changes you want to be made.
- cairo
- ceno
- eigen zkvm
- jolt
- miden
- nexus
- o1vm
- olavm
- powdr
- risc0
- sp1
- sphinx
- triton vm
- valida
- zkWasm
- zkm
- benchmarks (lita) | code
- benchmark (risc0) | code
- zkvm-benchmarks (a16z) | code
- zkvm perf (succinct) | code
- Cairo – a Turing-complete STARK-friendly CPU architecture
- A Verified Algebraic Representation of Cairo Program Execution
- A Proof-Producing Compiler for Blockchain Applications
- a zero-knowledge paradigm series
- cairo – a turing-complete stark-friendly cpu architecture - shahar papini
- lasso + jolt playlist
- new paradigm in ethereum l2 scaling: multi-proving and zk-vms
- the nexus v1.0 zkvm - daniel marin (nexus)
- understanding jolt: clarifications and reflections
- zk whiteboard sessions – module seven: zero knowledge virtual machines (zkvm) with grjte
- zk10: analysis of zkvm designs - wei dai & terry chung
- zk11: o1vm: building a real-world zkvm for mips - danny willems
- zk12: memory checking in ivc-based zkvm - jens groth
- zk7: miden vm: a stark-friendly vm for blockchains - bobbin threadbare – polygon
- zeroing into zkvm
- zkvm design walkthrough with max and daniel
- Verification of zkWasm in Coq
- zk11: polynomial acceleration for stark vms
- what does risc v have to do with risc zero's zkvm
- risc zero architecture presentation @ stanford
- continuations: scaling in zkvm
- Getting the bugs out of SNARKs: The road ahead
- ~tacryt-socryp on Zorp, the Nock zkVM | Reassembly23
