Quadratic memory reductions for Zero-knowledge Proofs | Not Hacker News!