[论文解读] IBFT 2.0: A Safe and Live Variation of the IBFT Blockchain Consensus Protocol for Eventually Synchronous Networks

Roberto Saltini, David Hyland-Wood|arXiv (Cornell University)|Sep 23, 2019

Distributed systems and fault tolerance参考文献 10被引用 20

一句话总结

IBFT 2.0 是一种适用于联盟区块链的拜占庭容错、权威证明共识协议，可确保即时终局性，在最终同步网络中安全且活跃运行，并支持动态验证者集合。它通过改进消息认证、在区块哈希中实现与轮次编号的独立性以及优化签名聚合，解决了原始 IBFT 协议的安全性和活跃性问题，在对抗性条件下实现了稳健的终局性。

ABSTRACT

In this work, we present IBFT 2.0 (Istanbul BFT 2.0), which is a Proof-of-Authority (PoA) Byzantine-fault-tolerant (BFT) blockchain consensus protocols that (i) ensures immediate finality, (ii) is robust in an eventually synchronous network model and (iii) features a dynamic validator set. IBFT 2.0, as the name suggests, builds upon the IBFT blockchain consensus protocol retaining all of the original features while addressing the safety and liveness limitations described in one of our previous works. In this paper, we present a high-level description of the IBFT 2.0 protocol and related robustness proof. Formal specification of the protocol and related formal proofs will be subject of a separate body of work. We also envision a separate work that will provide detailed implementation specifications for IBFT 2.0.

研究动机与目标

• 解决原始 IBFT 协议在最终同步网络条件下存在的安全性和活跃性漏洞。
• 在权威证明（PoA）区块链环境中维持即时终局性并支持动态验证者集合。
• 形式化一种对拜占庭故障具有鲁棒性的共识机制，同时最小化消息开销并提升效率。
• 通过基于法定人数的证书和聚合签名，实现安全高效的区块终局化。
• 将区块哈希与轮次编号解耦，以提升语义清晰度和终局正确性。

提出的方法

• 该协议采用基于法定人数的机制，要求至少 2f+1 个验证者就一个区块达成一致才能完成终局，即使存在 f 个拜占庭验证者，也能确保安全性。
• 引入 Prepared-Certificate，仅包含必要元数据——轮次编号、区块哈希、提议签名以及 Prepare 消息签名，减少冗余。
• 通过从密码学签名和元数据重建消息内容，从 Prepared-Certificate 中移除重复的消息体，提升效率。
• 采用聚合签名方案，将多个 Prepare 消息签名压缩为单个签名，减少证书大小。
• 区块哈希仅基于以太坊区块计算，不包含轮次编号，以契合终局化目标——即终局化区块而非特定轮次的提议，提升语义一致性。
• 通过验证者提供的 Quorum(nh) 提交封印构建终局证明，仅当所有封印针对同一轮次编号时，才能保证一致性。

实验结果

研究问题

• RQ1 在最终同步网络中，PoA BFT 共识协议能否同时实现安全性和活跃性，并确保即时终局性？
• RQ2 如何优化消息认证以减少冗余并提升效率，同时不损害安全性？
• RQ3 将区块哈希与轮次编号解耦对终局化的正确性和鲁棒性有何影响？
• RQ4 聚合签名能否有效减小 Prepared-Certificate 的大小，同时保持可验证性和完整性？
• RQ5 如何在不损害安全或活跃性保证的前提下，在 BFT 协议中支持动态验证者集合？

主要发现

• 协议通过要求至少 2f+1 个提交封印（commit seals）来完成区块终局化，实现即时终局性，确保无法发生区块重组。
• 使用仅包含必要元数据的 Prepared-Certificate 减少了消息膨胀，提升了可扩展性，同时不损害安全性。
• 通过从区块哈希计算中移除轮次编号，协议与终局化的目标保持一致——即终局化区块本身，而非特定轮次的提议，从而提升了正确性。
• 聚合签名通过将 Quorum(nh)−1 个独立签名替换为单个聚合签名，显著减小了 Prepared-Certificate 的大小，大幅提升了带宽效率。
• 协议通过确保诚实验证者在存在拜占庭行为时仍能通过法定人数交集达成一致，从而在最终同步网络中维持安全性和活跃性。
• 形式化分析证实，在给定假设下，诚实验证者无法生成冲突的 Prepared-Certificates，从而在所有情况下均保持安全性。