ProvableHQ / snarkOSLinks
A Decentralized Operating System for ZK Applications
☆4,446Updated 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,117Updated this week
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,828Updated this week
- Javascript & Typescript SDK for Zero-Knowledge Application Development☆607Updated last week
- Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the…☆7,026Updated this week
- Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.☆6,315Updated this week
- ☆2,783Updated this week
- zkSync: trustless scaling and privacy engine for Ethereum☆4,910Updated 10 months ago
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,483Updated this week
- zkSync era☆3,178Updated this week
- Taiko Alethia based rollup protocol 🥁☆4,551Updated this week
- A reference implementation for the Wormhole blockchain interoperability protocol.☆1,781Updated this week
- 📄 Documentation for Leo 🦁☆327Updated this week
- Evmos is the canonical EVM chain on Cosmos. Evmos is the flagship implementation of evmOS, a stack to build forward compatible EVMs☆1,701Updated 2 months ago
- Taho, the community owned and operated Web3 wallet.☆3,160Updated last month
- Optimism is Ethereum, scaled.☆6,117Updated this week
- An Omnichain Interoperability Protocol☆1,955Updated last year
- The Lens Protocol☆2,828Updated last year
- 📜 A Starter Guide to Build ZK Applications 📜☆336Updated 6 months ago
- This repository guides developers wanting to contribute to the Scroll ecosystem.☆1,042Updated last year
- Official Go Implementation of the Quai Network☆2,399Updated last month
- ☆2,188Updated 11 months ago
- Ethermint is a Cosmos SDK library for running scalable and interoperable EVM chains☆1,830Updated last year
- JavaScript library for StarkNet☆1,242Updated this week
- The Decentralized and Scaled Blockchain☆5,576Updated this week
- A novel cryptocurrency focused on privacy and accessibility.☆978Updated 3 months ago
- 💳 The official Fuel wallet.☆939Updated this week
- Cairo is the first Turing-complete language for creating provable programs for general computation.☆1,765Updated this week
- 🏎️ A curated list of Aleo & Leo code and resources 🏎️☆378Updated 3 weeks ago
- Rust implementation of Ziesha protocol☆1,068Updated last year
- an open media-sharing platform.☆4,455Updated 2 weeks ago