ProvableHQ / snarkVMLinks
A zkVM for Decentralized Private Computations (DPC)
☆1,115Updated this week
Alternatives and similar repositories for snarkVM
Users that are interested in snarkVM are comparing it to the libraries listed below
Sorting:
- Javascript & Typescript SDK for Zero-Knowledge Application Development☆607Updated this week
- A Decentralized Operating System for ZK Applications☆4,446Updated this week
- 📄 Documentation for Leo 🦁☆327Updated last week
- 📜 A Starter Guide to Build ZK Applications 📜☆337Updated 5 months ago
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,825Updated this week
- 🏎️ A curated list of Aleo & Leo code and resources 🏎️☆374Updated this week
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,478Updated this week
- ☆791Updated 2 weeks ago
- zkSync era☆3,176Updated this week
- ☆2,781Updated this week
- Aleo Request for Comments (ARCs)☆222Updated last month
- Celestia Data Availability Nodes☆966Updated this week
- Scroll's Monorepo☆730Updated this week
- Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.☆999Updated 4 months ago
- Testnet configurations and coordination for the Namada network.☆341Updated last year
- Sign arbitrary messages with keys obtained from Namada's trusted setup☆319Updated last year
- ☆931Updated last month
- Aleo Education☆254Updated 11 months ago
- SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.☆1,347Updated this week
- An Omnichain Interoperability Protocol☆1,952Updated 11 months ago
- Cairo is the first Turing-complete language for creating provable programs for general computation.☆1,759Updated this week
- ☆644Updated this week
- Mastering Starknet. By the Starknet community☆823Updated 11 months ago
- A registry for RollApps☆306Updated 10 months ago
- A Starknet full node written in Rust☆648Updated this week
- A Setup Ceremony for Universal SNARKs☆82Updated 11 months ago
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,033Updated last year
- Rust implementation of Ziesha protocol☆1,067Updated last year
- Contracts of official applications deployed by the core team to ZetaChain.☆408Updated last month
- Open source explorer for the Aleo network☆125Updated last week