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 cobre 65 itens do plano e sincroniza com a rede principal
• Buterin apela a mais testes e verificação formal
• A IA ajudou a produzir uma prova STARK verificável por máquina

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

A IA criou um protótipo alinhado com o plano da Ethereum para 2030

O cofundador da Ethereum, Vitalik Buterin, disse que a IA está a acelerar o desenvolvimento da Ethereum. Ele citou um programador que usou programação orientada por agentes para construir um cliente alinhado com o plano para 2030. O protótipo foi concluído em cerca de duas semanas. Inclui cerca de 700000 linhas de código e suporta 65 itens do plano. O cliente está a sincronizar com a rede principal da Ethereum.

Este é um experimento bastante impressionante. «Vibe-coding» de todo o plano da Ethereum para 2030 em poucas semanas.

Obviamente, construir algo assim em duas semanas, mesmo sem ter as EIPs, tem enormes 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 progresso rápido. Ele disse que um trabalho semelhante não era realista há seis meses. Acrescentou que a direcção do progresso da IA é o que mais importa. Ele também partilhou um exemplo pessoal. Disse que construiu software semelhante ao seu blogue em uma hora, usando programação orientada por agentes. O modelo estava a correr localmente no seu portátil.

Os ganhos de velocidade vêm com riscos técnicos

Buterin alertou que construções rápidas com IA trazem riscos. Ele disse que um projecto concluído em duas semanas sem EIPs finalizadas provavelmente contém bugs críticos. Acrescentou que algumas partes podem ser versões stub. Ele 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.

No entanto, afirmou que a IA permite que este processo avance cinco vezes mais depressa. Ele explicou que os programadores ainda precisarão de rever e comparar 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 uma infraestrutura concluída. Ele enquadrou-o como um sinal de mudança nos métodos de desenvolvimento. A IA já faz parte do fluxo de trabalho técnico da Ethereum.

Foco nos testes e na verificação formal

Buterin disse que os ganhos da IA devem ser divididos entre velocidade e segurança. Ele sugeriu que metade dos ganhos de produtividade deveria ir para testes mais fortes. Isto inclui a geração de mais casos de teste e a execução de verificação formal. Ele referiu o esforço Lean Ethereum, que visa verificar formalmente componentes da 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. Ele acrescentou que a IA pode aumentar o volume de testes e melhorar verificações de múltiplas implementações. Estes passos reduzem riscos associados a código defeituoso. Disse que a segurança total não é alcançável. Ele explicou que a segurança perfeita exigiria um alinhamento exacto entre o código e a intenção humana.

Ainda assim, ele notou que alegações de segurança específicas podem ser verificadas. Buterin disse que as pessoas devem considerar a possibilidade de o plano da Ethereum poder terminar mais depressa do que o esperado. Ele também disse que os padrões de segurança podem aumentar à medida que as ferramentas de verificação melhoram. Declarou que código sem bugs em casos definidos pode vir a tornar-se alcançável. Disse que esta ideia foi antes vista como irrealista. A verificação assistida por IA pode mudar as expectativas de desenvolvimento ao longo do tempo.