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.