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.
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.
Formalizing Accountable Finality Quantifies Proof-of-Stake Reorganization Economic Cost
The new Accountability Gadget formally quantifies the economic cost of PoS reorganizations, transforming finality from a social consensus into a provable, suicidal economic guarantee.
Winkle Foils Proof-of-Stake Long-Range Attacks with Decentralized Coin Holder Checkpoints
Winkle introduces a decentralized checkpointing primitive, leveraging coin holder transaction-based votes to cryptoeconomically secure PoS history against long-range attacks.
Coin Holder Checkpointing Secures Proof-of-Stake History against Long-Range Attack
Winkle introduces coin holder-driven decentralized checkpointing, cryptoeconomically securing Proof-of-Stake history against deep chain rewrites.
Coin Holder Checkpointing Secures Proof-of-Stake against Long-Range Attack
The Winkle protocol introduces decentralized coin holder checkpointing, transforming every transaction into a security vote to establish an immutable chain history.
Verifiable History Commitment Secures Proof-of-Stake against Long-Range Attack
Introducing Verifiable History Commitments, a new cryptographic primitive that cryptographically binds validator keys to historical state, eliminating the long-range attack vector.
Bitcoin Proof-of-Stake Security via External PoW Checkpointing
The Babylon protocol anchors Proof-of-Stake finality to Bitcoin's Proof-of-Work, transforming long-range attacks into economically slashable offenses.
Decentralized Coin-Weighted Checkpointing Foils Proof-of-Stake History Rewrites
Winkle introduces a decentralized checkpointing primitive, leveraging the entire coin supply to cryptographically secure PoS history against long-range attacks.
