ProvableHQ / snarkVM
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
- Javascript & Typescript SDK for Zero-Knowledge Application Developmentβ603Updated this week
- A Decentralized Operating System for ZK Applicationsβ4,436Updated this week
- π Documentation for Leo π¦β327Updated this week
- π A Starter Guide to Build ZK Applications πβ337Updated 4 months ago
- ποΈ A curated list of Aleo & Leo code and resources ποΈβ371Updated 3 weeks ago
- π¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applicationsβ4,823Updated this week
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacyβ2,475Updated this week
- Celestia Data Availability Nodesβ963Updated this week
- β2,769Updated this week
- Scroll's Monorepoβ731Updated this week
- zkSync eraβ3,167Updated this week
- Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.β1,004Updated 3 months ago
- Aleo Request for Comments (ARCs)β222Updated this week
- β933Updated this week
- Aleo Educationβ254Updated 10 months ago
- Cairo is the first Turing-complete language for creating provable programs for general computation.β1,741Updated this week
- Testnet configurations and coordination for the Namada network.β340Updated last year
- Rust implementation of Ziesha protocolβ1,062Updated last year
- zkSync: trustless scaling and privacy engine for Ethereumβ4,901Updated 8 months ago
- An Omnichain Interoperability Protocolβ1,950Updated 10 months ago
- β791Updated this week
- Scroll zkEVM Playgroundβ688Updated this week
- β815Updated 9 months ago
- β409Updated last week
- Powers fast, private, decentralized applicationsβ1,983Updated last year
- This repository guides developers wanting to contribute to the Scroll ecosystem.β1,034Updated last year
- SP1 is a zeroβknowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.β1,302Updated this week
- DEPRECATED in favor of https://github.com/madara-alliance/madaraβ537Updated 8 months ago
- A Starknet full node written in Rustβ648Updated this week
- Contracts of official applications deployed by the core team to ZetaChain.β408Updated last month