Vitalik Buterin Diz que IA Está Acelerando o Desenvolvimento do Ethereum

• A codificação agentic produziu um protótipo de cliente Ethereum com 700.000 linhas em semanas, alinhado com o roteiro de 2030.
• Buterin incentiva a combinação de codificação AI mais rápida com verificação formal, testes ampliados e verificações multi-cliente.
• Ele também detalhou um roteiro de resistência quântica, substituindo BLS e adicionando sistemas baseados em hash e STARK.

O cofundador do Ethereum, Vitalik Buterin, afirmou que a inteligência artificial está acelerando rapidamente o desenvolvimento do Ethereum. Em recentes declarações públicas, descreveu como a codificação agentic permitiu a um desenvolvedor construir um cliente Ethereum alinhado com o roteiro em semanas. O trabalho ocorreu online no início de 2026 e focou em acelerar o desenvolvimento enquanto melhorava a segurança através de testes e verificações.

Ganhos com Codificação e Testes Impulsionados por IA

Segundo Buterin, um desenvolvedor usou codificação agentic para produzir um protótipo de cliente Ethereum alinhado com o roteiro de 2030. Notavelmente, o protótipo incluía cerca de 700.000 linhas de código e cobria 65 itens do roteiro. Também sincronizou com a rede principal do Ethereum em duas semanas.

No entanto, Buterin destacou que a construção tinha limitações importantes. Ele afirmou que o código provavelmente continha bugs críticos e implementações incompletas. Ainda assim, explicou que tal progresso parecia impossível há seis meses, destacando a rapidez com que as ferramentas de desenvolvimento estão avançando.

Buterin acrescentou que a IA acelera a codificação em várias tarefas. Citou sua própria experiência de recriar um software de blog em uma hora usando modelos locais. Portanto, argumentou que os ganhos de velocidade devem ser divididos igualmente entre desenvolvimento mais rápido e práticas de segurança mais robustas.

Verificação Formal e Foco na Segurança

Buterin afirmou que o uso mais eficaz de IA combina codificação mais rápida com testes mais aprofundados. Especificamente, destacou a geração de conjuntos de testes maiores e a expansão da verificação formal. Observou que um colaborador do Lean Ethereum usou IA para criar uma prova verificável por máquina de um teorema complexo relacionado a STARK.

Segundo Buterin, o Lean Ethereum visa verificar formalmente cada componente. No entanto, a IA agora acelera significativamente esse esforço. Além disso, enfatizou que códigos livres de bugs continuam difíceis, mas mais alcançáveis através de testes repetidos e verificações de múltiplas implementações.

Ele alertou que sistemas seguros não surgirão de comandos únicos. Mesmo assim, disse que os ciclos de depuração podem agora acontecer de forma mais rápida e completa.

Detalhes do Roteiro de Resistência Quântica

Separadamente, Buterin delineou o roteiro de resistência quântica do Ethereum. Identificou vulnerabilidades nas assinaturas de consenso BLS, na disponibilidade de dados baseada em KZG, nas assinaturas de contas ECDSA e nos sistemas de provas de conhecimento zero. Para resolver isso, propôs substituir BLS por assinaturas baseadas em hash e usar agregação STARK.

Para contas de propriedade externa, Buterin apontou para a EIP-8141. Essa mudança permitiria múltiplos esquemas de assinatura, incluindo opções resistentes a quântica. Ele reconheceu custos de gás mais altos, mas afirmou que a eficiência deve melhorar com o tempo.

O roteiro também aborda sistemas de prova. Embora as provas STARK custem mais do que as ZK-SNARKs atuais, a agregação poderia reduzir o cálculo na cadeia. No mês passado, a Fundação Ethereum afirmou que a próxima fase do ecossistema expandirá a capacidade, mantendo a segurança e resiliência a longo prazo.