Ethereum-medeoprichter Vitalik Buterin zegt dat kunstmatige intelligentie het netwerk in feite een paar decennia ontwikkelingstijd heeft bezorgd. Tijdens de Network State Conference 2026 in Singapore zei hij dat AI het werk aan de protocolupgrades van Ethereum in aanzienlijke mate versnelt — zonder AI, suggereerde hij, zouden sommige doelen van de roadmap mogelijk pas in 2040 of zelfs 2050 bereikt kunnen zijn.

Wat Buterin zei

De uitspraken zijn afkomstig uit een interview dat op 9 oktober 2026 werd afgenomen en een dag later werd gepubliceerd. Buterins focus lag op de Lean Roadmap, Ethereums plan om het kernprotocol van het netwerk ingrijpend te vernieuwen. Zijn kernbewering: AI verzorgt inmiddels een substantieel deel van het onderzoek en de programmeerwork die de roadmap vereist, waaronder enkele van de moeilijkste items op de lijst.

Het duidelijkste voorbeeld is formele verificatie geschreven in Lean 4, een programmeertaal en proof-assistent die wordt gebruikt om wiskundige bewijzen te maken die een computer regel voor regel kan controleren. Volgens het onderzoeksoverzicht vermindert AI's bijdrage in Lean 4 de noodzaak voor mensen om enorme hoeveelheden code handmatig te auditen, waardoor die last verschuift van menselijke beoordelaars naar machine-controleerbare bewijzen.

De architectuur die vorm krijgt

Niets in het plan dat Buterin schetste valt te karakteriseren als een kleine opkaleftering. Ethereum beweegt richting een ontwerp dat is gecentreerd rond recursieve STARKs, geautomatiseerde formele verificatie en sterkere kwantumbestendigheid.

De terminologie laat zich als volgt uiteenleggen: STARKs zijn cryptografische bewijzen waarmee één partij kan aantonen dat een berekening correct is uitgevoerd, zonder dat iedereen de berekening opnieuw hoeft uit te voeren, terwijl recursieve STARKs bewijzen zijn die andere bewijzen kunnen verifiëren. Kwantumbestendigheid verwijst naar het beschermen van het netwerk tegen toekomstige kwantumcomputers die de cryptografie van vandaag zouden kunnen kraken. Dat aspect reikt verder dan onderzoekskringen, want alles op Ethereum — van rekeningsaldi tot smart contracts — hangt uiteindelijk af van de cryptografie die het netwerk vandaag gebruikt.

Dat is precies waar AI in beeld komt, volgens Buterin. Het onderzoeksoverzicht beschrijft AI als een cruciale Enableaar geworden terwijl Ethereum koers zet naar deze meer geavanceerde architectuur.

Hegota: de laatste "normale" fork

De volgende mijlpaal op de kalender is de Hegota-upgrade, verwacht rond 2027 omschreven als de laatste "normale" fork in de geschiedenis van Ethereum. Forks zijn gecoördineerde upgrades die de regels van het netwerk wijzigen en vereisen dat node-operators hun software tegelijkertijd bijwerken, en daarom markeert het label "normaal" een kantelpunt. Daarna zal het werk naar verwachting verschuiven naar geavanceerde cryptografische methoden en formele verificatie, met AI-integratie in een centrale rol.

Er is al bewijs dat AI betekenisvol protocolwerk kan verrichten. Begin 2026 produceerden experimenten een prototype Ethereum-client, de nodesoftware die blokken verwerkt en de chain synchroon houdt, die ongeveer 65 roadmap-items dekte — en dat prototype synchroniseerde met succes met de Ethereum-mainnet.

Buterins voorzichtigheid over AI

De uitspraken zijn niet Buterins eerste over dit onderwerp dit jaar. Eerder in 2026 sprak hij over wat het onderzoeksoverzicht de dubbele rol van AI in de crypto-ontwikkeling noemt: de technologie kan technisch werk versnellen, maar roept ook beveiligingszorgen op over kwetsbaarheden — waaronder de mogelijkheid dat dezelfde tools aanvallers kunnen helpen sneller zwakke plekken te vinden.

Juist die spanning maakt het aspect van formele verificatie zo opmerkelijk. Als AI snel code kan genereren, wordt het wiskundig bewijzen dat die code correct is een natuurlijke waarborg tegen de risico's die AI zelf introduceert.

Implicaties voor ontwikkelaars en het netwerk

Voor ontwikkelaars is de duidelijkste conclusie een veranderende functiebeschrijving. Nu AI meer bewijsbouw en code-audits overneemt, kunnen kernonderzoekers meer tijd besteden aan ontwerpbeslissingen en minder aan handmatige verificatie. Buterins kader van 2040 tot 2050 suggereert dat hij AI ziet als het verschil tussen "ooit" en dit decennium.

De beveiligingsvraag is ook niet verdwenen. Het vertrouwen op AI voor kritieke infrastructurele code verhoogt de inzet om verificatie goed te doen, omdat een subtiële fout in een veelgebruikte blockchain enorm kostbaar kan zijn.

Waar je op moet letten: de voortgang van Hegota, verdere resultaten van de experimenten met de door AI gebouwde client, en hoeveel van de formele verificatie in de Lean Roadmap uiteindelijk machinaal gegenereerd blijkt.

Bron: CryptoBriefing