Quadratic memory reductions for Zero-knowledge Proofs | Dark Hacker News