ProvableHQ / snarkOSLinks
A Decentralized Operating System for ZK Applications
β4,488Updated 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,148Updated this week
- π¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applicationsβ4,797Updated this week
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacyβ2,517Updated last week
- Javascript & Typescript SDK for Zero-Knowledge Application Developmentβ615Updated this week
- Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.β6,409Updated last week
- Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by theβ¦β7,542Updated this week
- β2,824Updated this week
- A novel cryptocurrency focused on privacy and accessibility.β972Updated 4 months ago
- zkSync eraβ3,217Updated this week
- The Decentralized and Scaled Blockchainβ5,570Updated last month
- The Lens Protocolβ2,856Updated 3 months ago
- β11Updated 3 years ago
- β11Updated 3 years ago
- Cairo is the first Turing-complete language for creating provable programs for general computation.β1,854Updated this week
- zkSync: trustless scaling and privacy engine for Ethereumβ4,949Updated last year
- Zero Knowledge Protocol To Defend DeFi From Sybil Attacksβ11Updated 3 years ago
- β2,185Updated last year
- Taiko Alethia based rollup protocol π₯β4,584Updated this week
- Taho, the community owned and operated Web3 wallet.β3,189Updated 2 weeks ago
- VALIDATOR NODE TESTNETβ11Updated 2 years ago
- Optimism is Ethereum, scaled.β6,332Updated this week
- π Documentation for Leo π¦β331Updated last week
- β797Updated last week
- π³ The official Fuel wallet.β944Updated this week
- Celestia Data Availability Nodesβ987Updated last week
- Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by theβ¦β37Updated 2 years ago
- This repository guides developers wanting to contribute to the Scroll ecosystem.β1,034Updated last year
- Passport allows users to prove their identity through a secure, decentralized UIβ1,205Updated last week
- Official Go Implementation of the Quai Networkβ2,401Updated last week
- The Nexus zkVM: The zero-knowledge virtual machineβ2,576Updated last week