Blockchain abbreviation: Implemented by message passing and shared memory (Extended abstract)
The Bitcoin Backbone Protocol: Analysis and Applications