Vitalik Buterin Diz que IA Pode Acelerar o Roteiro do Ethereum Enquanto Reforça a Segurança

• Ferramentas de IA estão a comprimir significativamente os prazos de desenvolvimento do Ethereum, permitindo prototipagem rápida e iteração.
• A verificação formal com IA está a acelerar provas para criptografia complexa baseada em STARK, reforçando a segurança da blockchain.
• Dividir os ganhos da IA entre velocidade e segurança permite aos desenvolvedores do Ethereum expandir a cobertura de testes e reduzir bugs críticos.

Vitalik Buterin afirma que a inteligência artificial está a começar a transformar a forma como o Ethereum é construído.

Numa publicação recente na X, descreveu um experimento em que a IA foi usada para “vibe-code” grande parte do roteiro do Ethereum para 2030 em poucas semanas. Chamou o resultado de impressionante, embora alertasse que ainda é altamente experimental.

O projeto foi concluído sem finalizar as Propostas de Melhoria do Ethereum (EIPs). Isso, por si só, significa que o código provavelmente contém bugs graves. Algumas funcionalidades podem existir apenas como implementações parciais. Há seis meses, acrescentou, mesmo alcançar esta fase pareceria impossível.

Este é um experimento bastante impressionante. Vibe-coding de todo o roteiro de 2030 em semanas.

Obviamente, algo assim construído em duas semanas, sem sequer ter as EIPs, tem grandes limitações: quase certamente muitos bugs críticos, e provavelmente em alguns casos versões “stub” de uma funcionalidade… https://t.co/ZlTg0r2hvI

— vitalik.eth (@VitalikButerin) 28 de fevereiro de 2026

Ganhos de Velocidade na Programação com IA – Mas Sem Perfeição

Buterin afirmou que as ferramentas de IA estão a comprimir dramaticamente os prazos de desenvolvimento. Recentemente, usou um modelo open-source executado localmente para recriar uma versão do seu software de blog em cerca de uma hora. Modelos mais avançados, sugeriu, poderiam completar construções semelhantes numa única tentativa.

O roteiro do Ethereum foca em melhorias de escalabilidade, maior descentralização e segurança aprimorada da blockchain. Os desenvolvedores estão a trabalhar em várias camadas do protocolo para reduzir o tráfego e aumentar a eficiência. Ciclos de codificação mais rápidos podem acelerar esses esforços paralelos.

Ainda assim, Buterin alertou contra excesso de confiança. Um único prompt não produzirá código seguro para produção. Os engenheiros devem esperar inconsistências, falhas em casos extremos e lacunas estruturais. O que muda, argumentou, é a velocidade com que esses problemas são identificados e corrigidos.

Verificação Formal Ganha Foco

Em vez de usar IA apenas para acelerar, Buterin sugeriu redirecionar parte dos ganhos de produtividade para segurança. Isso inclui gerar volumes maiores de casos de teste e expandir esforços de verificação formal.

Ele destacou o trabalho sob o projeto LeanEthereum, uma iniciativa de pesquisa dedicada à verificação matemática dos componentes centrais do Ethereum. Um parceiro, disse, usou recentemente IA para construir uma prova verificável por máquina de um teorema complexo que sustenta a criptografia baseada em STARK.

Os STARKs formam a base de vários sistemas de provas de conhecimento zero usados para escalar redes blockchain. Produzir provas formais para esses sistemas tradicionalmente exigia esforço manual significativo. A assistência de IA está agora a reduzir essa barreira.

A verificação formal baseia-se em métodos matemáticos para confirmar que o código se comporta exatamente como especificado. Na segurança da blockchain, esse processo limita pontos fracos que poderiam levar a explorações ou perdas financeiras.

Elevando o Padrão de Segurança

Buterin reconheceu que software absolutamente livre de bugs é impossível. O código não consegue capturar perfeitamente todas as intenções humanas por trás dele.

No entanto, argumentou que garantias de segurança direcionadas e verificáveis podem eliminar a maioria dos riscos práticos.

Em sistemas descentralizados, construídos com base na ausência de necessidade de confiar nos outros, padrões de verificação mais rigorosos reduzem a dependência de coordenação social ou monitoramento manual. Buterin afirmou que avanços contínuos na codificação com IA podem impulsionar o Ethereum para padrões de segurança mais elevados, ao mesmo tempo que reduzem o horizonte de desenvolvimento.