ProvableHQ / snarkOSLinks
A Decentralized Operating System for ZK Applications
☆4,482Updated this week
Alternatives and similar repositories for snarkOS
Users that are interested in snarkOS are comparing it to the libraries listed below
Sorting:
- A zkVM for Decentralized Private Computations (DPC)☆1,147Updated this week
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,796Updated this week
- Javascript & Typescript SDK for Zero-Knowledge Application Development☆616Updated this week
- Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the…☆7,495Updated this week
- Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.☆6,404Updated this week
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,517Updated this week
- The Nexus zkVM: The zero-knowledge virtual machine☆2,569Updated 2 weeks ago
- Optimism is Ethereum, scaled.☆6,303Updated this week
- zkSync era☆3,217Updated this week
- ☆2,819Updated this week
- Powers fast, private, decentralized applications☆2,002Updated 2 months ago
- zkSync: trustless scaling and privacy engine for Ethereum☆4,942Updated last year
- 📄 Documentation for Leo 🦁☆332Updated this week
- ☆11Updated 3 years ago
- ☆11Updated 3 years ago
- Zero Knowledge Protocol To Defend DeFi From Sybil Attacks☆11Updated 2 years ago
- VALIDATOR NODE TESTNET☆11Updated 2 years ago
- A novel cryptocurrency focused on privacy and accessibility.☆974Updated 3 months ago
- ☆2,186Updated last year
- Start your Taiko node with a single command. 🌐☆1,129Updated last week
- The Lens Protocol☆2,852Updated 2 months ago
- Taho, the community owned and operated Web3 wallet.☆3,182Updated this week
- Taiko Alethia based rollup protocol 🥁☆4,581Updated this week
- 🏎️ A curated list of Aleo & Leo code and resources 🏎️☆387Updated 3 months ago
- An Omnichain Interoperability Protocol☆1,953Updated last year
- Cairo is the first Turing-complete language for creating provable programs for general computation.☆1,845Updated this week
- Passport allows users to prove their identity through a secure, decentralized UI☆1,204Updated this week
- Celestia Data Availability Nodes☆985Updated last week
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,035Updated last year
- 💳 The official Fuel wallet.☆943Updated this week