True, I worry about that, too. And in case of the DAO, that issue hit home big time. There are efforts under way to create contracts with formal verification,

True, I worry about that, too. And in case of the DAO, that issue hit home big time. There are efforts under way to create contracts with formal verification, but I remain a bit skeptic. It is difficult to write complex software that way afaik. On the other hand, a lot of contracts are maybe not very complex. I thought about a bank account recently (receive and send money). That could perhaps be done in 100 lines of code? (I don't know the programming language yet, but their basic token creation example seems to be short, and it is kind of like a bank account). That seems impressive compared to the effort banks probably spend on IT.