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