Aptos ha anunciado que es la primera blockchain de Capa 1 que soporta la verificación formal del despacho dinámico, permitiendo que los mecanismos sean verificados matemáticamente para su correcto funcionamiento. Este avance permite a los desarrolladores utilizar IA para redactar especificaciones y emplear Move Prover para verificar la lógica de los contratos inteligentes, mejorando la verificabilidad y seguridad de los programas en la cadena.