Vitalik Buterin disse que os avanços em artificial intelligence could reshape how crypto systems are attacked e defendidos podem empurrar a infraestrutura rumo a softwares verificados matematicamente.
Ensaio de Buterin detalha a 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 considerou os bugs na infraestrutura cripto ainda mais alarmantes quando as 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 de precisão, e a verificação formal devolve essa precisão", escreveu Buterin.
Ele rebateu pesquisadores que argumentam que o software gerado por IA se tornou impossível de ser totalmente confiável, 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 robustos do que os 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, no entanto, 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 as 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 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 de 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 reivindicação 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.
Read Next: Iran Settles Hormuz Shipping Cover In Bitcoin, Eyes $10B Haul