Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems
Analysis of the Blockchain Protocol in Asynchronous Networks