awesome-zkvm
A curated list of zkVM, zero-knowledge virtual machine
https://github.com/rkdud007/awesome-zkvm
Last synced: 2 days ago
JSON representation
-
Technical details
- cairo
- olavm
- eigen zkvm
- o1vm
- jolt
- miden
- pico
- valida
- sphinx
- sp1
- triton vm - vm.org/spec/memory-consistency.html) | FRI | Rust |
- zkWasm - | IPA? | Rust |
- nexus - Halo2 (KZG)} | Rust |
- triton vm - vm.org/spec/memory-consistency.html) | FRI | Rust |
- mozak vm
- openvm
- powdrVM - ish (PIL, plonky3) | - | PSE-Halo2 (KZG), Plonky3, FRI([eSTARK](https://eprint.iacr.org/2023/474)) | Solidity |
- ceno
- zkm
- powdrVM - ish (PIL, plonky3) | - | PSE-Halo2 (KZG), Plonky3, FRI([eSTARK](https://eprint.iacr.org/2023/474)) | Solidity |
- risc0 - FRI & ALI](https://eprint.iacr.org/2021/582.pdf) | Rust, Solidity |
- zisk
- zkWasm - | IPA? | Rust |
- acvm - lang/awesome-noir/?tab=readme-ov-file#proving-backends) | Cairo, Solidity |
- risc0 - FRI & ALI](https://eprint.iacr.org/2021/582.pdf) | Rust, Solidity |
- sphinx
-
resources
-
Risc Zero
- zk10: analysis of zkvm designs - wei dai & terry chung
- cairo – a turing-complete stark-friendly cpu architecture - shahar papini
- cairo – a turing-complete stark-friendly cpu architecture - shahar papini
- lasso + jolt playlist
- lasso + jolt playlist
- the nexus v1.0 zkvm - daniel marin (nexus)
- 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
- zk12: memory checking in ivc-based zkvm - jens groth
- zk7: miden vm: a stark-friendly vm for blockchains - bobbin threadbare – polygon
- zeroing into zkvm
- Verification of zkWasm in Coq
-
EDEN
- the nexus v1.0 zkvm - daniel marin (nexus)
- a zero-knowledge paradigm series
- new paradigm in ethereum l2 scaling: multi-proving and zk-vms
- zk11: o1vm: building a real-world zkvm for mips - danny willems
- understanding jolt: clarifications and reflections
- zeroing into zkvm
- Verification of zkWasm in Coq
- zkvm design walkthrough with max and daniel
- 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
- a zero-knowledge paradigm series
- new paradigm in ethereum l2 scaling: multi-proving and zk-vms
- zk whiteboard sessions – module seven: zero knowledge virtual machines (zkvm) with grjte
- zkvm design walkthrough with max and daniel
- Getting the bugs out of SNARKs: The road ahead
- ~tacryt-socryp on Zorp, the Nock zkVM | Reassembly23
-
-
projects repositories
-
projects
- valida
- Instruction Set Architecture
- miden
- olavm
- jolt - V | :x: | :x: | [:x:](https://jolt.a16zcrypto.com/future/precompiles.html) | | Rust |
- @0xpiapark - zkvm/issues).
- @piapark_eth - zkvm/issues).
- eigen zkvm - V | :green_circle: | :green_circle: | | Rust |
- nexus - V | :green_circle: | :green_circle: | | Rust |
- o1vm - V | :red_circle: | :red_circle: | | Rust |
- sp1 - V | :green_circle: | :green_circle: | :green_circle: | Rust |
-
bench
-
papers
-
Cairo
-
Jolt
-
Risc Zero
-
SP1
-
Ceno
-
EDEN
-
-
tutorials / educational zkVM
-
tutorials
-
Risc Zero
-
EDEN
-
-
related awesome lists
-
Independent/third-party Benchmarks
Categories
Keywords
cryptography
16
rust
14
zero-knowledge
13
stark
12
zkvm
9
zkp
9
snark
8
zk-snarks
6
zk
4
crypto
4
arkworks
4
virtual-machine
4
blockchain
4
compiler
3
zk-zkvm
2
scalability
2
privacy-preserving
2
programming-language
2
risc-
2
rtual-machine
2
explaining-snarks
2
knowledge-proofs
2
team-crypto
2
risc-v
2
nexus
2
zk-starks
2
modular
2
ethereum
2
contributor-friendly
2
snarkjs
2
plonk
2
circom
2
zkstarks
2
zkrollup
2
starkware
2
starks
2
starknet
2
scaling
2
rollups
2
layer2
2
cairo-lang
2
cairo
2
llvm
1
proof-system
1
mips
1
verifiable-computing
1