AptosはMove VMを2年間「形式検証＝安全」というストーリーで売り込んできた。

Hexensがキャッシュのバグを発見、数ドルのコストで任意のリソースオブジェクトを偽造でき、シミュレーション成功率は90％。
チェーン上の700億ドルの資産が、数百ドルでほぼ空っぽにされかけた。
2月にこっそり修正され、損失ゼロ、万事めでたし——だが重要なのは「修正したこと」ではなく、Moveは決して安全ではなく、ただ誰も注目していなかっただけだということだ。
PoWが15年持ったのは攻撃コストがエネルギーだったからだ。Move VMは半年も持たずにお小遣いでやられかけた。
あなたの「安全設計」に脆弱性がないのではなく、まだ狙われていないだけだ。