How to Securely Scale Financial Smart Contracts to $1 Trillion