Uno sviluppatore che ha scommesso con Vitalik Buterin che una sola persona potesse programmare in modo agentico un client Ethereum (ETH) orientato alla roadmap 2030 ha realizzato ETH2030 in due settimane: 702.000 righe di Go, coprendo 65 voci di roadmap e sincronizzandosi con la mainnet di Ethereum.
Buterin ha commentato il risultato venerdì, definendolo «un esperimento davvero impressionante», pur elencando significative cautele e sollevando la possibilità che l’IA possa accelerare il completamento della roadmap di Ethereum più di quanto la community si aspetti oggi.
Buterin è stato chiaro su ciò che il progetto non è: essendo stato costruito senza proposte formali di miglioramento di Ethereum (EIP) già in vigore, quasi certamente contiene bug critici e probabilmente include versioni “stub” di alcune funzionalità, in cui l’IA non ha tentato una piena implementazione.
Il punto, ha sostenuto, è la traiettoria più che l’output finale. Sei mesi fa, ha scritto, anche solo un prototipo di questa portata era «ben al di fuori del regno del possibile».
Velocità vs. sicurezza
Buterin ha inquadrato l’approccio corretto allo sviluppo accelerato dall’IA come una suddivisione dei guadagni tra velocità e sicurezza, invece di spenderli tutti sulla rapidità.
Il modello che preferisce: usare l’IA per generare suite di test più ampie, verificare formalmente le implementazioni e produrre più versioni indipendenti dello stesso componente per effettuare controlli incrociati.
Un collaboratore del progetto LeanEthereum – che punta a verificare formalmente tutto il codice di Ethereum – ha recentemente utilizzato l’IA per produrre una dimostrazione verificabile dalla macchina di uno dei teoremi più complessi alla base della sicurezza STARK.
Questo, nel quadro concettuale di Buterin, è il caso d’uso a maggior valore: non pubblicare il codice più rapidamente, ma pubblicare codice verificabilmente più corretto.
Read also: Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
Cosa ritiene possibile
Buterin ha avuto cura di presentare il suo ottimismo come una possibilità e non come una previsione. Ha affermato che le persone dovrebbero essere aperte all’idea che la roadmap di Ethereum possa concludersi più rapidamente rispetto alle tempistiche attuali – e con uno standard di sicurezza più elevato.
Sul fronte della sicurezza, ha espresso entusiasmo personale per il potenziale passaggio del codice privo di bug da «illusione idealistica» ad aspettativa di base per le infrastrutture critiche.
Ha riconosciuto che una sicurezza totale rimane impossibile in senso assoluto – richiederebbe una corrispondenza esatta tra il codice e i contenuti della mente dello sviluppatore – ma ha sostenuto che la verifica formale tramite IA può già eliminare oltre il 99% delle conseguenze negative che potrebbero derivare da specifici, ben definiti errori di codice.
Il repository ETH2030 rimane pubblicamente accessibile su github.com/jiayaoqijia/eth2030.