Generating Zero-Knowledge Proofs in Sublinear Space | Hacker News Reader