$34M permanently locked into AkuDreams contract forever due to bad code

Re:$34M permanently locked into AkuDreams contract forever d... by lugao on Saturday April 23, 2022 @12:13PM (#31135570)

The academy have developed tools for code verification, state modeling and formal proofs. The choice of using a javascript fork for financial contracts is deliberately dumb and will result in the craziest bugs we could imagine.

[ Parent | on HN ]

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 ]