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 repositories
-
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
-
-
bench
-
papers
-
Cairo
-
Jolt
-
Risc Zero
-
SP1
-
EDEN
-
-
tutorials
-
related awesome lists
Categories
Sub Categories
Keywords
cryptography
16
rust
14
zero-knowledge
13
stark
12
zkp
9
zkvm
9
snark
8
zk-snarks
6
virtual-machine
4
zk
4
crypto
4
arkworks
4
blockchain
4
compiler
3
snarkjs
2
plonk
2
circom
2
programming-language
2
nexus
2
privacy-preserving
2
scalability
2
zk-zkvm
2
risc-v
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
zk-starks
2
modular
2
ethereum
2
contributor-friendly
2
llvm
1
proof-system
1
mips
1
verifiable-computing
1