论区块链中的最终性

区块链最终性条件存在多种形式，从确定性终止到概率性终止不一而足。为在面临网络分区时优先保障可用性而非一致性，大多数区块链仅提供概率性最终最终性：区块在被追加到区块链后可能被撤销，但随着其在链中不断加深，被撤销的概率递减。其他区块链则通过利用共识的即时最终性——被追加的区块永不被撤销——来优先保障一致性，代价是额外的同步开销。本文关注实现具有确定性最终最终性的区块链的必要与充分条件，该条件确保不同进程上选定的主链共享一个不断增长的公共前缀。这是一种弱得多的最终性形式，使我们能够在承受无限数量拜占庭故障的异步系统中提供解决方案。我们也研究了更强形式的最终最终性，并证明不幸的是无法提供有界位移。所谓有界位移，是指可从当前区块链撤销的（未知）区块数量是有限的。该问题可归约为共识或最终共识，取决于该界是否已知。我们还表明，诸如比特币中采用的、在最长链上追加区块的经典选择机制，并不符合最终最终性的解决方案。