GitHub repository: AleoHQ/snarkOS
Description: A Decentralized Operating System for ZK Applications