O cofundador da Ethereum, Vitalik Buterin, diz que a inteligência artificial (IA) pode ser crucial para resolver um dos maiores riscos técnicos da Ethereum: bugs enterrados nas profundezas de seu código.
Em uma postagem, Buterin compartilhou seu entusiasmo pela auditoria baseada em IA para identificar e corrigir códigos com bugs na rede Ethereum, descrevendo-a como o maior risco técnico para a rede.
One application of AI that I am excited about is AI-assisted formal verification of code and bug finding.
Right now ethereum's biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing.
— vitalik.eth (@VitalikButerin) February 19, 2024
Os comentários de Buterin ocorrem no momento em que Ethereum se aproxima da implementação de sua tão esperada atualização Dencun. Dencun foi implementado na testnet Goerli em janeiro, mas um bug no Prsym impediu que a rede fosse finalizada no testnet por quatro horas. As atualizações na rede Ethereum são cruciais para o roteiro de longo prazo do blockchain.
No entanto, nem todos concordam que a IA é uma ferramenta confiável para detectar bugs em código baseado em Ethereum.
Em julho de 2023, OpenZeppelin conduziu uma série de experimentos que utilizaram o GPT-4 da OpenAI para identificar problemas de segurança em contratos inteligentes Solidity – a linguagem nativa do código Ethereum.
Durante esses experimentos, o GPT-4 identificou com sucesso vulnerabilidades em 20 dos 28 desafios.
Quando o GPT-4 não conseguia identificar falhas, muitas vezes era solicitado a corrigir seus erros rapidamente. No entanto, em outras ocasiões, o OpenZeppelin descobriu que a IA havia realmente inventado uma vulnerabilidade que nunca existiu.
Da mesma forma, Kang Li, diretor de segurança da CertiK, disse que o uso de ferramentas alimentadas por IA – como o ChatGPT – na codificação geralmente cria mais problemas de segurança do que resolve.
No geral, Li recomenda que os assistentes de IA sejam usados apenas como assistentes de programadores experientes, pois podem ser úteis para explicar rapidamente aos desenvolvedores o que significa uma linha de código.
“Acho que o ChatGPT é uma ferramenta muito útil para pessoas que fazem análise de código e engenharia reversa. É definitivamente um bom assistente e melhorará tremendamente a nossa eficiência.”
Embora Buterin esteja amplamente otimista sobre o futuro da IA, ele já alertou os desenvolvedores para terem cautela ao implementar IA com tecnologia blockchain, especialmente ao implantá-la junto com aplicativos de alto risco, como oráculos.
“É importante ter cuidado: se alguém constrói, por ex. um mercado de previsão ou uma stablecoin que usa um oráculo de IA, e acontece que o oráculo é atacável, é uma enorme quantidade de dinheiro que pode desaparecer em um instante.”
