On: Critical Update on DAO Vulnerability

[malux85]

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

[mbrock → malux85]

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 → mbrock]

Yes! It's not like the technology isn't already there, well documented, and waiting for use.