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.
Mechanism Design Guarantees Truthful Consensus in Proof-of-Stake Systems
Revelation mechanisms, triggered by disputes, enforce a unique game-theoretic equilibrium where validators must propose truthful blocks, enhancing scalability.
Quantum Consensus Resists Attacks, Secures Consortium Blockchains
A new quantum consensus mechanism, Q-PnV, integrates quantum cryptography to secure consortium blockchains against future quantum attacks, ensuring long-term security.
Decoupling Fair Ordering from Consensus Unlocks High-Performance BFT
SpeedyFair decouples transaction ordering from consensus, using parallel processing to achieve a $1.5times-2.45times$ throughput increase over state-of-the-art fair ordering protocols.
Federated Distributed Key Generation Enables Robust Threshold Cryptography for Open Networks
FDKG introduces optional participation and heterogeneous trust to DKG, resolving the impracticality of key generation in large, dynamic validator sets.
Accountable Sharding Secures State with Proactive Key Rotation and Global Economic Deterrents
A new sharding model leverages proactive secret sharing and global slashing to eliminate the $1/N$ security vulnerability, enabling scalable and robust decentralized architectures.
Decentralized Clock Network Enforces Fair Transaction Ordering Using Timestamps
This work introduces a Decentralized Clock Network that separates transaction ordering from consensus, using timestamp agreement to enforce $delta$-Median Fairness and mitigate front-running.
PVSS-BFT Achieves Secure, Low-Latency Consensus with Dynamic Node Participation
Integrating PVSS and pre-commits into BFT slashes latency to $4Delta$ while securing consensus against up to 50% Byzantine nodes.
Accountable Finality Signatures Secure Proof-of-Stake against Equivocation
A novel Accountable Finality Signature primitive transforms probabilistic Proof-of-Stake safety into mathematically provable, self-slashing accountability.
