Uno sviluppatore che ha scommesso con Vitalik Buterin che una sola persona potesse programmare in modo agentico un client di Ethereum (ETH) mirato alla roadmap 2030 ha creato ETH2030 in due settimane: 702.000 righe di Go, coprendo 65 elementi della roadmap e sincronizzandosi con la mainnet di Ethereum.
Venerdì Buterin ha commentato il risultato, definendolo «un esperimento davvero impressionante» ma elencando importanti caveat, e sollevando la possibilità che l’IA possa accelerare il completamento della roadmap di Ethereum più di quanto la community attualmente si aspetti.
Buterin è stato diretto su ciò che il progetto non è: costruito senza Ethereum Improvement Proposal formali, con ogni probabilità contiene bug critici e probabilmente include versioni “stub” di funzionalità in cui l’IA non ha tentato un’implementazione completa.
Il punto, ha sostenuto, è la traiettoria più che l’output. Sei mesi fa, ha scritto, anche un semplice prototipo di questa portata era «ben al di fuori del regno del possibile».
Velocità vs sicurezza
Buterin ha inquadrato il giusto approccio allo sviluppo accelerato dall’IA come una ripartizione dei guadagni tra velocità e sicurezza, invece di spenderli tutti sulla velocità.
Il suo modello preferito: usare l’IA per generare suite di test più ampie, verificare formalmente le implementazioni e produrre più versioni indipendenti dello stesso componente per effettuare cross-check.
Un collaboratore del progetto LeanEthereum – che mira a verificare formalmente tutto il codice di Ethereum – ha recentemente usato l’IA per produrre una dimostrazione verificabile a macchina di uno dei teoremi più complessi alla base della sicurezza STARK.
Quello, nel quadro di Buterin, è il caso d’uso di maggior valore: non spedire il codice più in fretta, ma rilasciare codice più verificabilmente corretto.
Read also: Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
Cosa pensa sia possibile
Buterin è stato prudente nel presentare il suo ottimismo come una possibilità, non una previsione. Ha detto che le persone dovrebbero essere aperte all’idea che la roadmap di Ethereum possa concludersi prima di quanto suggeriscano le timeline attuali – e con uno standard di sicurezza più elevato.
Sul fronte della sicurezza, ha espresso entusiasmo personale per il potenziale che il codice privo di bug passi da «illusione idealistica» a aspettativa di base per le infrastrutture critiche.
Ha riconosciuto che la sicurezza totale resta impossibile in senso assoluto – richiederebbe una corrispondenza esatta tra il codice e i contenuti della mente di uno sviluppatore – ma ha sostenuto che la verifica formale tramite IA può già eliminare oltre il 99% delle conseguenze negative che potrebbero derivare da specifici e ben definiti errori di codice.
Il repository ETH2030 rimane pubblicamente accessibile su github.com/jiayaoqijia/eth2030.