consensus-protocol-library

name	consensus-protocol-library
description	Reference implementations and specifications of consensus protocols
allowed-tools	["Bash","Read","Write","Edit","Glob","Grep"]
metadata	{"specialization":"computer-science","domain":"science","category":"distributed-systems","phase":6}
graph	{"domains":["domain:computer-science"],"specializations":["specialization:theoretical-computer-science"],"skillAreas":["skill-area:graph-algorithms","skill-area:mathematical-reasoning","skill-area:language-design"],"workflows":["workflow:research-grant-lifecycle"],"roles":["role:research-engineer","role:research-scientist"]}

Consensus Protocol Library

Purpose

Provides expert guidance on consensus protocol design, analysis, and implementation for distributed systems.

Capabilities

• Paxos, Raft, PBFT specifications
• Protocol comparison matrix
• Safety/liveness property templates
• Message complexity analysis
• Protocol variant catalog
• Failure mode analysis

Usage Guidelines

1. Protocol Selection: Choose appropriate consensus protocol
2. Specification Review: Understand protocol specification
3. Property Verification: Verify safety and liveness
4. Comparison: Compare protocols for use case
5. Implementation: Guide implementation decisions

Tools/Libraries

• TLA+ specifications
• Reference implementations
• Protocol documentation