A Temporal Blockchain: A Formal Analysis
Secure High-Rate Transaction Processing in Bitcoin