Foundations of Blockchains (Lecture 8.5: The Common Prefix Property)
Tim Roughgarden Lectures · 27:47
This lecture proves the common prefix property of longest-chain consensus: if the leader sequence is (2K+2)-balanced — i.e. every window of ≥2K+2 consecutive leaders has a strict honest majority — then no two longest...