"Turing complete contracts" were a terrible idea, as the DAO debacle and subsequent fork demonstrated. If the people behind the DAO hadn't been the same people as the people behind Etherium, they would have been screwed.
Machine-readable contracts need to be much simpler and much clearer to work. I've suggested decision tables as a format; those are declarative, guaranteed to terminate, and have a simple chart form that's easy to understand. Yes, they're more limited.
Machine-readable contracts need to be much simpler and much clearer to work. I've suggested decision tables as a format; those are declarative, guaranteed to terminate, and have a simple chart form that's easy to understand. Yes, they're more limited.