zkvm topic
List
zkvm repositories
darkfi
1.0k
Stars
110
Forks
Watchers
Anonymous. Uncensored. Sovereign.
jolt
546
Stars
90
Forks
Watchers
The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto and friends. ⚡
zkbrainfuck
55
Stars
1
Forks
Watchers
A Brainfuck zkVM with Circom.
risc0-lean4
47
Stars
3
Forks
Watchers
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
eigen-zkvm
120
Stars
34
Forks
Watchers
A Rust zkVM with a Modular Proof System
zkm
80
Stars
41
Forks
Watchers
The universal zkVM empowering Ethereum as the Global Settlement Layer
zkvm-benchmarks
44
Stars
9
Forks
Watchers
Benchmarks of popular zkVMs including Jolt
nexus-zkvm
162
Stars
16
Forks
Watchers
The Nexus zkVM: The zero-knowledge virtual machine
eigen-prover
28
Stars
8
Forks
Watchers
Eigen zkVM's Proving Service