GitHub repository: krekhovetskyi/snarkOS
Description: A Decentralized Operating System for Zero-Knowledge Applications