Bitcoin's Smart Contracts Will Have Additional Safeguards