Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems
The Bitcoin Backbone Protocol: Analysis and Applications