Aptos a annoncé qu'il est la première blockchain de couche 1 à avoir obtenu la vérification formelle de la planification dynamique. Cette avancée signifie que le mécanisme de planification dynamique sur Aptos a été mathématiquement prouvé comme fonctionnant conformément aux attentes. Cette progression devrait améliorer la fiabilité et l'efficacité des opérations sur le réseau Aptos, établissant une nouvelle norme pour la technologie blockchain.