News for hackers. Stuff that matters.
Re:The blockchain paradox: Why DLTs may do little to transfo... by Animats on Wednesday June 14, 2017 @02:42PM (#14554954)
"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.

Re:The blockchain paradox: Why DLTs may do little to transfo... by thisjepisje on Wednesday June 14, 2017 @05:39PM (#14556315)
You can implement decision tables on top of a turing-complete language.
Re:The blockchain paradox: Why DLTs may do little to transfo... by Animats on Wednesday June 14, 2017 @07:43PM (#14556895)
You can't be sure they're implemented properly. Or what if they run out of "fuel"? Like the DAO's code.

It's not enough that contracts execute. They have to be amenable to audit.