Foundations of Blockchains (Lecture 3.2: Proof of PSL-FLM impossibility)
Tim Roughgarden Lectures · 38:07
This video walks line-by-line through the Fischer–Lynch–Merritt "hexagon" proof that no deterministic protocol can solve Byzantine broadcast (satisfying both validity and agreement) when a third or more of the nodes a...