Too Long; Didn't Read
The Ethereum network currently consists of more than<a href="https://www.stateofthedapps.com/" target="_blank"> 1,700 decentralized applications</a> (DApps), a number that is expected to grow in the coming years. And while all of these DApps rely on smart contracts to accomplish a number of important tasks, it has become clear that smart contracts are prone to errors, bugs and other catastrophic mistakes — to the tune of more than a billion dollars stolen in smart contract hacks to-date.