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.
| 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 |
| Publisher | Springer |
| Pages | 157-163 |
| Number of pages | 7 |
| ISBN (Electronic) | 978-3-319-77935-5 |
| ISBN (Print) | 978-3-319-77934-8 |
| DOIs | |
| Publication status | Published - 2018 |
| Event | 10th International Symposium on NASA Formal Methods 2018 - Newport News Marriott at City Center, Newport News, United States Duration: 17 Apr 2018 → 19 Apr 2018 Conference number: 10 https://shemesh.larc.nasa.gov/NFM2018/ |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer |
| Volume | 10811 |
| ISSN (Print) | 0302-9743 |
Conference
| Conference | 10th International Symposium on NASA Formal Methods 2018 |
|---|---|
| Abbreviated title | NFM 2018 |
| Country/Territory | United States |
| City | Newport News |
| Period | 17/04/18 → 19/04/18 |
| Internet address |