3 ms·
The problem is deeper, this idea of contracts enforced by computer code written by humans ( = full of bugs) is a dumb one.
by draw_down 10y ago
The problem is deeper, this idea of contracts enforced by computer code written by humans ( = full of bugs) is a dumb one.
- krisives 10y agoJust because some smart contracts fail doesn't mean they all have to.
- benjcooley 10y agoThe problem is one of trust. Contracts that can either be formally verified, or by nature of the language they are written in are mathematically guaranteed to be free of certain bugs and behaviors can be 'TRUSTED'. It's a very bad thing to not be able to trust that your money can't be trivially stolen.
- draw_down 10y agoYeah. But which are which, and are you willing to put your money on that?