Revelation Mechanisms Enforce Truthful, Fork-Free Consensus in Proof-of-Stake
This mechanism design breakthrough uses revelation principles to create a unique, truthful equilibrium, fundamentally securing PoS against adversarial block proposal.
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.
Formalizing Weak Subjectivity Secures Proof-of-Stake against Long-Range Attacks
State-Locked Finality formally defines the trust window for PoS clients, eliminating long-range attacks and securing chain history.
Formalizing Proof-of-Stake Incentive Compatibility and Forking Attack Risk
Game theory proves the fork-choice rule is only eventually incentive-compatible, exposing a rational forking risk under network synchrony shifts.
Revelation Mechanism Design Guarantees Truthful Consensus in Proof-of-Stake Protocols
A revelation mechanism forces PoS validators to propose truthful blocks, establishing a unique, strategy-proof equilibrium for enhanced chain safety.
Level-K Game Theory Secures Consensus against Bounded Rationality Assumptions
Introducing a new consensus mechanism that models validator behavior using Level-k reasoning, guaranteeing stability beyond perfect rationality.
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.
