The protocol supports lightweight clients using Simplified Payment Verification. — Satoshi Nakamoto

Bitcoin transactions are irreversible and final once confirmed. — Satoshi Nakamoto

To modify a past block, an attacker would have to redo the proof-of-work of that block and all blocks after it. — Satoshi Nakamoto