Falcon Protocol Achieves Low Latency Asynchronous Byzantine Consensus
A novel BFT protocol, Falcon, uses Graded Broadcast to bypass costly agreement stages, fundamentally improving decentralized system throughput and latency.
Epidemic Consensus Protocol Unlocks Leaderless Decentralization and Extreme Blockchain Scale
A new leaderless epidemic consensus protocol resolves the scalability-decentralization tradeoff, leveraging probabilistic convergence for massive network throughput.
Reducing BFT Authenticator Complexity Enables Truly Scalable Asynchronous Consensus
JUMBO introduces Quorum Certificate aggregation and dispersal to reduce aBFT authenticator complexity, unlocking consensus scalability for hundreds of nodes.
Proof of Quantum Work Consensus Leverages Quantum Supremacy to Secure Blockchains
Proof of Quantum Work, a quantum-enhanced consensus mechanism, leverages quantum supremacy to achieve energy-efficient and classically intractable block production.
Succinct State Proofs Decouple Verification from State Bloat
A novel polynomial commitment scheme enables constant-size cryptographic proofs of the entire blockchain state, resolving the critical state synchronization bottleneck and preserving decentralization.
Reusable Formal Verification Framework Secures Complex DAG-Based Consensus Protocols
A compositional TLA+ framework enables reusable, mechanized safety proofs for complex DAG consensus, fundamentally securing the next generation of high-throughput distributed ledgers.
DAG-Based BFT Protocol Mitigates MEV without Complex Cryptography
Fino integrates MEV-resistance directly into Directed Acyclic Graph consensus, decoupling transaction content from ordering metadata to secure high-throughput systems.
Asymmetric Trust Model Secures DAG Consensus Protocols
Researchers generalize DAG consensus to an asymmetric trust model, enabling protocols to maintain security even when nodes hold non-uniform fault tolerance assumptions.
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.
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.
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.
Asynchronous Finality Gadget Secures Proof-of-Stake Safety
The φ-Gadget introduces a two-phase threshold signature mechanism to decouple block ordering from finality, guaranteeing safety under asynchronous network conditions.
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.
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.
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.
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.
JUMBO Consensus Achieves Quadratic Asynchronous BFT Scalability through Certificate Aggregation
JUMBO protocol resolves the mathcalO(n3) aBFT complexity bottleneck by aggregating quorum certificates, unlocking truly scalable asynchronous decentralized systems.
Proof Systems Replace Execution: The Verifiable Computation Paradigm
Cryptographic proofs fundamentally shift blockchain architecture from redundant distributed execution to a single, verifiable computation, enabling 1000x efficiency with mathematical certainty.