ProvableHQ / snarkOS
A Decentralized Operating System for ZK Applications
☆4,404Updated this week
Alternatives and similar repositories for snarkOS:
Users that are interested in snarkOS are comparing it to the libraries listed below
- A zkVM for Decentralized Private Computations (DPC)☆1,099Updated this week
- Javascript & Typescript SDK for Zero-Knowledge Application Development☆595Updated this week
- A novel cryptocurrency focused on privacy and accessibility.☆972Updated this week
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,810Updated this week
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,460Updated this week
- ☆2,760Updated this week
- 📄 Documentation for Leo 🦁☆325Updated this week
- The Decentralized and Scaled Blockchain☆5,574Updated this week
- Taho, the community owned and operated Web3 wallet.☆3,136Updated this week
- Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.☆6,231Updated this week
- Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the…☆6,638Updated this week
- Optimism is Ethereum, scaled.☆5,951Updated this week
- The Lens Protocol☆2,780Updated 8 months ago
- 📜 A Starter Guide to Build ZK Applications 📜☆336Updated 2 months ago
- Rust implementation of Ziesha protocol☆1,064Updated last year
- Owshen rewards and airdrops☆661Updated 4 months ago
- JavaScript library for StarkNet☆1,232Updated this week
- zkSync: trustless scaling and privacy engine for Ethereum☆4,910Updated 6 months ago
- zkSync era☆3,150Updated this week
- Official Go Implementation of the Quai Network☆2,394Updated this week
- An innovative Blockchain Protocol Platform, which everyone can deploy their own applications quickly and easily, such as Dapp, DeFi, DAO,…☆7,872Updated 3 months ago
- 🏎️ A curated list of Aleo & Leo code and resources 🏎️☆369Updated 2 months ago
- ☆2,189Updated 6 months ago
- Start your Taiko node with a single command. 🌐☆1,137Updated this week
- Scroll's Monorepo☆728Updated this week
- Taiko Alethia based rollup protocol 🥁 🌸☆4,543Updated this week
- ☆968Updated last month
- Powers fast, private, decentralized applications☆1,983Updated last year
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,033Updated 11 months ago
- Cairo is the first Turing-complete language for creating provable programs for general computation.☆1,701Updated this week