BIP-110: The Temporary Softfork A deep-dive game theory analysis and code audit https://melvin.me/public/articles/bip110.html