3 ms·Snarky: A new programming language for verifiable computation31 points by ihm 9y agoaklarfeld 9y agoVery informative and exciting technology!