NEAR聯創：使用AI輔助的駭客攻擊速度，正在超越傳統的代碼審查

PANews 21 de julho, segundo a The Block, o cofundador do NEAR Protocol, Illia Polosukhin, afirmou que a IA está a acelerar de forma significativa a capacidade dos hackers para descobrirem vulnerabilidades em software, e que os métodos tradicionais de revisão de código já não conseguem dar resposta. Sublinhou que o incidente do Balancer de outubro passado foi o início de ataques assistidos por IA, e que o modelo antigo baseado em revisão manual já não é sustentável na era da IA.

Polosukhin defende a utilização de validação formal, assegurando por meio de matemática que o comportamento do código corresponde exatamente às especificações. A IA pode gerar grande parte das provas, que depois são verificadas por humanos, reduzindo consideravelmente o tempo de geração das mesmas. Considera que a validação formal deve ser alargada para além dos contratos inteligentes, cobrindo software crítico da Internet e de rede. No mesmo dia, a NEAR publicou uma atualização, permitindo aos utilizadores alternar para chaves de contas resistentes a ataques de quanticas, e a rede pode expandir automaticamente a sua capacidade à medida que a atividade aumenta.