Foundations of Blockchains (Lecture 4.6: An Initial Ambiguous Configuration)
Tim Roughgarden Lectures · 14:48
This lecture proves Lemma 1 of the FLP impossibility proof: for any allegedly correct deterministic Byzantine agreement protocol π in the asynchronous model (with f=1), there always exists an initial configuration tha...