Aptos ha anunciado que es la primera blockchain de Capa 1 en lograr la verificación formal de la programación dinámica. Este desarrollo significa que el mecanismo de programación dinámica en Aptos ha sido probado matemáticamente para funcionar según lo previsto. Se espera que este avance mejore la fiabilidad y eficiencia de las operaciones en la red de Aptos, estableciendo un nuevo estándar para la tecnología blockchain.