4 ms·
> 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
by PeCaN 10y ago
> 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.
- cdetrio 10y agoPeople are working on formal verification of solidity code: https://forum.ethereum.org/discussion/3779/formal-verification-for-solidity-contracts https://forum.ethereum.org/discussion/3779/formal-verificati...
- cantankerous 10y agoThis was my first reaction. Why does a contract language need to be Turing Complete? Trustless contracts + Turing tarpits seems like a big turn off to me.