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, 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 significativas 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 formais de Ethereum Improvement Proposals, ele quase certamente contém bugs críticos e provavelmente inclui versões “stub” de funcionalidades em que a IA não tentou uma implementação completa.
O ponto, argumentou ele, é a trajetória e não o resultado final. Seis meses atrás, escreveu ele, mesmo um protótipo desse porte estava “bem 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 totalmente em velocidade.
Seu modelo preferido: usar IA para gerar suítes de casos de teste maiores, verificar formalmente as 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 – recentemente usou 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.
Read also: Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
O que ele acha que é possível
Buterin teve o cuidado de enquadrar 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 terminar mais rápido do que as linhas do tempo atuais sugerem – e com um padrão de segurança mais alto.
No front da segurança, ele expressou empolgação pessoal com o potencial de que código sem bugs deixe de ser uma “ilusão idealista” e se torne uma expectativa básica para infraestrutura crítica.
Ele reconheceu que segurança total continua 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 via IA já pode eliminar mais de 99% das consequências negativas que poderiam decorrer de falhas específicas e bem definidas de código.
O repositório do ETH2030 continua publicamente acessível em github.com/jiayaoqijia/eth2030.