Aptos hat bekannt gegeben, dass es die erste Layer-1-Blockchain ist, die die formale Verifikation von dynamischem Dispatch unterstützt, wodurch Mechanismen mathematisch auf ihre korrekte Funktionsweise überprüft werden können. Dieser Fortschritt ermöglicht es Entwicklern, KI zu nutzen, um Spezifikationen zu erstellen, und den Move Prover einzusetzen, um die Logik von Smart Contracts zu verifizieren, was die Überprüfbarkeit und Sicherheit von On-Chain-Programmen verbessert.