Co-fundador da NEAR defende verificação formal para combater hacking assistido por IA

O co-fundador do NEAR Protocol, Illia Polosukhin, enfatizou a necessidade de verificação formal para proteger o código da blockchain contra hacking por IA. Ele observou que a IA acelerou a descoberta de vulnerabilidades de software, superando as medidas de segurança tradicionais. Polosukhin destacou que a cibersegurança tem dependido de revisões de código feitas por humanos, que se tornam cada vez mais inadequadas devido aos modelos avançados de IA. Ele propôs que os desenvolvedores adotem provas matemáticas para garantir a integridade do código, afirmando que a IA agora pode ajudar na geração dessas provas, reduzindo significativamente o tempo necessário de anos para semanas. Um exemplo é o Projeto Tachyon, que utilizou verificação assistida por IA para confirmar que a piscina blindada Ironwood do Zcash está livre de um bug de falsificação encontrado em sua piscina Orchard. Polosukhin pediu uma mudança em direção à verificação formal para todo o código da internet, não apenas para contratos inteligentes. Além disso, a NEAR lançou uma atualização para melhorar a segurança e escalabilidade da rede, permitindo que os usuários adotem chaves de conta resistentes a quânticos.

Este conteúdo é fornecido apenas para fins informativos gerais e não constitui aconselhamento financeiro, de investimento, jurídico ou tributário. Quaisquer eventos, recompensas, promoções online ou informações relacionadas mencionadas neste documento não devem ser consideradas uma recomendação, solicitação ou convite para comprar, vender, negociar ou realizar qualquer outra transação com criptoativos. Criptoativos são altamente voláteis e podem resultar em perdas. A disponibilidade dos serviços, produtos e eventos relacionados da WEEX pode variar conforme a região. É de sua responsabilidade garantir que sua participação esteja em conformidade com as leis e regulamentações locais aplicáveis.