Foundations of Blockchains (addendum to Lecture 8.3)
Tim Roughgarden Lectures · 7:19
This addendum to Lecture 8 clarifies that the clean headline theorem — "a balanced leader sequence is sufficient for all the consistency and liveness properties of longest-chain consensus" — is slightly too good to be...