In the global economy, establishing trust costs up to 35 percent of GDP. Today smart contract platforms are insecure, hard to use, and limited to specific networks. The first problem for smart contract development is security. Hosho, the smart contract auditing firm, found that 25 percent of audits revealed critical bugs, and 60 percent of all projects had at least one security issue. Hosho and Ethereum, smart contract platforms, are still immature in terms of tools and practices, and have both experienced bugs and hacks. A second problem today is usability. The developer community around Ethereum and other smart contract platforms is still relatively small. Despite excitement around blockchains and smart contracts, the developer community is small and stagnant. This is due to many reasons, however, the main reason is that developers have to learn a new programming language. A third and growing problem is one of interoperability. A huge limiting factor to widespread adoption is if a contract can only interact with another contract on the same system. As we bring automation to global trade, vendor lock-in means an inability to pay suppliers, track IoT sensors, and share credentials.