ProvableHQ/snarkOS

**Brief Summary (2‑3 sentences)** ProvableHQ/snarkOS is an open‑source, Rust‑based decentralized operating system that powers zero‑knowledge (ZK) applications,