Snarky: A new programming language for verifiable computationo1labs.org31 points·ihm··1 commentOpen articleSaveView on HN