ProvableHQ / snarkOS
A Decentralized Operating System for ZK Applications
β4,438Updated 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,115Updated this week
- Javascript & Typescript SDK for Zero-Knowledge Application Developmentβ604Updated this week
- π¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applicationsβ4,826Updated this week
- Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by theβ¦β6,898Updated this week
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacyβ2,477Updated this week
- β2,773Updated this week
- zkSync eraβ3,174Updated this week
- π Documentation for Leo π¦β327Updated last week
- A novel cryptocurrency focused on privacy and accessibility.β977Updated 2 months ago
- π A Starter Guide to Build ZK Applications πβ337Updated 4 months ago
- Cairo is the first Turing-complete language for creating provable programs for general computation.β1,748Updated this week
- β2,188Updated 9 months ago
- The Decentralized and Scaled Blockchainβ5,572Updated last week
- zkSync: trustless scaling and privacy engine for Ethereumβ4,901Updated 9 months ago
- Zero Knowledge Protocol To Defend DeFi From Sybil Attacksβ11Updated 2 years ago
- ποΈ A curated list of Aleo & Leo code and resources ποΈβ372Updated last month
- VALIDATOR NODE TESTNETβ11Updated 2 years ago
- Optimism is Ethereum, scaled.β6,065Updated this week
- Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.β6,286Updated this week
- β11Updated 2 years ago
- β11Updated 2 years ago
- Taiko Alethia based rollup protocol π₯β4,549Updated this week
- π³ The official Fuel wallet.β940Updated this week
- Celestia Data Availability Nodesβ963Updated this week
- The Nexus zkVM: The zero-knowledge virtual machineβ2,422Updated 2 weeks ago
- Galex automatic.β10Updated last year
- Taho, the community owned and operated Web3 wallet.β3,148Updated last month
- Powers fast, private, decentralized applicationsβ1,985Updated last year
- Aleo Request for Comments (ARCs)β222Updated this week
- An Omnichain Interoperability Protocolβ1,951Updated 10 months ago