- Matterhorn e a Artificial Superintelligence Alliance (ASI Alliance) anunciam iniciativa de “codificação por vibração” para gerar automaticamente contratos inteligentes, visando tornar dApps mais rápidos, mas com risco de código inseguro.
- Abhinav Ramesh, fundador da Matterhorn, diz que a plataforma trabalha com auditores externos e ferramentas automatizadas para revisar o código gerado antes da implantação; não há garantia de segurança.
- A Matterhorn é integrada à ASI:Chain, rede da ASI, para facilitar construção, auditoria e implantação de aplicativos descentralizados, com foco em modelos abençoados e verificação formal.
- Desenvolvedores poderão conectar-se a auditores terceirizados pela plataforma antes de lançar contratos em blockchain ativo; reforça-se que as auditorias sozinhas não garantem segurança.
- Especialistas da SingularityNET destacam que a indústria pode ganhar com abordagens de construção segura baseadas em matemática e verificação formal, indo além de mera auditoria de código.
A parceria entre a Matterhorn e a Artificial Superintelligence Alliance (ASI) anunciou uma iniciativa para tornar a codificação por IA de contratos inteligentes mais segura para cripto. A decisão envolve a técnica de codificação por vibração, que permite descrever um aplicativo em linguagem simples e gerar o código automaticamente.
A ideia é acelerar o desenvolvimento de dApps com segurança integrada. Desenvolvedores podem criar contratos com maior velocidade, mas o risco de código falho ou inseguro gerado por IA permanece. A colaboração busca mitigar esse risco com revisões de segurança.
A parceria envolve auditores externos e ferramentas automatizadas para revisar contratos gerados antes da implantação em blockchains ativos. A Matterhorn também utiliza agentes de IA para auditorias, porém reforça que não se deve depender apenas deles para a mainnet.
A plataforma Matterhorn foi criada para integrar a ASI:Chain, rede blockchain da ASI que reúne projetos como Fetch.ai, SingularityNET e CUDOS. O objetivo é oferecer ambiente único para construir, auditar e implantar dApps com linguagem baseada em verificação formal.
Segundo Abhinav Ramesh, fundador da Matterhorn, a plataforma facilita a conexão com auditores terceirizados via serviço integrado. Ele destacou que a parceria não garante segurança, mesmo com auditorias, especialmente para aplicações em redes reais.
Ramesh explicou ainda que o esforço envolve o ASI:Cloud para prover capacidade computacional à geração e análise de código para MeTTa, linguagem usada na ASI:Chain. O foco é avançar modelos que contribuam para contratos mais seguros.
Especialistas do setor relatam que a IA está cada vez mais presente em cripto, com desenvolvedores explorando sistemas que gerem e gerenciem operações on-chain. A comunidade tem buscado mecanismos para controlar riscos em contratos autônomos.
Khellar Crawford, da SingularityNET, disse que a indústria costuma remendar falhas com auditorias, enquanto propostas da ASI:Chain prometem uma abordagem fundamentada em construção matemática para evitar falhas antes de qualquer código ir à rede.
Entre na conversa da comunidade