The Honest Quorum Problem: Epistemic Byzantine Fault Tolerance for Agentic Infrastructure
On the map: LLM agents and tool use → Agent memory systems
Abstract (arXiv)
State machine replication (SMR) and Byzantine fault-tolerant (BFT) consensus guarantee agreement despite a bounded number of arbitrary, colluding faulty participants. However, these guarantees rely on participants outside this set correctly executing the protocol's transition semantics. Agentic validators expose a weaker boundary: an authenticated, responsive, non-equivocating, and protocol-compliant reasoning participant may still endorse a semantically invalid transition due to reasoning errors. We call this failure mode an epistemic fault, and the collective phenomenon the Honest Quorum Problem (where "honest" means protocol-compliant, not semantically correct). Such a quorum can satisfy ordinary checks while forming a certificate for an invalid transition. Thus, agreement alone does not guarantee semantic validity or execution safety. Furthermore, because agentic validators often share model weights, training distributions, prompts, or toolchains, they are highly susceptible to correlated epistemic faults. We define Epistemic Byzantine Fault Tolerance (EBFT), a fault-tolerance model for agentic infrastructure and post-deterministic distributed systems. EBFT augments the conventional Byzantine fault bound with two separate, confidence-indexed quantities: eδ bounds coherent invalid endorsements outside the Byzantine set, and uε bounds unusable validator support that degrades liveness. These quantities characterize semantic safety risk and liveness degradation independently. We derive quorum-threshold conditions for semantic validity, consensus agreement, liveness, and feasible threshold selection, and outline a calibration methodology for estimating these budgets. We show that adding nominally distinct agents improves fault tolerance only when it measurably reduces the upper-tail concentration of invalid endorsements or unusable support.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Placed in Agent memory systems, one of 16 directions in LLM agents and tool use. Builds on 12 of its 26 references that are in the map. First posted on arXiv 17 Jul 2026.
Builds on
12 of 26 references.
References · 12
- 2026Don't Always Pick the Highest-Performing Model: An Information Theoretic View of LLM Ensemble Selectioncited by 11
- 2026Consensus is Not Verification: Why Crowd Wisdom Strategies Fail for LLM Truthfulnesscited by 9
- 2026Sovereign Agentic Loops: Decoupling AI Reasoning from Execution in Real-World Systemscited by 5
- 2026OpenKedge: Governing Agentic Mutation with Execution-Bound Safety and Evidence Chainscited by 4
- 2026Sovereign Assurance Boundary: Certificate-Bound Admission for Agentic Infrastructurecited by 4
- 2026Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systemscited by 3
- 2023On the Validity of Consensuscited by 2
- 2026Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidencecited by 2
- 2026Semantic Quorum Assurance: Collective Certification for Non-Deterministic AI Infrastructurecited by 2
- 2020On Probabilistic Byzantine Fault Tolerancecited by 1
- 2022Basilic: Resilient Optimal Consensus Protocols With Benign and Deceitful Faultscited by 1
- 2025Coding Triangle: How Does Large Language Model Understand Code?cited by 1
Built on by
Citing papers per year: 2026: 1.
1 paper.
Similar, not cited
Close in wording, no citation either way
- 2026Replicating Belief, Not Bits: Epistemic State Replication for Agentic Systems
- 2025Rethinking the Reliability of Multi-agent System: A Perspective from Byzantine Fault Tolerance
- 2026Emergent Collaborative Deliberation in Multi-Model AI Systems: A BFT-Derived Protocol for Epistemic Synthesis
- 2026Robust Multi-Agent LLMs under Byzantine Faults
- 2026Engineering Reliable Commit Gates for Agentic AI: Cost-Aware Verification Portfolios under Common-Mode Data Failures
- 2026Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents
- 2026Schwarz: Solver-Aware Agentic Program Verification
- 2026Cryptographic certificates of validity for trustworthy AI