Ethereum-medegrondlegger Vitalik Buterin heeft het idee verworpen dat door AI aangedreven hacking het einde van de cybersecurity betekent; in plaats daarvan betoogt hij dat geavanceerde modellen cryptosoftware juist moeilijker te kraken kunnen maken in plaats van makkelijker.

In een woensdagse post op X betoogde Buterin dat AI hackers geen onoverkomelijk voordeel zal bieden, en merkte hij op dat cryptohouders — waaronder hijzelf, met grofweg 90% van zijn vermogen in crypto — er in feite op inzetten dat defensieve beveiliging gelijke tred kan houden met offensieve mogelijkheden.

"It's an increasingly common take that AI hacking means cybersecurity is doomed," schreef Buterin. "I disagree. I think cybersecurity is naturally defense-favoring once people get their shit together."

Formele verificatie op schaal

Kern van Buterins betoog is het idee dat AI formele verificatie — het gebruik van wiskundige bewijzen om aan te tonen dat software zich veilig gedraagt — praktisch kan maken, zelfs voor zeer complexe systemen. "If AI can prove Navier-Stokes and FLT, then AI can prove the statement 'this program is secure' as a mathematical theorem," schreef hij. "Even if the program is very complicated."

andere woorden, Buterin gelooft dat AI-modellen die in staat zijn beroemd moeilijke wiskundige problemen op te lossen, ook kunnen aantonen dat ingewikkelde software voldoet aan duidelijk gedefinieerde beveiligingseisen. Dat betekent niet dat beveiliging gemakkelijk is, waarschuwde hij; het lastige zit hem vooral in het definiëren van wat "veilig" in de eerste plaats betekent.

Dit onderscheid is belangrijk omdat een voltooid bewijs al het gedrag buiten de specificatie van een programma uitsluit, terwijl audits en testen slechts zwakke plekken kunnen onderzoeken waar reviewers naar weten te zoeken — een van de redenen dat formele methoden historisch zijn voorbehouden aan kleine, kritieke componenten.

Zine opmerkingen sluiten aan bij Ethereums bredere inspanning richting AI-ondersteunde beveiliging, privacy, STARKs — beknopte cryptografische bewijzen waarmee berekeningen kunnen worden geverifieerd zonder de onderliggende gegevens prijs te geven — en kwantumbestendigheid.

Een door AI aangedreven wapenwedloop

Blockchainontwikkelaars zetten steeds vaker AI-agenten in om code te scannen, exploits te testen en bugs te verifiëren voordat aanvallers kunnen toeslaan, waarbij onderzoekers kwetsbaarheden hebben ontdekt in zowel Ethereum-infrastructuur als Bitcoin-software. Deze defensieve verschuiving volgt op een reeks incidenten die de vrees voedden dat AI het veld deed kantelen in het voordeel van aanvallers.

In mei ontdekte beveiligingsonderzoeker Taylor Hornby met Anthropic's Claude Opus 4.8 een vier jaar oude fout in Zcash's Orchard privacy pool — een fout die onbeperkte, onopmerkbare vervalsing van ZEC mogelijk had kunnen maken. Ontwikkelaars vonden geen aanwijzingen dat de fout was uitgebuit en dichtten hem in juni.

De wedloop tussen aanvallers en verigers intense in juli, toen onderzoekers van de Ethereum Foundation meldden dat AI-agenten kwetsbaarheden hadden ontdekt in kritieke netwerkinfrastructuur. In diezelfde maand begonnen aanvallers Coldcard-portemonnees leeg te halen via een jaren oude firmwarefout die het genereren van seeds verzwakte, waarbij uiteindelijk circa $130 miljoen in Bitcoin werd gestolen. Coinkite, de maker van Coldcard, zei dat AI waarschijnlijk had geholpen de bug te identificeren.

In augustus had de dreiging zich verspreid over het bredere Bitcoin-software-ecosysteem. Swapdienst Boltz schortte haar activiteiten op, omdat vermeende aanvallers sneller fouten vonden dan de ontwikkelaars konden verhelpen, terwijl Core Lightning bevestigde dat verschillende kwetsbaarheden uit door AI gegenereerde rapporten echt waren. Als reactie daarop voerde het vrijwillige Bitcoin Red Team AI-ondersteunde audits uit die 4.962 potentiële kwetsbaarheden in 390 projecten aan het licht brachten.

Hele programma's, geen componenten

Buterin zei dat AI nu hele programma's kan verifiëren in plaats van geselecteerde componenten — een aanpak die Ethereum de komende jaren wil nastreven.

"There is no future for blockchains—especially blockchains with scalability and privacy—without doing this," zei hij. "We need to make software actually secure. And we have already made a lot of progress."

Hoe ver Ethereum komt met die meerjarige routekaart — en of AI-audits in het hele ecosysteem blijven aantonen dat kwetsbaarheden op grote schaal aan het licht komen — zal op korte termijn de duidelijkste maatstaf zijn voor de door hem beschreven balans in het voordeel van de verdediging.