Blockchain and Consensus from Proofs of Work without Random Oracles
The Bitcoin Backbone Protocol with Chains of Variable Difficulty