News for hackers. Stuff that matters.

A comment on Deleting $300M by messing around with Ethereum contracts. Parent comment

Re:Deleting $300M by messing around with Ethereum contracts by rrobukef on Monday November 20, 2017 @09:18AM (#15739983)
Yes, i think a lot of the stupid bugs would be avoided. I don't think this was a stupid enough bug that formal methods would always catch.
[ Parent | on HN ]

There are no comments on this comment yet.