A inteligência artificial está superpotencializando a capacidade dos hackers de encontrar vulnerabilidades de software mais rapidamente do que a segurança tradicional pode corrigi-las, de acordo com o cofundador do NEAR Protocol, Illia Polosukhin, que argumenta que os desenvolvedores deveriam recorrer a provas matemáticas para proteger seu código.

"Eu diria que em outubro passado — acho que o Balancer foi o primeiro — foi quando a invasão assistida por IA começou", disse Polosukhin na segunda-feira em uma entrevista com Gareth Jenkinson no podcast The Starting Block, do The Block.

Polosukhin disse que a cibersegurança até este ponto envolveu principalmente "pessoas inteligentes" revisando o código e esperando que ninguém mais inteligente encontrasse algo que elas perderam. Essa mentalidade já era imperfeita antes da ascensão da IA, disse ele, mas modelos mais novos e capazes estão tornando-a ainda menos sustentável.

"Precisamos de uma maneira diferente de pensar", disse Polosukhin. "Não é como, 'Oh, vamos revisar tudo com um modelo melhor e esperar que o próximo modelo melhor não o encontre.'"

Sua solução proposta é a verificação formal que prova matematicamente que o código "faz o que diz fazer". Esse processo tem sido historicamente caro, lento e trabalhoso, mas Polosukhin disse que a IA agora pode ajudar a gerar a maior parte da prova necessária, que pode então ser verificada independentemente.

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

Uma iniciativa recente da Zcash é um exemplo do que Polosukhin está descrevendo. O Projeto Tachyon usou verificação assistida por IA para produzir uma prova matemática de que o pool blindado Ironwood da Zcash não pode conter o mesmo tipo de bug de falsificação indetectável que foi encontrado em seu pool Orchard no mês passado.

O Projeto Tachyon disse que os avanços na geração de provas assistidas por IA reduziram o trabalho que antes levava anos para uma questão de semanas. 

Polosukhin também argumenta que essa abordagem deve, eventualmente, ir além dos contratos inteligentes para softwares críticos de internet e rede.

"Precisamos mudar fundamentalmente para a construção de código blockchain — e, honestamente, todo o código na internet — para ser formalmente verificado", disse ele.

Separadamente, na segunda-feira, a NEAR lançou uma atualização visando preparar a rede para as demandas emergentes de segurança e escalabilidade. Os usuários agora podem mudar para chaves de conta resistentes a quântica, enquanto a rede pode expandir automaticamente sua capacidade à medida que a atividade cresce.