A Decentralized Operating System for ZK Applications
☆4,523Apr 5, 2026Updated this week
Alternatives and similar repositories for snarkOS
Users that are interested in snarkOS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A zkVM for Decentralized Private Computations (DPC)☆1,156Updated this week
- Javascript & Typescript SDK for Zero-Knowledge Application Development☆627Apr 4, 2026Updated last week
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆4,803Apr 4, 2026Updated last week
- Aleo Request for Comments (ARCs)☆232Mar 27, 2026Updated 2 weeks ago
- 📜 A Starter Guide to Build ZK Applications 📜☆341Dec 17, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 📄 Documentation for Leo 🦁☆331Apr 1, 2026Updated last week
- A Setup Ceremony for Universal SNARKs☆84Jun 16, 2024Updated last year
- 🏎️ A curated list of Aleo & Leo code and resources 🏎️☆391Sep 6, 2025Updated 7 months ago
- Aleo Education☆257Jun 18, 2024Updated last year
- Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the…☆7,651Apr 4, 2026Updated last week
- Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.☆6,441Updated this week
- Light standalone prover☆152Oct 12, 2024Updated last year
- zk-SNARK library.☆1,118Feb 25, 2026Updated last month
- zkSync: trustless scaling and privacy engine for Ethereum☆4,936Mar 19, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust☆5,503Updated this week
- ☆2,841Updated this week
- Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.☆14,849Jan 22, 2025Updated last year
- RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.☆2,118Updated this week
- Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy☆2,528Apr 3, 2026Updated last week
- Optimism is Ethereum, scaled.☆6,411Updated this week
- A novel cryptocurrency focused on privacy and accessibility.☆969Aug 12, 2025Updated 7 months ago
- zkSync era☆3,241Updated this week
- ☆2,337May 4, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Substrate: The platform for blockchain innovators☆8,423Sep 25, 2023Updated 2 years ago
- The Rust Implementation of the libp2p networking stack.☆5,470Updated this week
- Run Anything☆9,716Mar 28, 2026Updated 2 weeks ago
- Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.☆10,254Updated this week
- ☆34Mar 12, 2024Updated 2 years ago
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆17,847Updated this week
- ☆796Apr 3, 2026Updated last week
- Ethereum consensus client in Rust☆3,429Apr 3, 2026Updated last week
- SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.☆1,629Apr 4, 2026Updated last week
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Cairo is the first Turing-complete language for creating provable programs for general computation.☆1,880Updated this week
- All Algorithms implemented in Rust☆25,626Mar 31, 2026Updated last week
- A native gRPC client & server implementation with async/await support.☆11,956Updated this week
- A Rust library for the Marlin preprocessing zkSNARK☆324Jan 18, 2024Updated 2 years ago
- Quick start setup guide for EigenDA☆80Feb 20, 2026Updated last month
- Event streaming platform for agents, apps, and analytics. Continuously ingest, transform, and serve event data in real time, at scale.☆8,914Updated this week
- A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...☆31,635Updated this week