Bitcoin Checkpointing Secures Proof-of-Stake against Long-Range Attacks
A new protocol anchors Proof-of-Stake history to Bitcoin's Proof-of-Work, providing an external trust source to cryptoeconomically secure PoS against long-range attacks.
Formalizing Liveness Accountability Requires Honest Majority and Majority Synchrony
New theoretical framework precisely defines when and how consensus protocols can cryptographically blame nodes for stalling transaction finality.
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.
Accountable Sharding Secures State with Proactive Key Rotation and Global Economic Deterrents
A new sharding model leverages proactive secret sharing and global slashing to eliminate the $1/N$ security vulnerability, enabling scalable and robust decentralized architectures.
STAKESURE Mechanism Guarantees Strong Cryptoeconomic Safety for Over-Leveraged Proof-of-Stake
STAKESURE introduces a novel insurance mechanism to allocate slashed funds, guaranteeing strong cryptoeconomic safety by compensating harmed parties.
Accountable Liveness Secures Consensus against Transaction Delay Attacks
This research extends accountable safety to liveness, introducing 'certificates of guilt' to cryptographically punish nodes that intentionally stall transaction finality.
Accountable Liveness Formalizes Proof-of-Stake Slashing for Network Stalling
A new theoretical model proves the conditions for formally punishing validators who stall transaction finality, strengthening PoS security foundations.
Mechanism Design Optimizes Proof-of-Stake Exit Queues Securing Dynamic Validator Sets
Introducing the MINSLACK mechanism, this work formally resolves the PoS utility-security trade-off by dynamically constraining validator exits to maintain crypto-economic safety.
Accountable Byzantine Consensus Achieves Optimal Communication and Accountability Complexity
New Accountable Byzantine Consensus protocol, `abcopt`, delivers optimal communication complexity while guaranteeing provable validator accountability.
