异步网络中区块链一致性分析：推导一个简洁界

区块链协议的形式化分析近来受到广泛关注。中本聪区块链协议的一致性结果常以量 $c$ 表示，其含义为某个区块被挖出前预期的网络延迟次数。令 $\mu$（相应地，$\nu$）表示诚实矿工（相应地，敌手）所控制的计算能力比例，其中 $\mu + \nu = 1$，我们首次证明：为确保异步网络中本聪区块链协议的一致性性质，只需使 $c$ 略大于 $\frac{2\mu}{\ln (\mu/\nu)}$。该结果比现有结果更简洁且更强。在证明中，我们构建了刻画不同轮次中已挖出区块数的新颖马尔可夫链。