Snarky: A high-level language for verifiable computationo1labs.org3 points·jackgavigan··0 commentsOpen articleSaveView on HN