Vitalik Buterin zei dat vooruitgang in artificial intelligence could reshape how crypto systems are attacked en verdedigd, waardoor infrastructuur wordt gestuwd richting wiskundig geverifieerde software.
Buterin-essay schetst AI‑dreiging
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 crypto‑infrastructuur nog verontrustender zodra AI‑tools het ontdekken van kwetsbaarheden beginnen te automatiseren, een zorg die breed wordt gedeeld in de beveiligingsonderzoeksgemeenschap.
Hij wees 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 moeten invoeren, een benadering die wiskundig bewijst dat code zich onder vastgestelde voorwaarden gedraagt zoals bedoeld.
Ook lezen: 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 de 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 coderen in combinatie met 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 liggen.
Buterins staat van dienst op het gebied van beveiliging
Buterin schetste een toekomst waarin gevoelige digitale infrastructuur wordt geconcentreerd in kleinere "veilige kern"‑systemen, geïsoleerd en zwaar geverifieerd, terwijl minder kritieke toepassingen met beperkte rechten draaien.
De Ethereum‑medeoprichter is dit jaar herhaaldelijk teruggekeerd naar het thema AI‑beveiliging. In februari stelde hij voor de productiviteitswinsten van AI te verdelen tussen snelheid en veiligheid, en in mei steunde hij formele verificatietools zoals Lean voor ontwikkeling met hoge zekerheid. Zijn meest recente bericht breidt die argumenten uit naar een bredere stelling en presenteert wiskundig bewijs als het meest geloofwaardige antwoord op AI‑gestuurde aanvalstools in zowel blockchainsystemen als het traditionele internet.
Lees hierna: Iran Settles Hormuz Shipping Cover In Bitcoin, Eyes $10B Haul