By Hasu, James Prestwich, and Brandon Curtis — An application or protocol is secure if it realizes its goal in an adversarial environment. In the case of Bitcoin, the goal is to establish a payment system where anyone can participate, only the rightful owner can spend a coin, and all valid transactions make it into the ledger eventually. …