lean Ethereum Part 3: Security of PQ SNARKs and an update about the Proximity Prize - Zero Knowledge | Wave AI Podcast Notes