Proofs, Arguments, and Zero-Knowledge [pdf] | Hacker News Reader