Foundations of Blockchains (Lecture 8.7: Liveness and Chain Quality)
Tim Roughgarden Lectures · 23:57
Longest-chain consensus satisfies liveness under a balanced leader sequence: any transaction known to all honest nodes eventually lands in a block that is finalized (K-deep on the longest chain), and the stronger "cha...