PoS Security via PoW Checkpointing Protocol Achieves Historical Finality

A novel checkpointing protocol embeds Proof-of-Stake finality into Proof-of-Work, providing provable, non-slashable security against long-range attacks.