Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-zkvm
A curated list of zkVM, zero-knowledge virtual machine
https://github.com/rkdud007/awesome-zkvm
Last synced: 3 days ago
JSON representation
-
projects
- cairo
- jolt - V | :red_circle: | :red_circle: | | Rust |
- miden
- eigen zkvm - V | :green_circle: | :green_circle: | | Rust |
- olavm
- powdrVM - V | :green_circle: | :green_circle: | | Rust, Powdr, PIL |
- sphinx - V | :green_circle: | :green_circle: | | Rust |
- triton vm
- valida
- sp1 - V | :green_circle: | :green_circle: | :green_circle: | Rust |
- zkWasm
- zisk - V | :green_circle: | :red_circle: | | PIL |
- nexus - V | :green_circle: | :green_circle: | | Rust |
- o1vm - V | :red_circle: | :red_circle: | | Rust |
- risc0 - V | :green_circle: | :green_circle: | :green_circle: | Rust |
- @piapark_eth - zkvm/issues).
- eigen zkvm - V | :green_circle: | :green_circle: | | Rust |
- mozak vm - V | :red_circle: | :red_circle: | | Rust |
- nexus - V | :green_circle: | :green_circle: | | Rust |
- o1vm - V | :red_circle: | :red_circle: | | Rust |
- openvm - V | :green_circle: | :green_circle: | | Rust |
- powdrVM - V | :green_circle: | :green_circle: | | Rust, Powdr, PIL |
- risc0 - V | :green_circle: | :green_circle: | :green_circle: | Rust |
- sp1 - V | :green_circle: | :green_circle: | :green_circle: | Rust |
- ceno - V | :red_circle: | :red_circle: | | Rust |
- zkm
-
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
-
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
virtual-machine
4
zk
4
crypto
4
arkworks
4
blockchain
4
compiler
3
programming-language
2
circom
2
plonk
2
snarkjs
2
privacy-preserving
2
scalability
2
zk-zkvm
2
zk-starks
2
contributor-friendly
2
risc-v
2
nexus
2
zkstarks
2
zkrollup
2
starkware
2
starks
2
starknet
2
scaling
2
rollups
2
layer2
2
cairo-lang
2
cairo
2
team-crypto
2
knowledge-proofs
2
explaining-snarks
2
rtual-machine
2
risc-
2
modular
2
ethereum
2
llvm
1
proof-system
1
mips
1
verifiable-computing
1