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

TLDR

• A IA construiu um cliente Ethereum com 700000 linhas em duas semanas
• O protótipo abrange 65 itens do roteiro e sincroniza com a mainnet
• Buterin apela a mais testes e verificação formal
• A IA ajudou a produzir uma prova STARK verificável por máquina

Vitalik Buterin afirma que a IA pode acelerar o roteiro do Ethereum para 2030 a níveis de segurança sem precedentes. Apontou para um recente experimento em que um programador construiu um protótipo de cliente alinhado com o roteiro em duas semanas, usando programação orientada por agentes. O protótipo inclui cerca de 700000 linhas de código, abrange 65 itens do roteiro e sincroniza com a mainnet do Ethereum.

A IA construiu um protótipo alinhado com o roteiro do Ethereum para 2030

O cofundador do Ethereum, Vitalik Buterin, disse que a IA está a acelerar o desenvolvimento do Ethereum. Citou um programador que utilizou agentic coding para construir um cliente alinhado com o Ethereum’s 2030 roadmap. O protótipo foi concluído em cerca de duas semanas. Inclui cerca de 700000 linhas de código e suporta 65 itens do roteiro. O cliente está a sincronizar com a mainnet do Ethereum.

Este é um experimento bastante impressionante. Criar o código para todo o Ethereum’s 2030 roadmap em poucas semanas.

Obviamente, uma coisa construída em duas semanas sem sequer ter os EIPs tem grandes limitações: 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 progressos rápidos. Disse que um trabalho semelhante não era realista há seis meses. Acrescentou que a direção do progresso da IA é o que mais importa. Partilhou também um exemplo pessoal. Disse que construiu, em uma hora, software semelhante ao seu blogue usando agentic coding. O modelo estava a correr localmente no portátil.

Os ganhos de velocidade trazem riscos técnicos

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

Ainda assim, afirmou que a IA permite que este processo avance cinco vezes mais depressa. Explicou que os programadores continuarão a precisar de rever e comparar o código. Testes e validação continuam a ser passos necessários.

A IA reduz o tempo gasto em tarefas repetitivas e aumenta a velocidade de iteração. Buterin disse que o experimento não deve ser visto como infraestrutura finalizada. Ele enquadrou-o como um sinal de mudança nos métodos de desenvolvimento. A IA é agora parte do fluxo de trabalho técnico do Ethereum.

Foco em testes e verificação formal

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

Buterin disse que a verificação formal suporta sistemas sem necessidade de confiança (trustless). Acrescentou que a IA pode aumentar o volume de testes e melhorar verificações entre múltiplas implementações. Estes passos reduzem riscos associados a código defeituoso. Disse que a segurança total não é atingível. Explicou que a segurança perfeita exigiria um alinhamento exato entre o código e a intenção humana.

Ainda assim, assinalou que alegações de segurança específicas podem ser verificadas. Buterin disse que as pessoas devem considerar a possibilidade de o Ethereum’s 2030 roadmap poder terminar mais depressa do que o esperado. Também disse que os padrões de segurança podem aumentar à medida que as ferramentas de verificação melhoram. Afirmou que código sem bugs, em casos definidos, pode tornar-se alcançável. Disse que esta ideia era, outrora, vista como irrealista. A verificação apoiada por IA pode mudar as expectativas de desenvolvimento ao longo do tempo.