Aptos a annoncé qu'il est la première blockchain de couche 1 à prendre en charge la vérification formelle du dispatch dynamique, permettant ainsi de vérifier mathématiquement les mécanismes pour assurer leur bon fonctionnement. Cette avancée permet aux développeurs d'utiliser l'IA pour rédiger des spécifications et d'employer Move Prover pour vérifier la logique des contrats intelligents, renforçant ainsi la vérifiabilité et la sécurité des programmes sur la chaîne.