Turing complete smart contracts can never be trustworthy!

The hacking of The DAO proves that Turing complete smart contracts can never be trustworthy. Ethereum is candy for hackers and smart contracts are hacker bait. The trust in Turing complete smart contract code and in the ability to audit the code is lost. This means confidence in Ethereum is lost.

They may be able to recover but it's like with flash. Flash still gets used even though a new zero day is found practically every year. When you deal with programs which have unexpected behavior, smart contracts you can't trust, then your only security comes from an ability to trust the competency of the developers. If the trust in the developers is lost then Ethereum itself will not recover.

Unfortunately Ethereum developers made a critical mistake in the design of Ethereum when they chose Turing complete over decideable. This decision alone is responsible for the outcome we see with The DAO and will be responsible for many future exploits yet to be discovered. Hopefully Ethereum 2.0 can win our trust back and go with a mandatory correct by construction formal approach to smart contract development.