Snarky: A high-level language for verifiable computationblockchain.works-hub.com1 point·edwintorok··0 commentsOpen articleSaveView on HN