ProvableHQ / snarkVMLinks
A zkVM for Decentralized Private Computations (DPC)
☆1,125Updated 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☆608Updated this week
- A Decentralized Operating System for ZK Applications☆4,454Updated this week
- 📄 Documentation for Leo 🦁☆327Updated 3 weeks ago
- 📜 A Starter Guide to Build ZK Applications 📜☆336Updated 6 months ago
- Celestia Data Availability Nodes☆974Updated last week
- 🏎️ A curated list of Aleo & Leo code and resources 🏎️☆379Updated last month
- ☆792Updated this week
- Cairo is the first Turing-complete language for creating provable programs for general computation.☆1,769Updated this week
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,498Updated this week
- Scroll's Monorepo☆733Updated this week
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,831Updated this week
- Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.☆1,004Updated 6 months ago
- Subspace Protocol reference implementation☆395Updated this week
- ☆2,796Updated this week
- Sign arbitrary messages with keys obtained from Namada's trusted setup☆319Updated last year
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,038Updated last year
- SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.☆1,410Updated this week
- ☆649Updated this week
- ☆933Updated 2 months ago
- zkSync era☆3,176Updated this week
- The main repo for starknet.io☆635Updated 11 months ago
- Testnet configurations and coordination for the Namada network.☆346Updated last year
- Aleo Request for Comments (ARCs)☆221Updated 3 weeks ago
- Rust implementation of Ziesha protocol☆1,068Updated last year
- ⛽ The Fuel toolchain installer☆276Updated this week
- Template starter for IBC enabled contracts in Solidity for use with vibc-core-smart-contracts☆358Updated 8 months ago
- Powers fast, private, decentralized applications☆1,987Updated last year
- A Starknet full node written in Rust☆650Updated this week
- Open source explorer for the Aleo network☆125Updated this week
- Avalanche Faucet for Fuji Network and Subnets.☆485Updated last week