Cofundador da NEAR: invasões com auxílio de IA superam revisões tradicionais de código

O cofundador do NEAR Protocol, Illia Polosukhin, afirmou na segunda-feira que o hacking assistido por IA começou no último Outubro e agora está superando as análises tradicionais de segurança de código. Falando em uma entrevista no podcast The Starting Block, da The Block, Polosukhin apontou o incidente da Balancer como o primeiro exemplo dessa tendência. Ele atribuiu a aceleração à capacidade dos modelos de IA de encontrar vulnerabilidades de software mais rápido do que os revisores humanos conseguem corrigir. A indústria de cibersegurança historicamente dependeu de revisões manuais de código, mas Polosukhin argumentou que essa abordagem se tornou insustentável à medida que as ferramentas de IA evoluem.

Polosukhin propõe verificação formal como solução de segurança

Polosukhin defendeu a verificação formal, que prova matematicamente que o código “faz o que diz que faz”. Ele disse que esse processo historicamente foi caro, lento e trabalhoso, mas que a IA agora pode ajudar a gerar grande parte da prova necessária, que então pode ser verificada de forma independente.

“Você não precisa confiar na IA porque a IA apenas produz a prova”, disse Polosukhin. “Você apenas verifica se a prova está correta.”

Ele argumentou que, até agora, a cibersegurança envolveu principalmente “pessoas inteligentes” revisando código e torcendo para que ninguém mais inteligente encontrasse algo que elas perderam. “Precisamos de uma forma diferente de pensar”, disse Polosukhin. “Não é tipo: ‘Ah, vamos revisar tudo com um modelo melhor e esperar que o próximo modelo melhor não encontre isso’.”

Polosukhin afirmou que essa abordagem deveria, eventualmente, ir além de smart contracts para abranger softwares críticos de internet e de redes. “Precisamos mudar fundamentalmente para construir código de blockchain — e, honestamente, todo o código da internet — de modo a ser verificado formalmente”, disse.

O projeto Zcash Tachyon demonstra geração de provas assistida por IA

O projeto Tachyon usou verificação assistida por IA para produzir uma prova matemática de que o pool blindado Ironwood do Zcash não pode conter o mesmo tipo de bug de falsificação indetectável que foi encontrado no pool Orchard no mês passado. O Tachyon disse que os avanços na geração de provas assistida por IA reduziram trabalhos que antes levavam anos para algo em questão de semanas.

NEAR lança atualização resistente a ataques quânticos

A NEAR lançou na segunda-feira uma atualização voltada a preparar a rede para demandas emergentes de segurança e escalabilidade. Agora, os usuários podem alternar para chaves de conta resistentes a ataques quânticos, enquanto a rede pode expandir automaticamente sua capacidade conforme a atividade cresce.

FAQ

O que o cofundador do NEAR Protocol disse sobre hacking assistido por IA?

Illia Polosukhin afirmou na segunda-feira que o hacking assistido por IA começou no último Outubro com o incidente da Balancer e agora está superando as análises tradicionais de segurança de código. Ele disse que os modelos de IA conseguem encontrar vulnerabilidades de software mais rápido do que os revisores humanos conseguem corrigir.

Como funciona a verificação formal, segundo Polosukhin?

Polosukhin descreveu a verificação formal como um processo que prova matematicamente que o código “faz o que diz que faz”. Ele disse que a IA agora pode ajudar a gerar grande parte da prova necessária, que então pode ser verificada de forma independente, sem depender da própria IA.

Que atualização o NEAR anunciou?

A NEAR lançou na segunda-feira uma atualização que permite que os usuários alternem para chaves de conta resistentes a ataques quânticos e habilita a rede a expandir automaticamente sua capacidade conforme a atividade cresce.