News for hackers. Stuff that matters.
Re:Critical Update on DAO Vulnerability by xioxox on Friday June 17, 2016 @09:13AM (#11922416)
I don't know much about Ethereum, but why aren't the contracts declarative? Surely, it would be much easier to see the logic behind the contract and avoid the impossible task of a bug free turing complete language.
Re:Critical Update on DAO Vulnerability by gjem97 on Friday June 17, 2016 @09:23AM (#11922465)
The Turing-completeness of the language is the whole point of Ethereum. That's what differentiates it from other (Bitcoin-like) crypto currencies. It allows anyone to build arbitrary business logic--an exchange, a venture capital firm, a game--that is run directly by the participants in the blockchain.
Re:Critical Update on DAO Vulnerability by Animats on Friday June 17, 2016 @04:22PM (#11925309)
In retrospect, a declarative language might have been a better choice. There's a tendency in open-source projects to make things Turing-complete because it's too hard to agree on what the declarative primitives ought to be. (Hence JavaScript.) This is not what you want in contracts for substantial amounts of money. It's passing the buck to the users.