Vitalik on BTC's shrinking security budget “You can't make crazy assumptions about security models"