Vitalik Buterin disse que avanços em artificial intelligence could reshape how crypto systems are attacked e defendidos podem empurrar a infraestrutura em direção a softwares verificados matematicamente.
Ensaio de Buterin detalha ameaça da IA
O cofundador da Ethereum argued que increasingly powerful AI models tornarão muito mais fácil descobrir e explorar vulnerabilidades em softwares complexos.
Buterin classificou bugs na infraestrutura de cripto como ainda mais alarmantes quando ferramentas de IA começarem a automatizar a descoberta de vulnerabilidades, uma preocupação ecoada em toda a comunidade de pesquisa em segurança.
Ele destacou a infraestrutura da Ethereum (ETH), mecanismos de consenso e criptografia pós‑quântica como alvos prioritários para defesas mais fortes.
Em vez de depender de auditorias tradicionais, Buterin said que os desenvolvedores devem adotar verificação formal, uma abordagem que prova matematicamente que o código se comporta como pretendido sob condições definidas.
Also Read: Crypto Funds Bleed $1.07B As Iran Tensions End Six-Week Inflow Run
Verificação formal como defesa
"A IA lhe dá a capacidade de escrever grandes volumes de código ao custo da precisão, e a verificação formal devolve a precisão", escreveu Buterin.
Ele rebateu pesquisadores que argumentam que softwares gerados por IA se tornaram impossíveis de confiar totalmente, apresentando em vez disso uma visão mais otimista.
Buterin acredita que a programação assistida por IA, combinada com ferramentas de verificação, pode eventualmente produzir softwares mais fortes do que aqueles construídos apenas por humanos.
Ele também destacou projetos ativos como Arklib e evm-asm, que se concentram em proteger a infraestrutura criptográfica e o software da Ethereum Virtual Machine.
O ensaio warned, porém, que a verificação formal não é uma cura para tudo. Mesmo sistemas comprovados matematicamente podem falhar quando os desenvolvedores verificam premissas erradas ou quando explorações ficam fora do caminho de código verificado.
Histórico de segurança de Buterin
Buterin esboçou um futuro em que a infraestrutura digital sensível se concentra em pequenos sistemas de "núcleo seguro", isolados e fortemente verificados, enquanto aplicações menos críticas rodam com permissões limitadas.
O cofundador da Ethereum retomou o tema da segurança em IA repetidas vezes neste ano. Em fevereiro, ele sugeriu dividir os ganhos de produtividade da IA entre velocidade e segurança e, em maio, endossou ferramentas de verificação formal como o Lean para desenvolvimento de alta garantia. Seu post mais recente estende esses argumentos para uma tese mais ampla, apresentando a prova matemática como a resposta mais crível às ferramentas de ataque impulsionadas por IA em sistemas de blockchain e também na internet tradicional.
Read Next: Iran Settles Hormuz Shipping Cover In Bitcoin, Eyes $10B Haul