A Temporal Blockchain: A Formal Analysis
The Bitcoin Backbone Protocol: Analysis and Applications