Aptos: a primeira rede L1 a suportar contratos de agendamento dinâmico assistidos por IA

Notícias do CoinWorld, Aptos anunciou que sua rede se tornou a primeira rede L1 a suportar contratos inteligentes de agendamento dinâmico assistido por IA, afirmando que seu Move Prover pode atuar como uma “oráculo” entre o mercado e os agentes de máquina. A Aptos destacou que sua pilha de contratos inteligentes Move pode provar matematicamente que seu comportamento está de acordo com o projeto, mesmo quando os contratos usam funções de alta ordem e agendamento dinâmico. A Aptos Labs afirmou nas redes sociais que a IA escreve as normas, prova matematicamente sua correção, e o Move Prover serve como uma camada de confiança, garantindo a confiança entre o mercado e as máquinas. A equipe também apontou que o Move é a única linguagem de contratos inteligentes com verificação formal nativa incorporada, além de expandir o suporte ao agendamento dinâmico. De acordo com a documentação do Move Prover da Aptos, os verificadores já são utilizados na camada de protocolo para validar a lógica central, incluindo staking, medição, implantação de código e suporte a estruturas de dados. Pesquisas recentes indicam que o agendamento dinâmico aumenta significativamente a complexidade do espaço de estados, exigindo que engenheiros da Aptos redesenhem a geração e verificação de condições de validação. Essa iniciativa de validação assistida por IA vem acompanhada de um plano de financiamento de 50 milhões de dólares da Aptos, com o objetivo de apoiar mercados on-chain e sistemas de IA.