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 é disponibilizado apenas para fins informativos gerais e não constitui aconselhamento financeiro, de investimento, jurídico ou fiscal. Quaisquer eventos, recompensas, promoções online ou informações relacionadas aqui mencionados não devem ser interpretados como uma recomendação, solicitação ou convite para comprar, vender, negociar ou realizar quaisquer outras operações com criptoativos. Os criptoativos são altamente voláteis e podem resultar em perdas. A disponibilidade dos serviços, produtos e eventos relacionados da WEEX pode variar consoante a região. O utilizador é responsável por garantir que a sua participação está em conformidade com a legislação e os regulamentos locais aplicáveis.