4 ms·
Well ... first, what's described in the article isn't that smart. It's actually dumb. If we describe these code-as-law thingys as 'dumb contracts' it is cryst
by unyttigfjelltol 5y ago
Well ... first, what's described in the article isn't that smart. It's actually dumb.
If we describe these code-as-law thingys as 'dumb contracts' it is crystal clear that 'YES' this is a dumb contract and any sane judge presented with one may well decide to give the participants exactly what they deserve, just like paper-based 'dumb contracts.'
The key innovation here is that we've gone to the remedy residing in programmer malpractice, rather than attorney malpractice. Which in turn, when it becomes obvious to all involved, hopefully will have a chilling effect on any smart programmer asked to write a 'dumb contract.'
- lazide 5y agoLooking at the various issues that have come up with these ‘smart contracts’ (aka the ethereum DAO issues up until now), I think anyone who wants to write one should be automatically excluded from being allowed to do so.
- astrange 5y agoThey should maybe be forced to learn what a dependent type system is so they can regret that their smart contracts are written in a language with no safety features.
- Paradigma11 5y agohttps://juvix.org/ https://juvix.org/ is looking rather nice but is still beta.
- ZephyrBlu 5y agoIt's called a "smart contract" because it's programmable (Smart) and can be executed based on specific conditions (Contract). I've seen/read somewhere that Vitalik regrets naming them "smart contracts" though.
- varjag 5y agoThey are database triggers, but that's not enough grandeur for cryptoheads.