Deterministic Bounds Secure Committee Selection beyond Probabilistic Guarantees
A new cryptographic sortition model introduces deterministic bounds on adversarial committee influence, enabling smaller, more efficient, and verifiably secure consensus groups.
Revelation Mechanisms Enforce Strategy-Proof Consensus in Proof-of-Stake
A novel mechanism design uses staked assets to cryptoeconomically guarantee validator honesty, solving the foundational problem of fork coordination and untruthful block proposals.
Revelation Mechanisms Enforce Truthful Consensus in Proof-of-Stake
A game-theoretic revelation mechanism, triggered by block disputes, establishes a unique subgame perfect equilibrium, eliminating dishonest forks and enhancing PoS security.
Mechanism Design Replaces BFT Voting for Faster Consensus
A novel Simultaneous Report Mechanism is proposed to replace costly BFT voting, limiting consensus communication to two nodes for faster, dispute-triggered coordination and improved network liveness.
Uncertified DAG Consensus Protocol Achieves Theoretical Minimum Latency
Introducing Mysticeti-C, a BFT protocol using uncertified DAGs and a novel commit rule to achieve the theoretical 3-round message latency limit, enabling sub-second finality.
Fino Protocol Achieves MEV Protection on High-Throughput DAG Consensus
Fino embeds blind order-fairness into DAG-BFT with zero message overhead, securing high-throughput systems against transaction reordering attacks.
Modular SMR Synchronizers Guarantee Provable Liveness in Distributed Consensus
A new SMR synchronizer primitive modularizes liveness mechanisms in Byzantine protocols, enabling provably robust and efficient distributed state consistency.
Buffer Mechanism Enables Generic Sharding Consensus with Optimal Overhead
A jointly managed buffer and batch certification enable atomic cross-shard transactions with optimal overhead, creating a universal BFT sharding framework.
Accountable Safety Decouples Liveness and Finality in Proof-of-Stake Consensus
This research introduces Accountable Safety, a new PoS property that guarantees finality or provides cryptographic proof of validator misbehavior under minimal synchrony.
Secure Sharding Consensus Pattern Dramatically Scales Throughput with Optimized Overhead
Kronos introduces a buffer-based sharding consensus pattern, provably achieving cross-shard atomicity and 12× throughput for next-generation scalable architectures.
Angelfish Consensus: Optimizing Throughput and Latency in BFT Protocols
A novel hybrid consensus protocol, Angelfish, dynamically balances leader-based and DAG-based approaches, achieving optimal throughput and latency for Byzantine fault-tolerant systems.
