Overview
Byzantine Fault Tolerance (BFT) enables distributed systems to reach agreement even when some participants are faulty or malicious.
Key Concepts
Byzantine Failure Model
Agents may:
- Crash or become unresponsive
- Send incorrect or conflicting messages
- Collude with other faulty agents
- Behave arbitrarily (worst case)
Tolerance Threshold
- Requires 3f+1 total agents
- Can tolerate up to f Byzantine agents
- At least 2f+1 honest agents must agree
PBFT Algorithm
Three-Phase Commit
- Pre-prepare: Leader proposes value
- Prepare: Agents acknowledge receipt
- Commit: Agents confirm agreement
View Change
If leader is faulty, protocol switches to new leader while preserving safety.
Modern Variants
Aggregated Signatures (GABFT)
Combines signatures to reduce message complexity.
Scoring-Based (CS-PBFT)
Detects and excludes Byzantine agents based on behavior scoring.
Application to LLM Agents
- Combine BFT with mutual verification
- Detect hallucinations through disagreement
- Use for safety-critical agent decisions