Novas Ferramentas Têm como Objetivo 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 ferramentas de análise automatizada, revisão humana e testes para auditar contratos inteligentes antes da implementação.
• A parceria funciona com a ASI:Chain e tem como objetivo integrar 20.000 developers em 2026.

A inteligência artificial está a começar a escrever o código que movimenta dinheiro em blockchains. A Artificial Superintelligence Alliance e a plataforma de desenvolvimento Matterhorn dizem que querem garantir que esse código é seguro. A Matterhorn e a ASI Alliance anunciaram na sexta-feira a nova iniciativa centrada em “vibe coding”—uma funcionalidade da plataforma Matterhorn que permite aos developers 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 construir aplicações, também introduz o risco de a IA gerar código com falhas ou inseguro que os atacantes possam explorar. “Estamos no início de um mundo em que as dApps se tornam ‘apenas Apps’, algo tão comum como os websites e as apps que usamos hoje”, disse a empresa num comunicado. “Todas as outras ferramentas neste espaço estão a correr para disponibilizar código mais rapidamente. Achamos que essa é 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 esta parceria é a forma como nós construímos isso.”

Para mitigar esta ameaça, o fundador da Matterhorn, Abhinav Ramesh, disse que a empresa está a trabalhar com auditores de segurança externos e ferramentas automatizadas para ajudar os developers a rever contratos inteligentes gerados por IA antes da implementação. “Fazemos parceria com empresas de auditoria de segurança que podem oferecer serviços de auditoria através da Matterhorn para os construtores na Matterhorn”, disse Ramesh ao Decrypt. “Também temos agentes de IA que fazem auditorias agênticas, 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, um coletivo descentralizado de IA que inclui Fetch.ai, SingularityNET e CUDOS, dando aos developers um único ambiente para construir, auditar e implementar aplicações descentralizadas.

“Facilitamos a ligação a MCPs, a construção/uso de skills, a construçã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 developers podem ligar-se a auditores de terceiros através da plataforma antes de lançar contratos numa blockchain em funcionamento. No entanto, apesar de a Matterhorn dizer que a sua plataforma acelera o desenvolvimento, não garante segurança. “Somos um forte capacitador para construtores 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 cibernética.” Ramesh disse que a Matterhorn e a ASI Alliance estão a desenvolver “blessed templates” para ajudar os developers a construir contratos inteligentes mais seguros, ao mesmo tempo que integram a ASI:Cloud para fornecer o poder de computação para sistemas de IA que geram e analisam código para MeTTa, a linguagem de programação da ASI:Chain. A parceria surge à medida que agentes de IA estão cada vez mais a entrar na indústria cripto, onde os developers estão a experimentar sistemas que podem gerir carteiras, executar transações e realizar tarefas financeiras on-chain, dando origem a 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 de blockchain depende de uma abordagem de “patch-and-pray”—escrevendo contratos inteligentes em linguagens mal adequadas para concorrência complexa e confiando que os auditores detetam falhas—enquanto a F1R3FLY e a ASI:Chain utilizam uma arquitetura que ele descreveu como “correct-by-construction” baseada em cálculo de Rho. “Não adivinhamos se uma aplicação é segura; provamo-la matematicamente usando tipos de comportamento espacial”, disse Crawford ao Decrypt. “Antes de qualquer linha de código tocar sequer na rede em tempo real, a própria matemática garante que não haverá deadlocks, exploits de race-condition, nem fundos divulgados.”