13 results found Sort:

395
2.2k
apache-2.0
22
The Nexus zkVM: The zero-knowledge virtual machine
Created 2023-09-07
306 commits to main branch, last one about a month ago
128
1.2k
agpl-3.0
46
Anonymous. Uncensored. Sovereign.
Created 2020-08-17
9,753 commits to master branch, last one 9 hours ago
202
751
mit
31
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Created 2023-05-18
2,320 commits to main branch, last one 8 days ago
A curated list of zkVM, zero-knowledge virtual machine
Created 2024-11-01
43 commits to main branch, last one 2 days ago
36
139
apache-2.0
6
A Rust zkVM with a Modular Proof System
Created 2022-04-08
388 commits to main branch, last one about a month ago
56
123
mit
4
The universal zkvm empoering ethereum as the global settlement layer
Created 2023-10-07
259 commits to main branch, last one 8 days ago
4
62
apache-2.0
22
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
Created 2022-11-26
281 commits to main branch, last one 2 years ago
Benchmarks of popular zkVMs including Jolt
Created 2024-04-09
4 commits to master branch, last one 10 months ago
A Brainfuck zkVM with Circom.
Created 2023-07-16
17 commits to main branch, last one about a year ago
12
40
apache-2.0
4
Cairo-VM STONE STARK Verifier Rust implementation
Created 2024-07-06
362 commits to main branch, last one 29 days ago
A ZK-VM for the Brainfuck language, based on Stwo
Created 2024-10-28
108 commits to main branch, last one 21 days ago
Eigen zkVM's Proving Service
Created 2023-05-20
109 commits to main branch, last one 7 months ago
4
28
gpl-3.0
5
Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
Created 2024-01-29
559 commits to dev branch, last one 2 months ago