Líderes da NEAR: a velocidade de ataques de hackers assistidos por IA está superando as análises tradicionais de código

PANews em 21 de julho, de acordo com a The Block, o cofundador do NEAR Protocol, Illia Polosukhin, afirmou que a IA está acelerando de forma significativa a capacidade dos hackers de encontrar vulnerabilidades em softwares, e que os modelos tradicionais de revisão de código já não conseguem lidar com isso. Ele destacou que o incidente do Balancer em outubro do ano passado foi o começo de ataques com auxílio de IA, e que o modelo antigo, que depende de revisão manual, é insustentável na era da IA.

Polosukhin defende a adoção de verificação formal, assegurando matematicamente que o comportamento do código está totalmente alinhado com as especificações. A IA pode gerar grande parte das provas, enquanto humanos verificam sua correção, reduzindo bastante o tempo de geração das provas. Ele acredita que a verificação formal deve se estender além de contratos inteligentes, cobrindo softwares críticos da internet e de redes. No mesmo dia, a NEAR publicou uma atualização: os usuários podem alternar para chaves de contas resistentes a ataques de criptografia quântica, e a rede pode expandir automaticamente sua capacidade conforme a atividade cresce.