Hacker News new | ask | show | jobs
Snarky – a high level language for verifiable computation (blockchain.works-hub.com)
7 points by block_chain_ 2992 days ago