Aptos vendeu a narrativa de "verificação formal = segurança" com Move VM durante dois anos.

Hexens descobriu um bug de cache que, com um custo de alguns dólares, conseguia falsificar qualquer objeto de recurso, com uma taxa de sucesso de 90%.
Ativos de 70 mil milhões de dólares na cadeia quase foram levados por algumas centenas de dólares.
Em fevereiro foi corrigido discretamente, zero perdas, todos contentes — mas o importante não é que "foi corrigido", é que o Move nunca foi seguro, apenas ninguém estava a prestar atenção.
O PoW aguentou 15 anos porque o custo do ataque é energia. O Move VM aguentou seis meses e quase foi derrubado por trocos.
O teu "design seguro" não é isento de falhas, é que ninguém o visou.