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