Novas ferramentas visam tornar a IA ‘Vibe Coding’ mais segura para criptografia

A inteligência artificial está começando a escrever o código que movimenta dinheiro em blockchains. A Aliança de Superinteligência Artificial e a plataforma de desenvolvimento Matterhorn dizem que querem ter certeza de que o código é seguro.

Matterhorn e a ASI Alliance anunciaram na sexta-feira a nova iniciativa centrada em “vibe coding” – um recurso da plataforma Matterhorn que permite aos desenvolvedores descrever um aplicativo em linguagem simples, e a IA gera instantaneamente o código completo do contrato inteligente. Embora esta técnica acelere o desenvolvimento e reduza a barreira à construção de aplicações, também introduz o risco de a IA gerar código defeituoso ou inseguro que os atacantes podem explorar.

“Estamos no início de um mundo onde os dApps se tornam ‘apenas Apps’, comuns como os sites e aplicativos que usamos hoje”, afirmou a empresa em comunicado. “Todas as outras ferramentas neste espaço estão correndo para entregar código mais rápido. Achamos que essa é a corrida errada. Os construtores que constroem dApps que lidam com dinheiro real e usuários reais precisam de uma plataforma em que possam confiar, e é com essa parceria que a construímos.”

Para mitigar esta ameaça, o fundador do Matterhorn, Abhinav Ramesh, disse que a empresa está trabalhando com auditores de segurança externos e ferramentas automatizadas para ajudar os desenvolvedores a revisar os contratos inteligentes gerados por IA antes da implantação.

“Fazemos parcerias com empresas de auditoria de segurança que podem oferecer serviços de auditoria através do Matterhorn para construtores no Matterhorn”, disse Ramesh Descriptografar. “Também temos agentes de IA que fazem auditorias de agentes, mas não recomendamos fazer exatamente isso para aplicativos da rede principal.”

A plataforma de desenvolvimento Matterhorn foi projetada para integração com ASI:Chain, uma rede blockchain desenvolvida pela Artificial Superintelligence Alliance, um coletivo descentralizado de IA que inclui Fetch.ai, SingularityNET e CUDOS, oferecendo aos desenvolvedores um ambiente único para construir, auditar e implantar aplicativos descentralizados.

“Tornamos mais fácil para os usuários conectar MCPs, desenvolver/usar habilidades, criar dApps e implantar a partir de uma única plataforma”, disse Ramesh. “Estamos trabalhando com a equipe da ASI em ‘modelos abençoados’ para facilitar a construção de contratos mais seguros, especificamente para linguagens formais baseadas em verificação.”

A empresa disse que os desenvolvedores podem se conectar com auditores terceirizados por meio da plataforma antes de lançar contratos em um blockchain ativo. No entanto, embora o Matterhorn afirme que a sua plataforma acelera o desenvolvimento, ela não garante segurança.

“Somos um forte facilitador para construtores que desejam construir na Web3”, disse Ramesh. “Não há absolutamente nenhuma garantia de qualquer tipo por parte da equipe do Matterhorn sobre segurança ou proteção.”

Ramesh disse que Matterhorn e a ASI Alliance estão desenvolvendo “modelos abençoados” para ajudar os desenvolvedores a construir contratos inteligentes mais seguros enquanto integram 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 ASI:Chain.

A parceria surge no momento em que os agentes de IA estão cada vez mais migrando para a indústria criptográfica, onde os desenvolvedores estão experimentando sistemas que podem gerenciar carteiras, executar negociações e realizar tarefas financeiras on-chain, gerando novas ferramentas e pesquisas destinadas a controlar os riscos quando esses sistemas autônomos lidam com criptomoedas.

Khellar Crawford, diretor de inovação da SingularityNET, disse que grande parte da indústria de blockchain depende de uma abordagem “remendar e orar” – escrever contratos inteligentes em linguagens pouco adequadas para concorrência complexa e contar com auditores para detectar falhas – enquanto F1R3FLY e ASI:Chain usam o que ele chamou de arquitetura “correta por construção” baseada no cálculo Rho.

“Não adivinhamos se um aplicativo é seguro, nós o provamos matematicamente usando tipos comportamentais espaciais”, disse Crawford. Descriptografar. “Antes que uma única linha de código toque a rede ativa, a própria matemática garante que não haverá impasses, explorações de condições de corrida e nenhum vazamento de fundos.”