lean Ethereum Part 3: Security of PQ SNARKs and an update about the Proximity Prize

Zero Knowledge - lean Ethereum Part 3: Security of PQ SNARKs and an update about the Proximity Prize