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 @07:18AM (#15739381)
It is just moving the goalposts. The formally verified contract is only as good as the assertions proven. Look at WPA2, it was formally verified against 'most' attacks.
[ Parent | on HN ]
Re:Deleting $300M by messing around with Ethereum contracts by mannykannot on Monday November 20, 2017 @07:42AM (#15739485)
Just to be clear, this is an argument that even formal methods might not be sufficient to secure Ethereum (and certainly not if applied piecemeal), not an argument that it can be secured by other means.
[ Parent | on HN ]
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 ]