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.
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.
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.
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.
Pulsar: Composable Density-Based Proof of Stake for Sidechain Integration
Pulsar introduces a novel density-based chain selection rule, enhancing Proof of Stake security and enabling robust sidechain interoperability with Proof of Work systems.
