拜占庭容错共识算法 PBFT 与 HotStuff 工程实战：从理论证明到区块链生产系统 本文深入解析 Practical Byzantine Fault Tolerance (PBFT) 和 HotStuff 两大核心拜占庭容错共识协议的工程实现，完整覆盖三阶段提交、线性视图切换、门限签名链上验证，并提供 Rust 语言的生产级代码示例 算法与数据结构 2026年09月30日 0 点赞 0 评论 44 浏览
Paxos共识算法形式化证明与拜占庭容错演化：从TLA+规约到HotStuff线性PBFT的工程实践 从形式化规约视角解析Paxos共识算法：Prepare/Accept两阶段流程、多数派交集保证安全性、TLA+验证、工程优化（Multi-Paxos Leader选举），以及拜占庭容错的PBFT与线性消息复杂度HotStuff的设计演化。 分布式系统 2026年09月21日 0 点赞 0 评论 46 浏览
