Modelling proof-of-work agreement protocol by coloured Petri nets

【Author】 Proell, Birgit; Retschitzegger, Werner; Schwinger, Wieland; Shmeleva, Tatiana R.; Zaitsev, Dmitry A.

【Source】INTERNATIONAL JOURNAL OF PARALLEL EMERGENT AND DISTRIBUTED SYSTEMS

【影响因子】0.000

【Abstract】Proof-of-work agreement protocol, offered by Keller and Bohme, is analysed by coloured Petri nets and refined. Blockchain technology, based on proof-of-work procedure and Nakomoto consensus negotiations, represents fundamentals of many kinds of cryptocurrency widespread recently. The protocol, called A(k), works in continuous time which is simulated using random exponential distribution function of CPN Tools system, obtained values rounded to map them into discrete time of a coloured Petri net. Hierarchical model consists of an environment subnet and a given number of nodes communicating via an unstructured network represented by a single place; the model of node is further structured based on event handlers of the protocol source specification such as initialisation, activation, message delivering, and termination condition check. Based on the simulation results, modifications of the protocol and its parameters are recommended which improve some imperfections of the protocol. [GRAPHICS]

【Keywords】Blockchain; consensus; proof-of-work; refinement; coloured Petri net

【发表时间】

【收录时间】2022-09-06

【文献类型】实验仿真

【主题类别】

区块链技术-核心技术-共识机制