分布式共识算法:从Paxos到区块链容错机制的深度解析 系统梳理分布式共识算法三大学派——Paxos/Raft的Crash Fault Tolerance、PBFT的Byzantine Fault Tolerance、以及区块链时代的Nakamoto Consensus与PoS演进,深入剖析FLP不可能定理、CAP权衡、活性与安全性证明,并展望后量子共识与可验证随机函数的前沿方向。 分布式系统 2026年10月15日 0 点赞 0 评论 60 浏览
Paxos共识算法形式化证明与拜占庭容错演化:从TLA+规约到HotStuff线性PBFT的工程实践 从形式化规约视角解析Paxos共识算法:Prepare/Accept两阶段流程、多数派交集保证安全性、TLA+验证、工程优化(Multi-Paxos Leader选举),以及拜占庭容错的PBFT与线性消息复杂度HotStuff的设计演化。 分布式系统 2026年09月21日 0 点赞 0 评论 81 浏览