A more secure and accessible smart contract language is key to real-world adoption of blockchain-based smart contracts and decentralized applications.