ProvableHQ / snarkOSLinks
A Decentralized Operating System for ZK Applications
☆4,498Updated 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
- Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the…☆7,572Updated last week
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,802Updated this week
- Javascript & Typescript SDK for Zero-Knowledge Application Development☆616Updated this week
- Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.☆6,425Updated this week
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,520Updated this week
- ☆2,829Updated this week
- zkSync era☆3,223Updated this week
- zkSync: trustless scaling and privacy engine for Ethereum☆4,949Updated last year
- A novel cryptocurrency focused on privacy and accessibility.☆971Updated 5 months ago
- Cairo is the first Turing-complete language for creating provable programs for general computation.☆1,865Updated this week
- Powers fast, private, decentralized applications☆2,006Updated 4 months ago
- 📄 Documentation for Leo 🦁☆331Updated last week
- Celestia Data Availability Nodes☆990Updated last week
- VALIDATOR NODE TESTNET☆11Updated 2 years ago
- Light standalone prover☆11Updated last year
- ☆11Updated 3 years ago
- ☆11Updated 3 years ago
- Optimism is Ethereum, scaled.☆6,340Updated this week
- ☆797Updated this week
- Zero Knowledge Protocol To Defend DeFi From Sybil Attacks☆11Updated 3 years ago
- Aleo Education☆11Updated last year
- A Decentralized Operating System for ZK Applications☆11Updated last year
- ☆11Updated last month
- 🏎️ A curated list of Aleo & Leo code and resources 🏎️☆11Updated last year
- The Decentralized and Scaled Blockchain☆11Updated 2 years ago
- Aleo Request for Comments (ARCs)☆11Updated last year
- Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the…☆11Updated 2 years ago
- Aleo Tictactoe☆11Updated 2 years ago
- A Virtual Machine for Zero-Knowledge Executions☆11Updated last year