Aptos anunciou que é a primeira blockchain Layer 1 a suportar a verificação formal de despacho dinâmico, permitindo que os mecanismos sejam verificados matematicamente para operação correta. Esse avanço permite que os desenvolvedores usem IA para escrever especificações e empreguem o Move Prover para verificar a lógica dos contratos inteligentes, aumentando a verificabilidade e a segurança dos programas on-chain.