Ciberataques assistidos por IA ultrapassam as revisões de código tradicionais, diz o cofundador da NEAR

ZEC3,80%
De acordo com o cofundador da NEAR Protocol, Illia Polosukhin, numa entrevista ao The Block na segunda-feira, a inteligência artificial está agora a permitir que os hackers descubram vulnerabilidades de software mais depressa do que as revisões de segurança tradicionais conseguem corrigir. Polosukhin defendeu que a abordagem tradicional — ter programadores experientes a rever manualmente o código — já não é sustentável face às capacidades dos novos modelos de IA. Propôs a verificação formal, que prova matematicamente que o código «faz exatamente o que diz que faz», como uma solução mais eficaz. Embora historicamente cara e exigente em termos de esforço, a IA pode agora ajudar a gerar grande parte das provas necessárias, que depois podem ser verificadas de forma independente. O Project Tachyon, uma iniciativa da Zcash, demonstrou esta abordagem ao usar verificação assistida por IA para produzir uma prova matemática em semanas, em vez de anos.
Aviso legal: As informações contidas nesta página podem provir de fontes externas e têm caráter meramente informativo. Não refletem os pontos de vista nem as opiniões da Gate e não constituem qualquer tipo de aconselhamento financeiro, de investimento ou jurídico. A negociação de ativos virtuais envolve um risco elevado. Não se baseie exclusivamente nas informações contidas nesta página ao tomar decisões. Para mais detalhes, consulte o Aviso legal.
Comentar
0/400
Nenhum comentário