Um desenvolvedor que apostou com Vitalik Buterin que uma única pessoa poderia programar de forma agentiva 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 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 de Melhoria do Ethereum (EIP) formais, ele quase certamente contém bugs críticos e provavelmente inclui versões “stub” de recursos em que 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, mesmo um protótipo desse escopo 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 todos em 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 verificação 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 fundamentam a segurança dos STARKs.
Isso, na visão de Buterin, é o caso de uso de maior valor: não enviar código mais rápido, mas enviar código mais corretamente verificável.
Leia também: 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 apresentar seu otimismo como possibilidade, não como 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 de segurança, ele expressou entusiasmo pessoal com o potencial de código sem bugs deixar de ser uma “ilusão idealista” e se tornar uma expectativa básica para infraestrutura crítica.
Ele reconheceu que segurança total continua impossível em qualquer sentido absoluto – isso 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 específicas e bem definidas de código.
O repositório ETH2030 permanece publicamente acessível em github.com/jiayaoqijia/eth2030.
Leia a seguir: Binance Must Face US Jury Over Token Losses On EOS, TRX And Five Other Coins - Judge Kills Arbitration Defense