ProvableHQ / snarkVMLinks
A zkVM for Decentralized Private Computations (DPC)
☆1,131Updated 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☆613Updated this week
- A Decentralized Operating System for ZK Applications☆4,462Updated this week
- 📄 Documentation for Leo 🦁☆328Updated this week
- 📜 A Starter Guide to Build ZK Applications 📜☆339Updated 8 months ago
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,793Updated this week
- 🏎️ A curated list of Aleo & Leo code and resources 🏎️☆382Updated 2 months ago
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,501Updated last week
- ☆789Updated this week
- Celestia Data Availability Nodes☆976Updated this week
- Subspace Protocol reference implementation☆398Updated this week
- Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.☆1,006Updated 7 months ago
- zkSync era☆3,192Updated this week
- Cairo is the first Turing-complete language for creating provable programs for general computation.☆1,792Updated this week
- Scroll's Monorepo☆734Updated this week
- ☆2,804Updated this week
- Testnet configurations and coordination for the Namada network.☆347Updated last year
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,038Updated last year
- Sign arbitrary messages with keys obtained from Namada's trusted setup☆319Updated last year
- ☆650Updated this week
- Open source explorer for the Aleo network☆126Updated 2 weeks ago
- Aleo Request for Comments (ARCs)☆222Updated 2 months ago
- DEPRECATED in favor of https://github.com/madara-alliance/madara☆533Updated last year
- A Starknet full node written in Rust☆653Updated this week
- Rust implementation of Ziesha protocol☆1,068Updated last year
- ☆934Updated 4 months ago
- The Nexus zkVM: The zero-knowledge virtual machine☆2,503Updated this week
- SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.☆1,458Updated this week
- ☆822Updated last year
- Aleo Education☆255Updated last year
- A Setup Ceremony for Universal SNARKs☆81Updated last year