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.
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.