Ethereum medeoprichter Vitalik Buterin ziet een opvallende toekomst voor softwareontwikkeling. Volgens hem kan de combinatie van kunstmatige intelligentie en formele verificatie uiteindelijk leiden tot software die zowel extreem efficiënt als wiskundig gecontroleerd veilig is.
In een nieuwe blogpost beschrijft Buterin hoe AI programmeurs kan helpen bij het schrijven én controleren van complexe code. Vooral binnen cryptografie, Ethereum infrastructuur, consensusmechanismen en zero knowledge systemen ziet hij enorme kansen.
Tegelijkertijd waarschuwt Buterin dat formele verificatie geen magische oplossing is. Zelfs mathematisch gecontroleerde software kan fouten bevatten wanneer de onderliggende aannames of specificaties verkeerd zijn opgesteld. Zijn volledige analyse staat op vitalik.eth.limo.
Ethereum is verkrijgbaar bij Bitvavo en Bybit.
AI moet software veiliger maken
Volgens Buterin groeit de angst dat krachtige AI modellen het steeds eenvoudiger maken om kwetsbaarheden in software te ontdekken. Sommige ontwikkelaars vrezen daardoor dat volledig veilige code uiteindelijk onmogelijk wordt.
Buterin denkt juist het tegenovergestelde. Hij verwacht dat AI systemen programmeurs straks helpen om code automatisch te controleren met mathematische bewijzen. Daardoor kunnen fouten veel sneller opgespoord worden dan met traditionele softwaretests.
De Ethereum oprichter noemt dit mogelijk zelfs de “final form” van softwareontwikkeling. Daarbij schrijft AI niet alleen de code, maar genereert het systeem ook direct formele bewijzen dat de software correct werkt.
Ethereum en ZK systemen profiteren
Volgens Buterin zijn vooral blockchainsystemen ideaal voor formele verificatie. Denk daarbij aan Ethereum clients, zero knowledge proofs, smart contracts en cryptografische protocollen.
Hij noemt onder meer projecten die werken aan volledig geverifieerde implementaties van ZK systemen en zelfs complete Ethereum Virtual Machine omgevingen. Daarmee kunnen ontwikkelaars mathematisch aantonen dat bepaalde software zich exact gedraagt zoals bedoeld.
Volgens Buterin wordt dit extra belangrijk nu AI steeds krachtiger wordt in het automatisch vinden van bugs en kwetsbaarheden, zeker nu de sector vaker te maken krijgt met grootschalige hacks binnen het Ethereum ecosysteem.
Ook beveiligingsbedrijven en browserontwikkelaars zouden volgens hem steeds meer inzetten op dergelijke technieken om cyberaanvallen te voorkomen.
Geen perfecte oplossing voor bugs
Toch ziet Buterin ook duidelijke beperkingen. Formele verificatie controleert namelijk alleen of software voldoet aan vooraf vastgelegde regels en specificaties. Wanneer die regels verkeerd zijn opgesteld, kunnen alsnog gevaarlijke fouten ontstaan.
Daarnaast blijven hardwareproblemen, side channel aanvallen en menselijke fouten volgens hem grote risico’s binnen cybersecurity.
Buterin verwacht daarom dat toekomstige software steeds vaker wordt opgesplitst in een kleine extreem veilige kern en een grotere laag met minder kritieke toepassingen. Vooral die veilige kern zou uiteindelijk volledig gecontroleerd kunnen worden met AI en formele verificatie.
Blijf altijd op de hoogte van het laatste crypto nieuws via Google Nieuws.
Ontvang 10 euro gratis Ethereum
Jouw cryptoavontuur starten met €10 gratis Ether? In samenwerking met Bitvavo mogen wij vandaag 10 euro aan gratis Ethereum of een andere crypto weggeven aan onze lezers (na een storting van minimaal 10 euro).
Maak via onderstaande knop een account aan en je ontvangt een welkomstbonus van 10 euro. Ook handel je de eerste €10.000 binnen de eerste 7 dagen na je registratie helemaal gratis (t.w.v. €25). Alle voorwaarden vind je op de pagina onder de knop.