异步网络中的区块链协议分析 摘要 中本聪区块链协议介绍（略）。 分析区块链共识协议是众所周知的困难工作。先前的分析工作不是做简单假设（网络通道完全同步——消息立即传送，无延时），就是只考虑具体攻击。此外，据我们所知，他们没有任何人处理玩家加入或退出协议。 本论文我们证明区块链共识机制在一个有对抗延时（是先验边界）的异步网络满足强形式的一致性和活跃性，里面有一个允许自适应腐败和产生新玩家的正