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