Snarky: A new programming language for verifiable computation (o1labs.org) 31 points by ihm 8y ago ↗ HN
1 comment
[ 2.7 ms ] story [ 9.6 ms ] thread