A Temporal Blockchain: A Formal Analysis
bitter to better - how to make bitcoin a better currency .