News for hackers. Stuff that matters.

A comment on $34M permanently locked into AkuDreams contract forever due to bad code. Parent comment

Re:$34M permanently locked into AkuDreams contract forever d... by 323 on Saturday April 23, 2022 @12:25PM (#31135679)
Formal proofs will not save you if the assumptions are wrong. You can formally prove a bug that you thought is a feature.
[ Parent | on HN ]
Re:$34M permanently locked into AkuDreams contract forever d... by lugao on Sunday April 24, 2022 @04:17AM (#31142178)
You could at the very least model impossible states and check they won't happen. The assumptions are not that hard to model either, there are not that many moving parts.
[ Parent | on HN ]