Um desenvolvedor que apostou com Vitalik Buterin que uma única pessoa conseguiria programar de forma agentic um cliente de Ethereum (ETH) voltado para o roadmap de 2030 construiu o ETH2030 em duas semanas – 702.000 linhas de Go, cobrindo 65 itens do roadmap e sincronizando com a mainnet do Ethereum.
Buterin comentou sobre o resultado na sexta-feira, chamando-o de “um experimento bastante impressionante”, ao mesmo tempo em que listou ressalvas importantes e levantou a possibilidade de que a IA possa acelerar a conclusão do roadmap do Ethereum mais do que a comunidade atualmente espera.
Buterin foi direto sobre o que o projeto não é: construído sem Propostas de Melhoria do Ethereum (EIP) formais em vigor, ele quase certamente contém bugs críticos e provavelmente inclui versões “stub” de recursos nos quais a IA não tentou uma implementação completa.
O ponto, ele argumentou, é a trajetória e não o resultado em si. Há seis meses, escreveu ele, até mesmo um protótipo desse escopo estava “muito fora do reino do possível”.
Velocidade vs. segurança
Buterin enquadrou a abordagem correta para o desenvolvimento acelerado por IA como dividir os ganhos entre velocidade e segurança, em vez de gastá-los todos em mais velocidade.
Seu modelo preferido: usar IA para gerar suítes de testes maiores, verificar formalmente implementações e produzir múltiplas versões independentes do mesmo componente para checagem cruzada.
Um colaborador do projeto LeanEthereum – que busca verificar formalmente todo o código do Ethereum – usou recentemente IA para produzir uma prova verificável por máquina de um dos teoremas mais complexos que sustentam a segurança dos STARKs.
Isso, na visão de Buterin, é o caso de uso de maior valor: não entregar mais rápido, mas entregar código mais verificavelmente correto.
Leia também: Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
O que ele acha possível
Buterin teve o cuidado de apresentar seu otimismo como uma possibilidade e não como uma previsão. Ele disse que as pessoas deveriam estar abertas à ideia de o roadmap do Ethereum ser concluído mais rápido do que os cronogramas atuais sugerem – e com um padrão de segurança mais alto.
No front da segurança, ele demonstrou entusiasmo pessoal com o potencial de o código sem bugs deixar de ser uma “ilusão idealista” para se tornar uma expectativa básica para infraestrutura crítica.
Ele reconheceu que segurança total continua sendo impossível em qualquer sentido absoluto – exigiria correspondência exata entre o código e o conteúdo da mente do desenvolvedor – mas argumentou que a verificação formal com IA já pode eliminar mais de 99% das consequências negativas que poderiam decorrer de falhas de código específicas e bem definidas.
O repositório do ETH2030 continua publicamente acessível em github.com/jiayaoqijia/eth2030.
Leia em seguida: Binance Must Face US Jury Over Token Losses On EOS, TRX And Five Other Coins - Judge Kills Arbitration Defense