Aptos a vendu pendant deux ans le récit selon lequel « la vérification formelle = la sécurité » grâce à Move VM.

Hexens a découvert un bug de cache qui permettait, avec un coût de quelques dollars, de falsifier n'importe quel objet de ressource, avec un taux de succès de 90 % lors de la simulation.
Près de 70 milliards de dollars d'actifs sur la chaîne ont failli être vidés pour quelques centaines de dollars.
Corrigé discrètement en février, zéro perte, tout le monde est content – mais l'essentiel n'est pas que « ça a été réparé », c'est que Move n'a jamais été sécurisé, personne ne l'a simplement surveillé.
Le PoW tient depuis 15 ans grâce au coût d'attaque qui est l'énergie. Move VM a tenu six mois et a failli être mis à terre avec de l'argent de poche.
Votre « conception sécurisée » n'est pas sans faille, c'est qu'elle n'a pas été ciblée.