G github.com SnarkOS: A decentralized operating system for zero-knowledge applications 64 points nateb2022 3 years ago 16 comments