> Ethereum (unlike Bitcoin) is Turing complete. It can have code that loops and recurses based on the state of the chain
Yikes. Turing-completeness is the last thing I want in a contract language. These things should be _provable_ and _total_. Allowing arbitrary computation opens up a whole new can of worms.