Collaborative Mining Protocol Fortifies Proof-of-Stake against Long-Range History Rewrites
PoC introduces a collaborative, resource-efficient cryptographic puzzle to prevent long-range attacks, guaranteeing immutable ledger history for PoS/BFT chains.
Composable Density-Based Rule Secures Proof-of-Stake Chain Selection
A novel composable density-based chain selection rule formalizes Proof-of-Stake security, creating a robust foundation for sidechain architectures.
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.
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.
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.
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.
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.
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.
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.
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 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.
Bitcoin Checkpointing Resolves Proof-of-Stake Long-Range Attack Impossibility
A new protocol secures Proof-of-Stake history by anchoring succinct commitments to Bitcoin's Proof-of-Work, providing non-slashable long-range attack safety.