A Distributed Blockchain Model of Selfish Mining

Dennis Eijkel, Ansgar Fehnker*

*Corresponding author for this work

Research output: Contribution to conferencePaper

15 Downloads (Pure)


Bitcoin is still the most widely used cryptocurrency. A big part of Bitcoin’s appeal is that it maintains a distributed ledger for transactions known as the blockchain. Miners receive a fee for every block of transactions that they mine, and should expect a reward proportional to the computational power they provide to the network. Eyal and Sirer introduced seflish mining, a strategy timing the publication of blocks to give them a significant edge in profits. This paper models the behavior of honest and selfish mining pools in Uppaal, and analyses properties of the mining process in the presence of network delay. This shows what effects selfish mining would have on the share of profits, but also on
the number of orphaned blocks in the blockchain. This analysis allows us to compare those results to known results from literature and to real world data. This analysis shows that it is essential to take into account that there does not exist a single view of the blockchain.
Original languageEnglish
Publication statusPublished - 11 Oct 2019
Event1st Workshop on Formal Methods for Blockchains 2019 - Porto, Portugal
Duration: 11 Oct 201911 Oct 2019
Conference number: 1


Workshop1st Workshop on Formal Methods for Blockchains 2019
Abbreviated titleFMBC
Internet address

Fingerprint Dive into the research topics of 'A Distributed Blockchain Model of Selfish Mining'. Together they form a unique fingerprint.

  • Cite this

    Eijkel, D., & Fehnker, A. (2019). A Distributed Blockchain Model of Selfish Mining. 48-59. Paper presented at 1st Workshop on Formal Methods for Blockchains 2019, Porto, Portugal.