Vitalik Buterin disse que 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 descreve 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 afirmou que bugs na infraestrutura cripto são 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 te dá a capacidade de escrever grandes volumes de código ao custo da precisão, e a verificação formal te 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 codificação assistida por IA combinada com ferramentas de verificação pode eventualmente produzir softwares mais robustos 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 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 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 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 movidas por IA em sistemas de blockchain e também na internet tradicional.
Read Next: Iran Settles Hormuz Shipping Cover In Bitcoin, Eyes $10B Haul