Blockchain and Consensus from Proofs of Work without Random Oracles
The Bitcoin Backbone Protocol: Analysis and Applications