Foundations of Blockchains (Lecture 9.6: An Impossibility Result for Proof-of-Work Protocols)
Tim Roughgarden Lectures · 15:20
This lecture video proves a formal impossibility result: any proof-of-work blockchain must choose between liveness in the synchronous setting and consistency in the partially synchronous setting — it cannot have both,...