This paper presents TetraBFT, a novel unauthenticated Byzantine fault tolerant protocol for solving consensus in partial synchrony, eliminating the need for public key cryptography and ensuring resilience against computationally unbounded adversaries. TetraBFT has several compelling features: it necessitates only constant local storage, has optimal communication complexity, satisfies optimistic responsiveness -- allowing the protocol to operate at actual network speeds under ideal conditions -- and can achieve consensus in just 5 message delays, which outperforms all known unauthenticated protocols achieving the other properties listed. We validate the correctness of TetraBFT through rigorous security analysis and formal verification. Furthermore, we extend TetraBFT into a multi-shot, chained consensus protocol, making a pioneering effort in applying pipelining techniques to unauthenticated protocols. This positions TetraBFT as a practical and deployable solution for blockchain systems aiming for high efficiency.
翻译:本文提出TetraBFT,一种新颖的未认证拜占庭容错协议,用于解决部分同步环境下的共识问题。该协议无需公钥密码学支持,并能抵御计算能力无上限的攻击者。TetraBFT具备多项显著特性:仅需常数级的本地存储空间,通信复杂度达到最优,满足乐观响应性——即在理想条件下能以实际网络速度运行,且仅需5轮消息延迟即可达成共识,这一性能超越了所有已知的、具备上述其他特性的未认证协议。我们通过严格的安全分析与形式化验证,确认了TetraBFT的正确性。此外,我们将TetraBFT扩展为多轮链接式共识协议,开创性地将流水线技术应用于未认证协议领域。这使得TetraBFT成为面向追求高效率的区块链系统的实用化、可部署解决方案。