Abstract
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.
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.
Original language | English |
---|---|
Title of host publication | Formal Methods - FM 2019 International Workshops |
Subtitle of host publication | Porto, Portugal, October 7–11, 2019 Revised Selected Papers, Part I |
Editors | Emil Sekerinski, Nelma Moreira, José N. Oliveira |
Place of Publication | Cham, Switzerland |
Publisher | Springer, Springer Nature |
Pages | 350-361 |
Number of pages | 12 |
ISBN (Electronic) | 9783030549947 |
ISBN (Print) | 9783030549930 |
DOIs | |
Publication status | Published - 2020 |
Externally published | Yes |
Event | Third World Congress on Formal Methods: Formal Methods Symposium - Porto, Portugal Duration: 7 Oct 2019 → 11 Oct 2019 Conference number: 23 http://formalmethods2019.inesctec.pt/ |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Publisher | Springer |
Volume | 12232 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | Third World Congress on Formal Methods |
---|---|
Country/Territory | Portugal |
City | Porto |
Period | 7/10/19 → 11/10/19 |
Internet address |
Keywords
- Bitcoin
- Bitcoin mining
- Selfish mining
- Uppaal