Foundations of Blockchains (Lecture 5.1: Reducing The FLP Impossibility Theorem to Two Lemmas)
Tim Roughgarden Lectures · 26:25
This lecture completes the setup for the FLP impossibility proof: it recaps Lemma 1 (there's always an ambiguous starting configuration) and then states Lemma 2 — the "inductive step" that lets you extend an infinite...