Smart Contracts For An Automated World