Foundations of Blockchains (Lecture 9.5: Extension to the Synchronous Model)
Tim Roughgarden Lectures · 43:11
This lecture removes the last unrealistic assumption (A5, instant communication) from the earlier proof-of-work longest-chain analysis, showing that Nakamoto consensus still delivers consistency and liveness in the ge...