Epidemic Consensus Protocol Unlocks Extreme-Scale Decentralization
A new consensus protocol leveraging epidemic-style communication eliminates fixed validators, achieving superior throughput and latency for extreme-scale networks.
Committee-Based Byzantine Agreement Protocol Slashes Communication Complexity
A novel committee-based protocol achieves optimal asynchronous Byzantine agreement, drastically reducing cubic communication overhead.
Revelation Mechanisms Enforce Truthful Consensus Equilibrium
Mechanism design introduces dispute-triggered revelation protocols into PoS, ensuring validators propose truthful blocks as the unique subgame perfect equilibrium, fundamentally enhancing security and scalability.
Revelation Mechanisms Secure Consensus against Untruthful Block Proposals
Mechanism design principles construct a revelation mechanism for Proof-of-Stake, establishing a unique subgame perfect equilibrium that compels validators to propose truthful blocks.
Compositional Formal Verification Secures DAG Consensus Protocol Architectures
A new compositional framework using TLA+ achieves reusable formal verification for DAG consensus, halving proof effort and ensuring robust safety assurances for next-generation architectures.
Hybrid Ordering Multi-BFT Protocol Decouples Concurrency and Consistency
Orthrus introduces concurrent partial transaction ordering and a novel escrow mechanism to reduce consensus latency and maximize throughput in BFT systems.
Systematic Framework Optimizes Byzantine Fair Transaction Ordering and MEV Mitigation
A new systematic design guideline formalizes requirements for fair message ordering in Byzantine systems, enabling a critical latency optimization for FIFO protocols.
Zero-Knowledge Proof of Training Secures Private Decentralized Federated Consensus
ZKPoT is a new cryptographic primitive using zk-SNARKs to verify model contribution without revealing private data, unlocking decentralized AI.
Zero-Knowledge Proof of Training Secures Private Decentralized Federated Learning Consensus
ZKPoT introduces a zk-SNARK-based consensus mechanism that proves model accuracy without revealing private data, resolving the critical privacy-accuracy trade-off in decentralized AI.
