Wakeness Vectors Secure Proof-of-Stake against Fully-Fluctuating Node Participation
Wakeness vectors enable Proof-of-Stake protocols to securely handle arbitrary node participation fluctuations, rivaling Proof-of-Work robustness.
Formalizing Proof-of-Stake Security Limits under Dynamic Availability and Reconfiguration
This research formalizes the Dynamic Availability and Reconfiguration (DAR) model, proving the minimum security assumptions required for scalable, decentralized Proof-of-Stake consensus.
Formal Security Comparison Reveals Proof-of-Stake Safety-Liveness Trade-Off
Formal security analysis confirms PoW's strong guarantees, necessitating hybrid PoS designs to balance safety and liveness trade-offs.
Simulation-Resistant Honest Majority Secures Dynamic Proof-of-Stake Consensus Bootstrapping
A new simulation-resistant honest majority condition proves the security limits of dynamic PoS, enabling a bootstrapping gadget for robust membership changes.
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.
Secure BFT Consensus for Dynamically Available Networks Using PVSS
A novel BFT protocol integrates PVSS with pre-commits to secure fast consensus in dynamic networks, achieving $4Delta$ latency and 50% resilience.
Constant Latency BFT Achieved on Dynamically Available Directed Acyclic Graphs
New DAG-based BFT protocol guarantees constant finality time despite validators frequently sleeping, solving a core dynamic availability problem.
Achieving Instantaneous Blockchain Finality by Resolving the Availability-Finality Dilemma
This protocol merges a dynamically available chain with a partially synchronous finality gadget to achieve single-slot finality, eliminating chain reorgs and MEV risks.
PoW Longest Chain Rule Offers Strongest Formal Security Guarantees over PoS
Formal analysis confirms PoW's superior security guarantees, requiring PoS designs to adopt hybrid approaches to balance safety and liveness.
