Il co-fondatore di Ethereum Vitalik Buterin afferma che l'intelligenza artificiale ha di fatto regalato alla rete un paio di decenni di tempo di sviluppo. Parlando alla Network State Conference 2026 di Singapore, ha dichiarato che l'IA sta accelerando in misura notevole i lavori sugli aggiornamenti del protocollo di Ethereum — senza di essa, ha suggerito, alcuni obiettivi della roadmap avrebbero potuto richiedere tempi fino al 2040 o addirittura al 2050.

Cosa ha detto Buterin

Le dichiarazioni sono state raccolte in un'intervista condotta il 9 ottobre 2026 e riportata il giorno successivo. Il focus di Buterin è stato la Lean Roadmap, il piano di Ethereum per rinnovare a fondo il protocollo centrale della rete. La sua tesi principale: l'IA gestisce ormai una quota sostanziale della ricerca e della programmazione richieste dalla roadmap, inclusi alcuni dei punti più complessi dell'elenco.

L'esempio più evidente è la verifica formale scritta in Lean 4, un linguaggio di programmazione e assistente di dimostrazione utilizzato per produrre dimostrazioni matematiche verificabili da un computer riga per riga. Secondo il riepilogo della ricerca, il contributo dell'IA in Lean 4 riduce la necessità di audit manuali su enormi volumi di codice, spostando quell'onere da revisori umani a dimostrazioni verificabili dalle macchine.

L'architettura che prende forma

Nulla nel piano delineato da Buterin rientra in un semplice ritocco. Ethereum si sta orientando verso un progetto incentrato su STARK ricorsivi, verifica formale automatizzata e una maggiore resistenza quantistica.

La terminologia si spiega così: gli STARK sono dimostrazioni crittografiche che consentono a una parte di dimostrare che un calcolo è stato eseguito correttamente senza che tutti gli altri debbano ripeterlo, mentre gli STARK ricorsivi sono dimostrazioni in grado di verificare altre dimostrazioni. La resistenza quantistica si riferisce alla difesa della rete contro futuri computer quantistici che potrebbero violare la crittografia attuale. Questo aspetto va oltre gli ambienti di ricerca, poiché tutto ciò che esiste su Ethereum — dai saldi dei conti agli smart contract — dipende in ultima analisi dalla crittografia utilizzata oggi dalla rete.

Ed è esattamente qui che entra in gioco l'IA, secondo Buterin. Il riepilogo della ricerca la descrive come un fattore abilitante cruciale mentre Ethereum punta verso questa architettura più sofisticata.

Hegota: l'ultimo fork "normale"

La prossima tappa in calendario è l'aggiornamento Hegota, previsto intorno al 2027 e descritto come l'ultimo fork "normale" nella storia di Ethereum. I fork sono aggiornamenti coordinati che modificano le regole della rete e richiedono che i gestori di nodi aggiornino il proprio software in modo sincronizzato, ed è per questo che l'etichetta "normale" segna una svolta. Oltre quel punto, i lavori dovrebbero orientarsi verso metodi crittografici avanzati e verificaale, con l'integrazione dell'IA al centro.

Esistono già prove che l'IA possa svolgere un lavoro di protocollo significativo. All'inizio del 2026, esperimenti hanno prodotto un client Ethereum prototipo, il software per nodi che elabora i blocchi e mantiene la catena sincronizzata, coprendo circa 65 voci della roadmap — e quel prototipo si è sincronizzato con successo con la mainnet di Ethereum.

La prudenza di Buterin sull'IA

Non è la prima volta quest'anno che Buterin si esprime sull'argomento. All'inizio del 2026 aveva discusso di quello che il riepilogo della ricerca definisce il doppio ruolo dell'IA nello sviluppo delle criptovalute: la tecnologia può accelerare il lavoro tecnico, ma solleva anche preoccupazioni di sicurezza relative alle vulnerabilità — inclusa la possibilità che gli stessi strumenti possano aiutare gli attaccanti a individuare i punti deboli più rapidamente.

È proprio questa tensione a rendere così rilevante l'aspetto della verifica formale. Se l'IA può generare codice rapidamente, dimostrare matematicamente che quel codice è corretto diventa una salvaguardia naturale contro gli stessi rischi introdotti dall'IA.

Implicazioni per gli sviluppatori e la rete

Per gli sviluppatori, la conseguenza più chiara è una descrizione del lavoro che sta cambiando. Man mano che l'IA assorbe una quota maggiore della stesura delle dimostrazioni e dell'audit del codice, i ricercatori principali potrebbero dedicare più tempo alle decisioni di progettazione e meno alla verifica manuale. La formulazione di Buterin sul 2040-2050 suggerisce che consideri l'IA la differenza tra un "prima o poi" e questo decennio.

La questione della sicurezza non è scomparsa. Affidarsi all'IA per il codice di infrastrutture critiche alza l'attenzione sull'efficacia della verifica, poiché un errore sottile in una blockchain ampiamente utilizzata può rivelarsi estremamente costoso.

Cosa osservare nei prossimi tempi: i progressi di Hegota, ulteriori risultati degli esperimenti con client costruiti con l'IA e quanta parte della verifica formale della Lean Roadmap si rivelerà generata dalle macchine.

Fonte: CryptoBriefing