Abstract

Multi-party agreements are used in distributed ledger systems and blockchain networks to reach an agreement on changes in the system. When one of the network participants proposes a transaction to be recorded, it should be first confirmed by certain network participants. A multi-party agreement or consensus determines who exactly these participants are. Based on the historical data set, one can calculate the transaction confirmation probability for each of the participants. In this work, a method of statistical model checking is proposed to determine the probability that the consensus is reached. Sending confirmation requests may require extra costs. In addition to the stated probability, the mathematical expectation of the number of messages received before reaching a consensus is calculated. A consensus model or several consensus models are given in the form of a Markov chain with various message sending strategies. Based on the construction algorithms for the model and specification, a tool that analyzes consensus and sends confirmation messages is developed.

中文翻译：

---

分布式账本系统中多方协议的自动验证和发送消息的调度

摘要

多方协议用于分布式账本系统和区块链网络，以就系统的变更达成一致。当网络参与者之一提议记录一笔交易时，应首先得到某些网络参与者的确认。多方协议或共识决定了这些参与者到底是谁。根据历史数据集，可以计算每个参与者的交易确认概率。在这项工作中，提出了一种统计模型检查的方法来确定达成共识的概率。发送确认请求可能需要额外费用。除了规定的概率之外，还会计算达成共识之前收到的消息数量的数学期望。以马尔可夫链的形式给出一个或多个共识模型，并具有各种消息发送策略。基于模型和规范的构建算法，开发了分析共识和发送确认消息的工具。