O cofundador da NEAR recomenda verificação formal contra ataques assistidos por IA; a rede liberará chaves de conta resistentes a ataques quânticos em 21 de jul.

De acordo com a Odaily, em 21 de julho, o cofundador do NEAR Protocol, Illia Polosukhin, defendeu a verificação formal como uma defesa contra as ameaças de hacking aceleradas por 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 esteja alinhado com as especificações, com a IA gerando a maior parte das provas e os humanos validando-as. No mesmo dia, a NEAR lançou uma atualização que permite aos usuários alternar para chaves de conta resistentes a ataques quânticos, enquanto a capacidade de autoescala da rede aumenta à medida que a atividade cresce.
Isenção de responsabilidade: as informações nesta página podem ter origem em fontes terceiras e servem apenas como referência. Não representam as opiniões da Gate e não constituem orientação financeira, de investimentos ou jurídica. A negociação de ativos virtuais envolve alto risco. Não tome decisões baseando-se apenas nas informações desta página. Para mais detalhes, consulte a Isenção de responsabilidade.
Comentário
0/400
Sem comentários