3 ms·

Just because some smart contracts fail doesn't mean they all have to.

• benjcooley 10y ago
  The 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 ago
  Yeah. But which are which, and are you willing to put your money on that?