4 ms·

Agreed - this is a problem with the DAO, not with the ethereum network itself.

• mbrock 10y ago
  It seems that we need formal verification for smart contracts and maybe a more restricted language that makes it easier to reason about correctness. Obviously it's not enough to just say "some guys did a security audit and everything looks fine."
  • lallysingh 10y ago
    Yes! It's not like the technology isn't already there, well documented, and waiting for use.