snarkOS is a decentralized operating system for zero-knowledge applications, forming the backbone of...