Foundations of Blockchains (Lecture 7.4: Proof of Liveness)
Tim Roughgarden Lectures · 34:35
This lecture segment completes the formal proof that the Tendermint consensus protocol is eventually live in the partially synchronous model: after global stabilization time (GST), any transaction known to all honest...