A distributed blockchain model of selfish mining

Bitcoin, still the most widely used cryptocurrency maintains a distributed ledger for transactions known as the blockchain. Miners should expect a reward proportional to the computational power they provide to the network. Eyal and Sirer introduced seflish mining, a strategy gives a significant edge in profits. This paper models the behaviour of honest and selfish mining pools in Uppaal. Unlike earlier models in literature, it does not assume a single view of the blockchain but does include the presence of network delay. Results for our model show the effects of selfish mining on the share of profits, but more importantly the outwards observable effect on the number of orphaned blocks. This paper compares the analysis results to known results from literature and real-world data