Abstract
Bitcoin is a distributed online payment system that organises transactions into blocks. The size of blocks is limited to 1 megabyte, which also limits the number of transactions per second that can be confirmed. This year several attempts have been made to create a fork or a split that removes this restriction. One such alternative is Bitcoin Unlimited (BTU). Proponents of BTU have suggested to use a type of majority attack to force other Bitcoin miners to adopt BTU.
In this paper we model this attack in Uppaal, and analyse how long it will take for an attack to succeed, depending on the share the attacker has of the total network, and the so-called confirmation depth. The analysis shows that with a share of 20% an attack will be successful within a few days. This paper also looks at the effect of increasing the confirmation depth as a countermeasure.
In this paper we model this attack in Uppaal, and analyse how long it will take for an attack to succeed, depending on the share the attacker has of the total network, and the so-called confirmation depth. The analysis shows that with a share of 20% an attack will be successful within a few days. This paper also looks at the effect of increasing the confirmation depth as a countermeasure.
Original language | English |
---|---|
Title of host publication | NASA Formal Methods |
Subtitle of host publication | 10th International Symposium, NFM 2018 Newport News, VA, USA, April 17–19, 2018 Proceedings |
Editors | Aaron Dutle, César Muñoz, Anthony Narkawicz |
Place of Publication | Cham, Switzerland |
Publisher | Springer, Springer Nature |
Pages | 157-163 |
Number of pages | 7 |
ISBN (Electronic) | 9783319779355 |
ISBN (Print) | 9783319779348 |
DOIs | |
Publication status | Published - 2018 |
Externally published | Yes |
Event | 10th International Symposium on NASA Formal Methods 2018, NFM 2018 - Newport News, United States Duration: 17 Apr 2018 → 19 Apr 2018 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 10811 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 10th International Symposium on NASA Formal Methods 2018, NFM 2018 |
---|---|
Country/Territory | United States |
City | Newport News |
Period | 17/04/18 → 19/04/18 |