
lean Ethereum Part 3: Security of PQ SNARKs and an update about the Proximity Prize
Zero Knowledge
00:00
Johnson Bound, Capacity, and Unknown Region
They explain prior knowledge: security provable below Johnson bound, broken above capacity, and ambiguity in between.
Play episode from 14:35
Transcript


