A Aptos anunciou que é a primeira blockchain Layer 1 a alcançar a verificação formal do agendamento dinâmico. Esse desenvolvimento significa que o mecanismo de agendamento dinâmico na Aptos foi matematicamente comprovado para funcionar conforme o previsto. Esse avanço deve aumentar a confiabilidade e a eficiência das operações na rede Aptos, estabelecendo um novo padrão para a tecnologia blockchain.