[论文解读] Robustness and efficiency of leaderless probabilistic consensus protocols within Byzantine infrastructures

Angelo Capossele, Sebastian Müller+1 more|arXiv (Cornell University)|Nov 20, 2019

Distributed systems and fault tolerance参考文献 36被引用 13

一句话总结

本文提出一种无领导者、基于概率的共识协议（FPC），通过局部随机化和自适应停止规则，增强了拜占庭网络中的鲁棒性。结果表明，最优随机性显著提升了对恶意节点的抗性，在最多10%的节点被敌对控制且网络可见性有限的情况下，仍能实现高完整性与高一致性。

ABSTRACT

This paper investigates leaderless binary majority consensus protocols with low computational complexity in noisy Byzantine infrastructures. Using computer simulations, we show that explicit randomization of the consensus protocol can significantly increase the robustness towards faulty and malicious nodes. We identify the optimal amount of randomness for various Byzantine attack strategies on different kinds of network topologies.

研究动机与目标

• 在计算开销最小的前提下，提升拜占庭感染网络中无领导者二元多数共识协议的鲁棒性。
• 研究随机化如何在不依赖集中式协调或故障检测的情况下，增强对故障节点与恶意节点的抗性。
• 设计一种具有本地停止规则的协议，使节点能够自主终止，同时保持高一致性与高完整性。
• 分析非对称错误类型（0-完整性失败与1-完整性失败）的影响，并据此优化阈值。
• 在部分网络可见性及不同敌对策略（包括谨慎型与狂暴型）下，评估协议性能。

提出的方法

• 提出一种简化的快速概率共识（FPC）协议，利用本地生成或可信的随机数引入概率决策机制。
• 实现一种本地停止规则，使节点在达成足够本地一致后自主终止，无需全局协调。
• 在第一轮中应用大于0.5的固定法定人数阈值，以支持0与1结果的非对称重要性，提升对特定错误类型的鲁棒性。
• 采用Watts-Strogatz模型模拟具有部分节点可见性的小世界网络拓扑，以实现对网络感知的现实评估。
• 采用基于仿真的评估方法，结合统计显著性，测量在受控敌对策略下的一致性、终止与完整性失败率。
• 在两种敌对模型下评估性能：谨慎型（一致响应）与狂暴型（不一致响应），以评估最坏情况下的鲁棒性。

实验结果

研究问题

• RQ1 在无故障检测的情况下，随机化如何提升无领导者共识协议在拜占庭网络中的鲁棒性？
• RQ2 在不同敌对策略下，何种随机性水平可使一致性与完整性最大化，同时最小化失败率？
• RQ3 部分网络可见性（如50%节点感知）如何影响协议收敛性与可靠性？
• RQ4 协议在不发生完整性或一致性失败的前提下，最多可承受多大程度的敌对控制（最多10%）？
• RQ5 非对称错误类型（0-完整性失败与1-完整性失败）如何影响共识协议的设计与性能？

主要发现

• 只要随机阈值被最优调优，即使多达10%的节点为敌对节点，协议仍能实现高一致性与高完整性。
• 随机化显著降低了谨慎型与狂暴型敌对策略的影响，尤其能有效防止终止失败与一致性失败。
• 在仅50%网络感知的情况下，协议在环形图上仍保持强劲性能，且通过边的随机重连可进一步提升性能。
• 协议的平均消息复杂度保持恒定，因此随着网络规模增大，总消息复杂度呈O(n)增长。
• 即使敌对节点短暂控制随机数生成，协议仍保持鲁棒性，仅延迟共识而不会导致失败。
• 缩小随机阈值的取值范围可提升鲁棒性，当阈值接近0.5时，协议可容忍更多拜占庭节点。