Aptos diz que é o primeiro L1 a oferecer suporte à verificação formal assistida por IA de contratos Move agendados dinamicamente e apresenta o Move Prover como um “oráculo” entre mercados e agentes de máquina.
resumo
De acordo com Aptos, este é o primeiro blockchain da camada 1 a suportar verificação formal agendada dinamicamente de contratos inteligentes usando especificações geradas por IA e sua ferramenta Move Prover. A equipe está construindo o Move Prover como um “oráculo” on-chain que prova matematicamente o comportamento dos contratos, posicionando-o como uma camada de confiança entre mercados e sistemas de negociação acionados por máquinas. Esta atualização ocorre no momento em que a Aptos aumenta seu investimento mais amplo de US$ 50 milhões em mercados orientados por IA e infraestrutura financeira em cadeia.
Aptos declara que sua rede é “a primeira L1 a suportar verificação formal agendada dinamicamente” e afirma que sua pilha de contratos inteligentes Move pode ser matematicamente comprovada para funcionar conforme projetado, mesmo quando os contratos usam funções de ordem superior e despacho dinâmico.
Em uma postagem no X, o Aptos Labs disse: “A IA escreve as especificações, a matemática prova isso e o Move Prover atua como um oráculo. Esta é uma camada de confiança entre o mercado e a máquina”. Ele descreveu um fluxo de trabalho no qual um grande modelo de linguagem gera uma especificação formal, que é então alimentada no Move Prover para validação automatizada.
Aptos se apoia no Move Prover para atrair o mercado impulsionado pela IA
Expandindo o anúncio do X, a equipe da Aptos destacou que “Move é a única linguagem de contrato inteligente com validação formal nativa integrada e suporte estendido para envio dinâmico”. Esta é uma referência aos esforços recentes para trazer funções de primeira classe e envio dinâmico para o conjunto de ferramentas Move, preservando-o ao mesmo tempo dentro do modelo de ameaça do provador.
De acordo com a documentação do Move Prover da Aptos, o verificador já é usado no nível do protocolo para “verificar a lógica central, como piquetagem, medição, implantação de código e suporte à estrutura de dados”, com o objetivo de design de permitir que especialistas de domínio com formação matemática, mas “não necessariamente formação em engenharia de software”, auditem o que os programas on-chain realmente fazem.
A pesquisa mais recente sobre este sistema, publicada em maio de 2026 em um artigo intitulado “Verificação formal de funções imperativas de primeira classe em movimento”, aponta que o despacho dinâmico aumenta drasticamente a complexidade do espaço de estados, exigindo que os engenheiros da Aptos redesenhem como os provadores geram e verificam as condições de verificação para código Move de ordem superior.
Este esforço de verificação assistido por IA vem junto com o programa de financiamento Aptos de US$ 50 milhões para mercados on-chain e sistemas de IA. A empresa está prometendo grupos de homens criptografados e criminosos secretos para construir trilhos comerciais “amigáveis às instituições” que possam resistir a bots hostis e à próxima onda de estratégias conduzidas por máquinas.
Nesse contexto, enquadrar o Move Prover como um “oráculo” entre mercados e máquinas é menos um floreio de marketing e mais uma tentativa de vender técnicas formais como a única forma escalável de monitorizar contratos inteligentes à medida que os agentes de IA os criam, implementam e transacionam em tempo real.
