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.
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 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.
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.
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.
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.
XDC 2.0 Achieves Theoretical Maximum BFT with Novel Forensics
XDC 2.0 introduces a novel forensics monitoring system and automated validator accountability, significantly enhancing Byzantine Fault Tolerance for institutional blockchain adoption.
