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