Modelling blockchain protocols: Consensus and fee markets

Barnabé Monnot