Aptos vendió durante dos años la narrativa de "Verificación Formal = Seguridad" gracias a Move VM.

Hexens encontró un error de caché que, con un costo de unos pocos dólares, podía falsificar cualquier objeto de recurso, con una tasa de éxito del 90%.
Activos por $70 mil millones en la cadena estuvieron a punto de ser vaciados por unos cientos de dólares.
Se reparó silenciosamente en febrero, sin pérdidas, todos felices — pero el punto no es "está arreglado", sino que Move nunca fue seguro, solo que nadie lo vigilaba.
PoW ha resistido 15 años porque el costo del ataque es la energía. Move VM estuvo a punto de ser derribado por una propina en seis meses.
Tu "diseño seguro" no es que no tenga vulnerabilidades, es que no ha sido blanco de ataques.