Generic Compiler Transforms Permissioned BFT into Accountable Proof-of-Stake Consensus
A novel compiler converts BFT protocols into stake-based systems, preserving liveness and adding cryptographic accountability for consistency violations.
Asynchronous Accountability Primitive Secures BFT Liveness and Cryptoeconomic Finality
This research introduces the Asynchronous Accountability Primitive, merging VDFs and state commitments to enable cryptoeconomic slashing for BFT liveness failures.
PVSS-BFT Protocol Secures Dynamic Consensus and Reduces Communication Latency
Integrating Publicly Verifiable Secret Sharing into BFT consensus achieves $4Delta$ latency and 50% fault tolerance in dynamic networks, solving the sleepy model's efficiency challenge.
Block Synchronizer Abstraction Secures BFT Consensus against Network Attacks
The block synchronizer, Beluga, solves BFT performance collapse under attack by coordinating resource-aware, incremental block retrieval.
Decoupling BFT Consensus Pacing from Data Dissemination Achieves Optimal Performance
Angelfish introduces a Leader-DAG spectrum consensus, achieving the theoretical optimal latency of leader-based BFT with the peak throughput of DAG protocols.
Decentralized Clock Network Enforces Fair Transaction Ordering and Mitigates MEV
A Decentralized Clock Network cryptographically timestamps transactions, decoupling fair ordering from consensus to neutralize adversarial MEV.
Differential Order Fairness Secures Atomic Broadcast against Transaction Reordering
The Quick Order-Fair Atomic Broadcast protocol introduces differential order fairness, achieving optimal resilience and quadratic message complexity to eliminate leader-based MEV.
Efficient Byzantine Verifiable Secret Sharing Secures Decentralized AI
New VSS scheme EByFTVeS counters adaptive share delay attacks, significantly improving the security and efficiency of decentralized privacy-preserving computation.
Mechanism Design Incentivizes Truthful Consensus in Proof-of-Stake
A new revelation mechanism for Proof-of-Stake leverages staked assets to create a unique equilibrium, compelling validators to propose truthful blocks and mitigate forks.
