Hacker News with Generative AI: Zero-Knowledge Proofs

Programming Zero Knowledge Proofs: From Zero to Hero (zkintro.com)
Nexus zkVM: Efficient, massively-parallel, zero-knowledge proving (nexus.xyz)