Cryptocurrencies without Proof of Work
The Bitcoin Backbone Protocol: Analysis and Applications