Formal Rewrites Safely Scale Byzantine Fault Tolerance Protocols Fivefold
A new formal model and rewrite methodology prove that decoupling and partitioning can safely achieve a fivefold throughput increase for BFT protocols.
Asynchronous BFT Achieves Practical Performance through Designated Leaders
Alea-BFT combines designated leader efficiency with asynchronous resilience, creating a simple, highly performant BFT protocol that eliminates network timing assumptions.
Communication Lower Bounds Redefine Broadcast Efficiency in Dishonest-Majority Systems
New theoretical bounds and a sub-quadratic protocol fundamentally redefine the communication cost for Byzantine broadcast in dishonest-majority networks.
Graded Broadcast Unlocks Optimal Latency for Asynchronous BFT Consensus
Falcon BFT introduces Graded Broadcast, bypassing the agreement stage to resolve high latency and instability in asynchronous consensus protocols.
Coding Techniques Achieve Near-Optimal Synchronous BFT Communication Complexity
The Hamster protocol uses coding techniques to reduce Byzantine Fault Tolerance communication to near-optimal O(mn), unlocking linear throughput scaling.
Asymmetric Trust DAG Consensus Achieves Constant-Time Finality
The new common core primitive enables asynchronous DAG consensus to achieve constant-time finality under heterogeneous, asymmetric trust assumptions.
Random Asynchronous Model Circumvents BFT Impossibility for Practical Distributed Systems
The Random Asynchronous Model replaces adversarial scheduling with a random one, unlocking deterministic BFT consensus protocols previously deemed impossible.
Mysticeti Achieves Optimal Byzantine Consensus Latency by Uncertified DAGs
This new DAG-based Byzantine consensus protocol reaches the theoretical 3-round latency limit by eliminating explicit block certification, drastically accelerating finality for high-throughput chains.
