JUMBO Consensus Achieves Quadratic Asynchronous BFT Scalability through Certificate Aggregation
JUMBO protocol resolves the $mathcal{O}(n^3)$ aBFT complexity bottleneck by aggregating quorum certificates, unlocking truly scalable asynchronous decentralized systems.
Compositional Formal Proofs Secure DAG Consensus Protocols Systemically
A new compositional framework provides mathematically rigorous, reusable safety proofs for complex DAG-based consensus, fundamentally securing high-throughput decentralized systems.
Adaptive Byzantine Agreement Achieves Optimal Communication Complexity
This protocol dynamically scales Byzantine Agreement communication cost with actual faults, unlocking optimal efficiency for large decentralized networks.
Three-Slot Finality Protocol Overcomes Consensus Latency and MEV Vulnerability
By integrating a partially synchronous finality gadget with dynamically available consensus, this protocol achieves transaction finality in three slots, fundamentally securing the chain against reorganization risks.
Logarithmic-Depth Commitments Enable Truly Stateless Blockchain Verification
A new Logarithmic-Depth Merkle-Trie Commitment scheme achieves constant-time verification, enabling light clients to securely validate state without storing it.
Asynchronous Finality Gadget Secures Proof-of-Stake Safety
The $Phi$-Gadget introduces a two-phase threshold signature mechanism to decouple block ordering from finality, guaranteeing safety under asynchronous network conditions.
Mechanism Design Guarantees Truthful Consensus in Decentralized Systems
Game theory's revelation mechanisms enforce honest block proposal by establishing a unique, subgame perfect equilibrium in Proof-of-Stake protocols.
Vector Commitments Enable Modular Blockchain Scalability and Asynchronous Security
A new Probabilistically Verifiable Vector Commitment scheme secures Data Availability Sampling, decoupling execution from data and enabling massive asynchronous scalability.
Sub-Quadratic Broadcast Protocol Re-Defines Dishonest-Majority BFT Communication
A new cryptographic broadcast protocol achieves sub-quadratic communication in dishonest-majority networks, fundamentally scaling BFT consensus.
