ProvableHQ / snarkOSLinks
A Decentralized Operating System for ZK Applications
β4,476Updated 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,142Updated this week
- π¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applicationsβ4,795Updated this week
- Javascript & Typescript SDK for Zero-Knowledge Application Developmentβ616Updated this week
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacyβ2,513Updated this week
- Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by theβ¦β7,455Updated last week
- zkSync eraβ3,215Updated this week
- β2,818Updated this week
- Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.β6,388Updated this week
- zkSync: trustless scaling and privacy engine for Ethereumβ4,940Updated last year
- Optimism is Ethereum, scaled.β6,286Updated this week
- π Documentation for Leo π¦β332Updated this week
- A novel cryptocurrency focused on privacy and accessibility.β978Updated 3 months ago
- Rust implementation of Ziesha protocolβ1,069Updated 2 years ago
- The Nexus zkVM: The zero-knowledge virtual machineβ2,559Updated last week
- Celestia Data Availability Nodesβ985Updated last week
- This repository guides developers wanting to contribute to the Scroll ecosystem.β1,035Updated last year
- VALIDATOR NODE TESTNETβ11Updated 2 years ago
- Zero Knowledge Protocol To Defend DeFi From Sybil Attacksβ11Updated 2 years ago
- Taiko Alethia based rollup protocol π₯β4,583Updated this week
- β2,182Updated last year
- β11Updated 3 years ago
- β11Updated 2 years ago
- Cairo is the first Turing-complete language for creating provable programs for general computation.β1,820Updated this week
- β795Updated last week
- Start your Taiko node with a single command. πβ1,131Updated 3 weeks ago
- Powers fast, private, decentralized applicationsβ2,003Updated 2 months ago
- An Omnichain Interoperability Protocolβ1,952Updated last year
- π A Starter Guide to Build ZK Applications πβ340Updated 11 months ago
- Aleo Tictactoeβ11Updated 2 years ago
- A Virtual Machine for Zero-Knowledge Executionsβ11Updated last year