ProvableHQ / snarkOSLinks
A Decentralized Operating System for ZK Applications
β4,462Updated 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,131Updated this week
- π¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applicationsβ4,793Updated this week
- Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by theβ¦β7,283Updated this week
- Javascript & Typescript SDK for Zero-Knowledge Application Developmentβ613Updated this week
- Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.β6,343Updated this week
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacyβ2,501Updated last week
- β2,804Updated this week
- A novel cryptocurrency focused on privacy and accessibility.β976Updated 2 weeks ago
- zkSync eraβ3,192Updated this week
- Zero Knowledge Protocol To Defend DeFi From Sybil Attacksβ11Updated 2 years ago
- The Nexus zkVM: The zero-knowledge virtual machineβ2,503Updated this week
- zkSync: trustless scaling and privacy engine for Ethereumβ4,918Updated last year
- VALIDATOR NODE TESTNETβ11Updated 2 years ago
- Rust implementation of Ziesha protocolβ1,068Updated last year
- β11Updated 2 years ago
- β11Updated 2 years ago
- β2,184Updated last year
- π Documentation for Leo π¦β328Updated this week
- Cairo is the first Turing-complete language for creating provable programs for general computation.β1,792Updated this week
- The Decentralized and Scaled Blockchainβ5,569Updated 3 weeks ago
- Optimism is Ethereum, scaled.β6,160Updated this week
- Celestia Data Availability Nodesβ976Updated this week
- A reference implementation for the Wormhole blockchain interoperability protocol.β1,814Updated this week
- Light standalone proverβ11Updated last year
- Aleo Educationβ11Updated last year
- ποΈ A curated list of Aleo & Leo code and resources ποΈβ11Updated last year
- β11Updated 6 months ago
- A Decentralized Operating System for ZK Applicationsβ11Updated last year
- Aleo Request for Comments (ARCs)β11Updated last year
- The Decentralized and Scaled Blockchainβ11Updated last year