TheBlock
Illia Polosukhin, cofundador da NEAR Protocol, alertou que o hacking assistido por IA ultrapassou a revisão manual tradicional de código, classificando a verificação formal como uma mudança necessária para proteger a infraestrutura blockchain. Ao dirigir-se à comunidade de segurança em geral, apresentou a lacuna como um problema estrutural: os defensores auditam à velocidade humana, enquanto os atacantes operam agora à velocidade das máquinas.
Porque é importante
Polosukhin apontou para uma aceleração específica no trabalho de geração de provas matemáticas, que antes levava anos e agora fica concluído em semanas quando se aplica IA. Essa assimetria é relevante porque a verificação formal é a metodologia que produz provas de correção verificáveis por máquina, em vez de depender de revisores humanos para detetar casos-limite. Se a geração de provas acelerar uma ordem de grandeza, os atacantes ganham uma via mais rápida para encontrar caminhos de exploração, mas os defensores também podem industrializar o processo de auditoria que hoje depende de pequenas equipas de engenheiros especializados.
Impacto no mercado
Este enquadramento coloca a verificação formal, e não orçamentos de auditoria maiores, como o primitivo de segurança central para o próximo ciclo de desenho de protocolos. Para a NEAR, uma chain que apostou fortemente em abstração de contas e sharding, a mensagem é que o custo de uma única vulnerabilidade ignorada aumenta mais depressa quando os exploits podem ser gerados e testados automaticamente. Os projetos que ainda dependem de ciclos de auditoria convencionais enfrentam uma janela de exposição cada vez maior.
Perguntas frequentes
-
O que disse o cofundador da NEAR sobre IA e segurança de código?
Illia Polosukhin defendeu que o hacking assistido por IA ultrapassou a revisão manual tradicional de código e que a verificação formal é a mudança estrutural necessária para proteger código blockchain contra ataques impulsionados por IA.
-
O que é a verificação formal e porque é que Polosukhin considera que importa?
A verificação formal produz provas matemáticas de correção de código verificáveis por máquina, substituindo a dependência de revisores humanos para detetar casos-limite. Polosukhin apresentou-a como a única metodologia que escala para acompanhar atacantes à velocidade das máquinas.
-
Quão rápida tornou a IA a geração de provas?
Segundo Polosukhin, tarefas de geração de provas matemáticas que antes levavam anos podem agora ser concluídas em semanas quando se aplica IA, acelerando tanto auditorias defensivas como descoberta ofensiva de exploits.
-
Porque é que isto afeta mais a NEAR do que chains mais simples?
A NEAR apoia-se em abstração de contas e numa arquitetura fragmentada, onde uma única vulnerabilidade ignorada se agrava mais depressa quando os exploits podem ser gerados e testados automaticamente em vez de construídos à mão.
-
O que devem os projetos cripto retirar deste alerta?
Projetos que ainda dependem de ciclos de auditoria convencionais enfrentam uma janela de exposição crescente à medida que encurta o tempo entre a descoberta de uma vulnerabilidade e um exploit funcional. O argumento é que a verificação formal deve substituir, não apenas complementar, a revisão tradicional.
CZ Binance
WuBlockchain
CoinTelegraph
CoinDesk
Altcoin Daily
WatcherGuru
Crypto Rank News