Foundations of Blockchains (Lecture 8.6: Finality)
Tim Roughgarden Lectures · 12:05
This lecture segment proves Theorem 2 (finality) for longest-chain consensus: if the leader sequence is 2K-balanced (in any window of ≥W consecutive leaders, a strict majority is honest), then once a block sits on the...