Cofundador da NEAR: hacking com IA supera auditorias e ameaça fundos

O cofundador do NEAR Protocol, Illia Polosukhin, emitiu um alerta severo na segunda-feira: o hacking impulsionado por IA está avançando mais rápido que o processo tradicional de revisão de código, tornando obsoletos os métodos de segurança mais antigos. Ele classificou a verificação formal – uma abordagem matemática para provar que um programa faz exatamente o que deveria fazer – como o próximo passo necessário para a segurança de blockchains.

O comentário de Polosukhin surge num momento em que as ferramentas de IA generativa já conseguem escrever contratos inteligentes funcionais, encontrar exploits e até mesmo criar cargas de ataque. As auditorias tradicionais, onde humanos leem manualmente o código linha por linha, simplesmente não conseguem acompanhar a velocidade e a escala dos ataques gerados por IA, argumentou ele.

A verificação formal não é nova. Ela é usada há muito tempo em software aeroespacial, de defesa e financeiro, onde falhas são inaceitáveis. Mas o custo é alto: escrever especificações formais para um único contrato inteligente pode levar semanas. Polosukhin reconheceu o custo, mas disse que a relação custo-benefício está mudando à medida que as ameaças impulsionadas por IA se multiplicam.

"Com o hacking assistido por IA, o invasor pode gerar milhares de variantes de um exploit em segundos", disse Polosukhin em entrevista ao The Block. "Um revisor humano pode identificar um padrão, mas não as variações. A verificação formal oferece uma garantia, não apenas uma suposição."

O aviso tem um peso particular para projetos de blockchain, onde uma única falha de código pode drenar milhões em segundos. A própria NEAR usa uma plataforma de contratos inteligentes baseada em Rust e investiu em ferramentas de verificação formal para seu ecossistema, mas a indústria em geral ainda depende muito de auditorias manuais.

Para traders e desenvolvedores, essa mudança significa um prêmio crescente em redes e dApps que adotam métodos formais rigorosos – e um risco crescente para aqueles que não o fazem. O próximo catalisador a ser observado: se os principais protocolos DeFi começarão a exigir a verificação formal em seus padrões de segurança.