Vitalik Buterin zei dat vooruitgang in artificial intelligence could reshape how crypto systems are attacked en verdedigd, en infrastructuur zal sturen richting wiskundig geverifieerde software.
Buterin beschrijft AI‑dreiging in essay
De Ethereum‑medeoprichter argued dat increasingly powerful AI models het veel eenvoudiger zullen maken om kwetsbaarheden in complexe software te ontdekken en uit te buiten.
Buterin noemde bugs in cryptoinfrastructuur nog verontrustender zodra AI‑tools het ontdekken van kwetsbaarheden gaan automatiseren, een zorg die breed wordt gedeeld in de security‑onderzoeksgemeenschap.
Hij wees vooral Ethereum (ETH)‑infrastructuur, consensusmechanismen en post‑kwantumcryptografie aan als prioritaire doelen voor sterkere verdediging.
In plaats van te vertrouwen op traditionele audits, said Buterin dat ontwikkelaars formele verificatie zouden moeten toepassen, een benadering die wiskundig aantoont dat code zich onder vastgelegde voorwaarden gedraagt zoals bedoeld.
Also Read: Crypto Funds Bleed $1.07B As Iran Tensions End Six-Week Inflow Run
Formele verificatie als verdediging
"AI geeft je de mogelijkheid om grote hoeveelheden code te schrijven ten koste van nauwkeurigheid, en formele verificatie geeft je die nauwkeurigheid terug," schreef Buterin.
Hij ging in tegen onderzoekers die stellen dat door AI gegenereerde software onmogelijk nog volledig te vertrouwen is, en schetste in plaats daarvan een optimistischer beeld.
Buterin gelooft dat AI‑ondersteund programmeren, gekoppeld aan verificatietools, uiteindelijk software kan opleveren die sterker is dan wat mensen alleen bouwen.
Hij wees ook op actieve projecten zoals Arklib en evm-asm, die zich richten op het beveiligen van cryptografische infrastructuur en Ethereum Virtual Machine‑software.
Het essay warned echter dat formele verificatie geen wondermiddel is. Zelfs wiskundig bewezen systemen kunnen falen wanneer ontwikkelaars de verkeerde aannames verifiëren of wanneer exploits buiten het geverifieerde codepad vallen.
Buterins staat van dienst in security
Buterin schetste een toekomst waarin gevoelige digitale infrastructuur zich concentreert in kleinere, "secure core"‑systemen, geïsoleerd en zwaar geverifieerd, terwijl minder kritieke toepassingen met beperkte permissies draaien.
De Ethereum‑medeoprichter is dit jaar herhaaldelijk teruggekomen op het thema AI‑security. In februari stelde hij voor om AI‑productiviteitswinsten te verdelen tussen snelheid en veiligheid, en in mei sprak hij zijn steun uit voor formele verificatietools zoals Lean voor ontwikkeling met hoge zekerheid. Zijn meest recente post borduurt voort op die argumenten en zet ze om in een bredere stelling, waarbij hij wiskundig bewijs neerzet als het meest geloofwaardige antwoord op AI‑gestuurde aanvalstools in zowel blockchainsystemen als het traditionele internet.
Read Next: Iran Settles Hormuz Shipping Cover In Bitcoin, Eyes $10B Haul