4、区块链共识标准的建立

区块链共识标准的建立

1. 网络同步假设

在构建共识算法时，网络同步假设至关重要。部分同步假设会限制网络执行算法的速度。Honey Badger的作者指出，间歇性同步能更准确地模拟现实世界，明显优于部分同步。建议研究人员在构建共识算法时仅假设间歇性同步，不过部分同步在实践中仍可行。若算法需要部分同步之外的假设，作者应提供证据证明这些假设在任何网络或算法中都易于满足，并量化这些假设对网络速度或算法性能的影响。

在实际应用中，消息需在合理时间内到达，间歇性同步和部分同步之间没有显著差异。例如，在某些网络中，如PBFT在间歇性异步网络中可能会出现系统饥饿的情况，而Honey Badger仍能取得进展，但如果网络延迟过长，Honey Badger也会受到影响。

以下是不同算法的网络假设对比表格：
| 算法 | 网络假设 | 是否为标准特殊情况 | 与标准的差异 |
| — | — | — | — |
| Nakamoto | 无网络假设 | 否 | 无 |
| PBFT | 假设部分同步，使用独特定义，断言延迟函数delay(t)不会无限快于t增长 | 是 | 使用delay(t)函数非标准，但属于部分同步的特殊情况 |
| Gosig | 为保证安全性假设部分同步，自适应攻击在时间Δ延迟后生效；为保证活性，假设部分同步时钟 | 是 | 除部分同步外，还假设自适应攻击延迟时间Δ和部分同步时钟 |
| BoBW | 假设部分同步和锁步同步 | 是 | 假设验证者按固定时间轮次进行，任意两个验证者在共识中始终处于固定范围内，等价于部分同步时钟 |
| Ouroboros | 用非标准术语假设一种锁步形式，还假设强同步 |