💻 snarkOS Latest Release

A Decentralized Operating System for ZK Applications

Server / Container Project 4,526 stars
Docs Skills Release
No Standalone Desktop App (.exe / .dmg) Detected

ProvableHQ/snarkOS is engineered as a server, cloud service, or developer package. It is primarily deployed via Docker containers or package managers rather than a single desktop executable.

Full Documentation
Explore setup instructions, configuration flags, and API specs.
Browse Desktop Apps
Discover verified standalone software and installable tools.
Quick Terminal & Package Manager Commands
brew install snarkOS