name: 共识协议库 description: 共识协议的参考实现和规范说明 allowed-tools:
- Bash
- Read
- Write
- Edit
- Glob
- Grep metadata: specialization: 计算机科学 domain: 科学 category: 分布式系统 phase: 6
共识协议库
目的
为分布式系统提供共识协议设计、分析和实现的专家指导。
能力
- Paxos、Raft、PBFT 协议规范
- 协议对比矩阵
- 安全性/活性属性模板
- 消息复杂度分析
- 协议变体目录
- 故障模式分析
使用指南
- 协议选择：选择合适的共识协议
- 规范审查：理解协议规范
- 属性验证：验证安全性和活性
- 对比分析：根据用例比较协议
- 实施指导：指导实现决策
工具/库
- TLA+ 规范
- 参考实现
- 协议文档