O cofundador da NEAR recomenda verificação formal contra ataques assistidos por IA; a rede disponibiliza chaves de conta resistentes à computação quântica a 21 de julho.
A Odaily, o cofundador do NEAR Protocol, Illia Polosukhin, no dia 21 de julho, defendeu a verificação formal como defesa contra ameaças de hacking aceleradas com apoio de IA, argumentando que a revisão tradicional de código já não é sustentável. Polosukhin propôs o uso de provas matemáticas para garantir que o comportamento do código corresponde às especificações, com a IA a gerar a maior parte das provas e os humanos a validá-las. No mesmo dia, a NEAR lançou uma atualização que permite aos util
GateNews·8m atrás
