Analysis of Bitcoin fork by colored Petri nets
Conference paper
Authors | Zhou, Z., Liu, D., Shmeleva, T.R. and Zaitsev, D. |
---|---|
Type | Conference paper |
Abstract | Bitcoin is under the threat of fork since it operates with a distributed ledger. Predicting the fork probability in advance is beneficial for taking early action to avoid malicious attacks. In this study, we compose a colored Petri net model of Bitcoin. Our model consists of a given number of nodes, and each node has five subpages representing the node structure: proof of work, broadcast blocks, verify blocks, and the process of adding blocks to blockchain, respectively. Simulation results of fork probability can be easily obtained and analyzed by observing the data in the measuring components of subpages. The results show that our model correctly simulates the fork probability: on recent Bitcoin data, compared with the results of the wide-known SimBlock simulator, a difference of some 4.3% has been obtained. Thus, taking into account vivid graphical representation, our model has certain advantages for the developing techniques of attack avoidance. |
Keywords | Bitcoin; blockchain; colored Petri net; simulation; fork |
Year | 2024 |
Conference | 2024 IEEE International Conference on Systems, Man, and Cybernetics (SMC) |
Publisher | IEEE |
Digital Object Identifier (DOI) | https://doi.org/10.1109/SMC54092.2024.10831492 |
Web address (URL) | https://ieeexplore.ieee.org/document/10831492 |
Publisher's version | File Access Level Restricted |
Journal citation | pp. 4291-4296 |
ISBN | 9781665410205 |
Web address (URL) of conference proceedings | https://www.ieeesmc2024.org/home |
Output status | Published |
Publication dates | 20 Jan 2025 |
Publication process dates | |
Deposited | 31 Mar 2025 |
https://repository.derby.ac.uk/item/qw19w/analysis-of-bitcoin-fork-by-colored-petri-nets
4
total views2
total downloads0
views this month0
downloads this month