Vitalik Buterin Diz que a IA Pode Acelerar o Roteiro Ethereum 2030

Resumo

• IA construiu um cliente Ethereum de 700.000 linhas em duas semanas
• Protótipo cobre 65 itens do roteiro e sincroniza com a mainnet
• Buterin pede mais testes e verificação formal
• IA ajudou a produzir uma prova STARK verificável por máquina

Vitalik Buterin afirma que a IA pode acelerar o roteiro Ethereum para 2030 em níveis de segurança sem precedentes. Ele destacou um experimento recente onde um desenvolvedor criou um protótipo de cliente Ethereum alinhado ao roteiro em duas semanas usando codificação agentic. O protótipo inclui cerca de 700.000 linhas de código, cobre 65 itens do roteiro e sincroniza com a mainnet do Ethereum.

Protótipo Construído por IA Alinha-se com o Roteiro Ethereum 2030

O cofundador do Ethereum, Vitalik Buterin, disse que a IA está acelerando o desenvolvimento do Ethereum. Ele citou um desenvolvedor que usou codificação agentic para criar um cliente alinhado ao roteiro de 2030. O protótipo foi concluído em aproximadamente duas semanas. Inclui cerca de 700.000 linhas de código e suporta 65 itens do roteiro. O cliente está sincronizando com a mainnet do Ethereum.

Esta é uma experiência bastante impressionante. Codificando toda a rota 2030 em semanas.

Obviamente, algo assim construído em duas semanas sem sequer ter as EIPs tem grandes ressalvas: quase certamente muitos bugs críticos, e provavelmente em alguns casos versões “stub” de uma coisa…

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

Buterin descreveu o esforço como um experimento que mostra progresso rápido. Ele disse que trabalhos semelhantes não eram realistas há seis meses. Acrescentou que a direção do avanço da IA é o mais importante. Também compartilhou um exemplo pessoal. Disse que construiu um software semelhante ao seu blog em uma hora usando codificação agentic. O modelo utilizado estava rodando localmente em seu laptop.

Ganhos de Velocidade Têm Riscos Técnicos

Buterin alertou que construções rápidas com IA carregam riscos. Ele afirmou que um projeto concluído em duas semanas sem EIPs finalizadas provavelmente contém bugs críticos. Acrescentou que algumas partes podem ser versões stub. Avisou contra a suposição de que um único prompt pode gerar código seguro para produção. Disse que haverá bugs e inconsistências entre implementações.

No entanto, afirmou que a IA permite que esse processo seja cinco vezes mais rápido. Explicou que os desenvolvedores ainda precisarão revisar e comparar o código. Testes e validações continuam sendo passos necessários.

A IA reduz o tempo gasto em tarefas repetitivas e aumenta a velocidade de iteração. Buterin afirmou que o experimento não deve ser visto como infraestrutura final. Enquadrá-lo como um sinal de mudança nos métodos de desenvolvimento. A IA agora faz parte do fluxo técnico do Ethereum.

Foco em Testes e Verificação Formal

Buterin disse que os ganhos com IA devem ser divididos entre velocidade e segurança. Sugeriu que metade dos ganhos de produtividade deve ser direcionada a testes mais robustos. Isso inclui gerar mais casos de teste e realizar verificação formal. Ele mencionou o esforço Lean Ethereum, que busca verificar formalmente componentes do Ethereum. Um colaborador usou IA para criar uma prova verificável por máquina de um teorema STARK complexo.

Buterin afirmou que a verificação formal apoia sistemas sem confiança. Acrescentou que a IA pode ampliar o volume de testes e melhorar verificações multi-implementação. Essas etapas reduzem riscos associados a códigos com falhas. Disse que segurança total não é alcançável. Explicou que segurança perfeita exigiria alinhamento exato entre código e intenção humana.

Ainda assim, observou que afirmações específicas de segurança podem ser verificadas. Buterin disse que as pessoas devem considerar a possibilidade de o roteiro Ethereum terminar mais rápido do que o esperado. Também afirmou que os padrões de segurança podem aumentar à medida que as ferramentas de verificação melhoram. Disse que códigos livres de bugs em casos definidos podem se tornar possíveis. Essa ideia era vista como irrealista no passado. A verificação assistida por IA pode mudar as expectativas de desenvolvimento ao longo do tempo.