ProvableHQ / snarkVM
A zkVM for Decentralized Private Computations (DPC)
☆1,109Updated this week
Alternatives and similar repositories for snarkVM:
Users that are interested in snarkVM are comparing it to the libraries listed below
- Javascript & Typescript SDK for Zero-Knowledge Application Development☆599Updated this week
- A Decentralized Operating System for ZK Applications☆4,428Updated this week
- 📄 Documentation for Leo 🦁☆326Updated this week
- 📜 A Starter Guide to Build ZK Applications 📜☆336Updated 3 months ago
- 🏎️ A curated list of Aleo & Leo code and resources 🏎️☆369Updated this week
- ☆791Updated this week
- Celestia Data Availability Nodes☆963Updated this week
- Aleo Request for Comments (ARCs)☆222Updated last month
- zkSync era☆3,162Updated this week
- Aleo Education☆254Updated 9 months ago
- Scroll's Monorepo☆730Updated this week
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,823Updated this week
- ☆2,758Updated this week
- ☆932Updated 2 months ago
- Dymension Hub☆381Updated this week
- Sign arbitrary messages with keys obtained from Namada's trusted setup☆320Updated last year
- Subspace Protocol reference implementation☆393Updated this week
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,467Updated this week
- Mastering Starknet. By the Starknet community☆819Updated 9 months ago
- Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.☆1,002Updated 2 months ago
- The fastest, most feature-complete zkVM for developers.☆1,278Updated this week
- Open source explorer for the Aleo network☆123Updated this week
- Contracts of official applications deployed by the core team to ZetaChain.☆405Updated last week
- Testnet configurations and coordination for the Namada network.☆341Updated last year
- ⛽ The Fuel toolchain installer☆282Updated this week
- A Starknet full node written in Rust☆644Updated this week
- A registry for RollApps☆307Updated 8 months ago
- ☆625Updated 3 weeks ago
- LayerZero implementation for Aptos☆781Updated last year
- Boojum, the scariest SNARK implementation.☆300Updated 7 months ago