ProvableHQ / snarkOS
A Decentralized Operating System for ZK Applications
β4,428Updated 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,109Updated this week
- Javascript & Typescript SDK for Zero-Knowledge Application Developmentβ599Updated this week
- π¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applicationsβ4,823Updated this week
- β2,758Updated this week
- zkSync: trustless scaling and privacy engine for Ethereumβ4,904Updated 8 months ago
- zkSync eraβ3,162Updated this week
- Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by theβ¦β6,742Updated this week
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacyβ2,467Updated this week
- β2,191Updated 8 months ago
- Powers fast, private, decentralized applicationsβ1,982Updated last year
- Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.β6,264Updated this week
- The Decentralized and Scaled Blockchainβ5,574Updated this week
- π Documentation for Leo π¦β326Updated last week
- π A Starter Guide to Build ZK Applications πβ336Updated 3 months ago
- The Lens Protocolβ2,815Updated 9 months ago
- Taiko Alethia based rollup protocol π₯β4,544Updated this week
- Celestia Data Availability Nodesβ963Updated this week
- Optimism is Ethereum, scaled.β6,014Updated this week
- The Nexus zkVM: The zero-knowledge virtual machineβ2,352Updated last week
- Taho, the community owned and operated Web3 wallet.β3,145Updated this week
- ποΈ A curated list of Aleo & Leo code and resources ποΈβ369Updated this week
- Galex automatic.β10Updated last year
- Start your Taiko node with a single command. πβ1,138Updated last week
- A reference implementation for the Wormhole blockchain interoperability protocol.β1,743Updated last week
- β791Updated this week
- Rust implementation of Ziesha protocolβ1,063Updated last year
- An Omnichain Interoperability Protocolβ1,950Updated 9 months ago
- Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.β1,002Updated 2 months ago
- Scroll's Monorepoβ730Updated this week
- A tool for token-curated communities.β3,417Updated this week