Snarky – a high level language for verifiable computation | Hacker News Reader