Wu a appris qu'Aptos a déclaré être la première blockchain de couche 1 à prendre en charge la vérification formelle de la distribution dynamique (dynamic dispatch), permettant de vérifier mathématiquement si le mécanisme fonctionne conformément à la conception. Aptos affirme que les développeurs peuvent utiliser l'IA pour rédiger des spécifications et vérifier la logique des contrats intelligents avec Move Prover, afin d'améliorer la vérifiabilité et la sécurité des programmes sur la chaîne.