Paxos共识算法形式化证明与拜占庭容错演化：从TLA+规约到HotStuff线性PBFT的工程实践
从形式化规约视角解析Paxos共识算法：Prepare/Accept两阶段流程、多数派交集保证安全性、TLA+验证、工程优化（Multi-Paxos Leader选举），以及拜占庭容错的PBFT与线性消息复杂度HotStuff的设计演化。
Paxos
分布式系统一致性模型深度剖析：从线性一致到因果一致
系统分析分布式系统的一致性模型层次结构，对比Paxos/Raft/ZAB三大共识算法的设计哲学与工程取舍，并结合CAP/PACELC定理阐述如何在延迟、可用性和一致性之间做出工程决策。
分布式共识算法：Paxos与Raft的工程实践与Go语言实现
从FLP不可能定理出发，深入分析Paxos与Raft两大共识算法的核心原理，提供Raft完整Go语言实现（含Leader选举、日志复制、优化策略），并总结工程实践中的配置要点与最佳实践。
分布式系统共识算法深度分析：从Paxos到Raft的演进
深入分析分布式系统核心共识算法Paxos与Raft，涵盖算法原理、工程实现、性能对比及最佳实践
Raft 共识算法深度解析：从理论到工程实践
深入解析 Raft 共识算法的设计思想、领导者选举、日志复制、安全性保证及工程实践，涵盖从理论到生产环境落地的完整知识体系。
Paxos 与 Raft 深度对比：分布式共识算法的工程实践
从原理推导、工程实现、性能对比和实战选型四个维度，深入对比分析 Paxos 与 Raft 两大分布式共识算法，涵盖 Paxos 的两阶段执行、Raft 的领导者选举与日志复制机制、核心差异对比及最佳实践。
分布式共识算法深度实战：从Paxos到Raft的工程哲学与生产实践
深入解析分布式共识算法Paxos和Raft的设计哲学与工程实现，涵盖Multi-Paxos、EPaxos变体、日志复制机制、选举优化、生产环境调优（etcd/TiKV），以及CRDT新趋势。
分布式系统一致性模型深度实战：从线性一致到因果一致的全景解析
系统解析分布式系统主流一致性模型：从线性一致到最终一致，涵盖FLP不可能定理、CAP理论、Paxos/Raft共识算法、向量时钟、CRDT、Dynamo/Cassandra最终一致实现、以及选型决策框架。
分布式系统共识算法深度解析：从 Paxos 到 Raft 的工程实践
从分布式系统的基本假设出发，系统梳理一致性模型分层体系，深入解析Paxos与Raft的设计哲学与实现细节，并探讨现代工程实践中的性能优化策略。涵盖FLP不可能性、CAP定理、线性一致性、Multi-Paxos、Raft快照压缩、成员变更、BFT共识等核心主题。
分布式共识算法：从Paxos到区块链容错机制的深度解析
系统梳理分布式共识算法三大学派——Paxos/Raft的Crash Fault Tolerance、PBFT的Byzantine Fault Tolerance、以及区块链时代的Nakamoto Consensus与PoS演进，深入剖析FLP不可能定理、CAP权衡、活性与安全性证明，并展望后量子共识与可验证随机函数的前沿方向。
