ProvableHQ / snarkVM
A Virtual Machine for Zero-Knowledge Executions
☆1,089Updated 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☆595Updated this week
- A Decentralized Operating System for ZK Applications☆4,386Updated this week
- 👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀☆325Updated 4 months ago
- 📜 A Starter Guide to Build ZK Applications 📜☆333Updated last month
- Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.☆1,001Updated last week
- zkSync era☆3,138Updated this week
- 🏎️ A curated list of Aleo & Leo code and resources 🏎️☆366Updated last month
- ☆2,747Updated this week
- ☆787Updated this week
- Celestia Data Availability Nodes☆950Updated this week
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,449Updated this week
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,800Updated last week
- ☆2,191Updated 5 months ago
- Scroll's Monorepo☆724Updated this week
- Aleo Request for Comments (ARCs)☆220Updated 5 months ago
- The main repo for starknet.io☆636Updated 5 months ago
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,035Updated 10 months ago
- Rust implementation of Ziesha protocol☆1,064Updated last year
- ☆931Updated last month
- Aleo Education☆251Updated 6 months ago
- Mastering Starknet. By the Starknet community☆821Updated 6 months ago
- An Omnichain Interoperability Protocol☆1,955Updated 6 months ago
- zkSync: trustless scaling and privacy engine for Ethereum☆4,906Updated 5 months ago
- Testnet configurations and coordination for the Namada network.☆342Updated 10 months ago
- A registry for RollApps☆306Updated 6 months ago
- A Starknet full node written in Rust☆637Updated this week
- Subspace Protocol reference implementation☆390Updated this week
- ⛽ The Fuel toolchain installer☆284Updated this week
- Cairo is the first Turing-complete language for creating provable programs for general computation.☆1,665Updated this week