用 Rust 编写经过形式化验证的分布式共识协议：从 TLA+ Spec 到可编译代码
探索如何用 Rust 生态的形式化验证工具（Session Types、Prusti、Kani）弥合 TLA+ 规约与实际代码之间的鸿沟，实现编译期可证明正确的分布式共识协议。
Raft共识
Kafka日志压缩协议与KRaft共识算法深度解析：从日志分段到元数据管理的分布式消息系统内核
深入剖析Kafka日志分段、消息压缩协议与KRaft元数据共识层的设计原理与故障恢复机制。
大规模共识引擎深度优化：从 Multi-Raft 架构到 JRaft/PolarDB 工程演进的完全实践指南
大规模共识引擎深度优化：从Multi-Raft分片架构、JRaft生产级特性到PolarDB自适应共识的工程演进全面指南，涵盖Split/CRDT合并、Learner/Witness节点、PreVote+CheckQuorum、Parallel Raft乱序提交、Stale Read一致性级别、生产级磁盘IO隔离与跨机房部署策略。
