If we have confidence that smart contracts do what they promise, we can achieve amazing things. But how do…