Novas ferramentas visam tornar o «vibe coding» de IA mais seguro para a cripto

Em resumo

• A ASI Alliance e a Matterhorn disseram que estão a construir ferramentas para reduzir os riscos do código de blockchain gerado por IA.
• A plataforma combina análise automatizada, revisão humana e ferramentas de testes para auditar contratos inteligentes antes da sua implementação.
• A parceria opera na ASI:Chain e tem como objetivo integrar 20.000 programadores em 2026.

A inteligência artificial está agora a escrever o código que movimenta dinheiro nas blockchains. A Artificial Superintelligence Alliance e a plataforma de programadores Matterhorn dizem que querem garantir que esse código é seguro. A Matterhorn e a ASI Alliance anunciaram na sexta-feira a nova iniciativa centrada no “vibe coding” — uma funcionalidade da plataforma Matterhorn que permite aos programadores descrever uma aplicação em linguagem simples, e a IA gera instantaneamente todo o código do contrato inteligente. Embora esta técnica acelere o desenvolvimento e reduza a barreira para criar aplicações, também introduz o risco de a IA gerar código falho ou inseguro que os atacantes podem explorar. “Estamos no início de um mundo em que as dApps se tornam ‘apenas Apps’, algo comum como os websites e as aplicações que usamos hoje”, disse a empresa num comunicado. “Todas as outras ferramentas neste sector estão a competir para enviar código mais rapidamente. Achamos que esta é a corrida errada. Os criadores que constroem dApps que lidam com dinheiro real e utilizadores reais precisam de uma plataforma em que possam confiar, e é com esta parceria que construímos isso.”

Para mitigar esta ameaça, o fundador da Matterhorn, Abhinav Ramesh, disse que a empresa está a trabalhar com auditores externos de segurança e ferramentas automatizadas para ajudar os programadores a rever contratos inteligentes gerados por IA antes da implementação. “Fazemos parceria com empresas de auditoria de segurança que podem disponibilizar serviços de auditoria através da Matterhorn para os criadores na Matterhorn”, disse Ramesh ao Decrypt. “Temos também agentes de IA que realizam auditorias orientadas por agentes, mas não recomendamos absolutamente fazer apenas isso para aplicações em mainnet.”  A plataforma de desenvolvimento Matterhorn foi concebida para se integrar com a ASI:Chain, uma rede blockchain desenvolvida pela Artificial Superintelligence Alliance, uma coletividade descentralizada de IA que inclui Fetch.ai, SingularityNET e CUDOS, proporcionando aos programadores um ambiente único para construir, auditar e implementar aplicações descentralizadas.

“Facilitamos aos utilizadores a ligação a MCPs, a construção/uso de skills, a criação de dApps e a implementação a partir de uma única plataforma”, disse Ramesh. “Estamos a trabalhar com a equipa da ASI em ‘blessed templates’ para tornar mais fácil construir contratos mais seguros especificamente para linguagens baseadas em verificação formal.” A empresa disse que os programadores podem ligar-se a auditores de terceiros através da plataforma antes de lançar contratos numa blockchain em funcionamento. No entanto, embora a Matterhorn diga que a sua plataforma acelera o desenvolvimento, não garante segurança. “Somos um forte fator de habilitação para os criadores que querem construir em Web3”, disse Ramesh. “Não há absolutamente quaisquer garantias de qualquer tipo por parte da equipa da Matterhorn quanto à segurança ou à segurança.” Ramesh disse que a Matterhorn e a ASI Alliance estão a desenvolver ‘blessed templates’ para ajudar os programadores a construir contratos inteligentes mais seguros, enquanto integram a ASI:Cloud para fornecer o poder de computação para sistemas de IA que geram e analisam código para a linguagem de programação MeTTa, a linguagem de programação da ASI:Chain. A parceria surge à medida que os agentes de IA estão cada vez mais a entrar na indústria das criptomoedas, onde os programadores estão a experimentar sistemas capazes de gerir carteiras, executar trades e realizar tarefas financeiras on-chain, originando novas ferramentas e investigação destinadas a controlar os riscos quando esses sistemas autónomos lidam com criptomoeda. Khellar Crawford, diretor de inovação da SingularityNET, disse que grande parte da indústria blockchain depende de uma abordagem de “remendar e rezar” — escrever contratos inteligentes em linguagens pouco indicadas para concorrência complexa e confiar em auditores para detetar falhas — enquanto a F1R3FLY e a ASI:Chain utilizam o que ele chamou uma arquitetura “correct-by-construction” baseada no cálculo de Rho. “Não adivinhamos se uma aplicação é segura; provamo-la matematicamente usando tipos comportamentais espaciais”, disse Crawford ao Decrypt. “Antes de uma única linha de código tocar sequer na rede em direto, a própria matemática garante que não haverá deadlocks, que não haverá exploits de condição de corrida e que não haverá fundos divulgados.”