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