Vitalik Buterin disse que os avanços em artificial intelligence could reshape how crypto systems are attacked e defendidos podem empurrar a infraestrutura em direção a software verificado matematicamente.
Ensaio de Buterin descreve ameaça da IA
O cofundador da Ethereum argumentou que increasingly powerful AI models tornarão muito mais fácil descobrir e explorar vulnerabilidades em softwares complexos.
Buterin considerou os bugs na infraestrutura cripto 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 disse que os desenvolvedores devem adotar verificação formal, uma abordagem que prova matematicamente que o código se comporta como pretendido sob determinadas condições.
Veja também: 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 software gerado por IA se tornou impossível 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 software mais robusto do que o que os humanos constroem sozinhos.
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 alertou, porém, que a verificação formal não é uma cura para tudo. Mesmo sistemas provados matematicamente podem falhar quando os desenvolvedores verificam suposições 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 infraestruturas digitais sensíveis se concentram em menores sistemas de "núcleo seguro", isolados e fortemente verificados, enquanto aplicações menos críticas rodam com permissões limitadas.
O cofundador da Ethereum retornou ao tema da segurança em IA repetidamente neste ano. Em fevereiro, ele sugeriu dividir os ganhos de produtividade da IA entre velocidade e segurança, e em maio ele endossou ferramentas de verificação formal como 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 confiável às ferramentas de ataque impulsionadas por IA em sistemas de blockchain e da internet tradicional.
Leia a seguir: Iran Settles Hormuz Shipping Cover In Bitcoin, Eyes $10B Haul