14 results found Sort:
- Filter by Primary Language:
- Rust (10)
- Circom (1)
- Lean (1)
- TypeScript (1)
- +
The Nexus zkVM: The zero-knowledge virtual machine
Created
2023-09-07
748 commits to main branch, last one 15 hours ago
Anonymous. Uncensored. Sovereign.
Created
2020-08-17
9,865 commits to master branch, last one 24 hours ago
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Created
2023-05-18
2,340 commits to main branch, last one 6 days ago
A curated list of zkVM, zero-knowledge virtual machine
Created
2024-11-01
51 commits to main branch, last one 20 days ago
A Rust zkVM with a Modular Proof System
Created
2022-04-08
390 commits to main branch, last one 17 days ago
The universal zkvm empowering Ethereum as the global settlement layer
Created
2023-10-07
279 commits to main branch, last one 18 hours ago
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 11 months ago
A Brainfuck zkVM with Circom.
Created
2023-07-16
17 commits to main branch, last one about a year ago
Cairo-VM STONE STARK Verifier Rust implementation
Created
2024-07-06
362 commits to main branch, last one 2 months ago
A ZK-VM for the Brainfuck language, based on Stwo
Created
2024-10-28
109 commits to main branch, last one 6 days ago
Eigen zkVM's Proving Service
Created
2023-05-20
113 commits to main branch, last one 3 days ago
Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
Created
2024-01-29
560 commits to dev branch, last one about a month ago
Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇
Created
2024-12-29
21 commits to master branch, last one 7 days ago