De Ethereum Foundation heeft better.codes gelanceerd, een platform voor samenwerkend onderzoek dat kunstmatige intelligentie inzet om de beveiliging van op hashfuncties gebaseerde SNARKs te versterken. Het initiatief maakt deel uit van Ethereums bredere inspanning om de cryptografische infrastructuur voor te bereiden op de mogelijke risico's die toekomstige kwantumcomputers met zich meebrengen.

Het platform richt zich op koalaIRS12, een Reed-Solomon-nabijheidsprobleem dat een belangrijke rol speelt in moderne cryptografische bewijssystemen. Via better.codes kunnen onderzoekers AI-agents inzetten om de soundness-grenzen van koalaIRS12-bewijzen te verbeteren, waarna de resultaten worden geverifieerd via de Lean-kernel. Lean, een open-source stellingbewijzer en programmeertaal die oorspronkelijk bij Microsoft Research werd ontwikkeld, controleert elke bewijsstap aan de hand van een kleine, vertrouwde kernel, zodat geaccepteerde resultaten machinaal geverifieerde garanties meedragen in plaats van uitsluitend te leunen op handmatige collegiale toetsing.

Het initiatief wil machinaal geverifieerde beveiligingsgaranties voor koalaIRS12 vaststellen en streeft daarbij een beveiligingsdoel van 128 bits na dat Ethereums verdediging tegen toekomstige kwantumbedreigingen kan versterken. Het project is samen met Yukon en zkSecurity ontwikkeld en is opgezet rond incrementele bijdragen. Geaccepteerde oplossingen worden toegeschreven aan zowel de onderzoekers of oplossers als aan de AI-modellen die eraan hebben bijgedragen — een aanpak die transparante samenwerking moet aanmoedigen en tegelijk een verifieerbare vastlegging van voortgang in cryptografisch onderzoek oplevert.

Ethereum bereidt zich voor op risico's van kwantumcomputers

Ethereums overstap naar post-kwantumcryptografie wordt gedreven door zorgen over de langetermijnveiligheid van de cryptografische systemen die momenteel in de blockchain worden gebruikt. Op elliptische curven gebaseerde technologieën vormen de basis van onder meer transactiehandtekeningen, consensusinfrastructuur en zero-knowledge-bewijzen.

Een voldoende krachtige kwantumcomputer zou enkele van deze cryptografische primitieven mogelijk kunnen ondermijnen met het algoritme van Shor, ontwikkeld door wiskundige Peter Shor in 1994, dat de factorisatie- en discrete-logaritmeproblemen aanvalt waarop een groot deel van de huidige cryptografie met openbare sleutels berust. Hoewel dergelijke machines op dit moment niet in staat zijn Ethereums veelgebruikte cryptografie op praktische schaal te kraken — en grote hardwareontwikkelaars zoals IBM en Google roadmaps hebben gepubliceerd waarin foutentolerante kwantumcomputers pas tegen het einde van het decennium worden voorzien — heeft de mogelijke toekomstige dreiging blockchainontwikkelaars aangespoord om vooruitlopend alternatieven te onderzoeken.

Ethereum onderzoekt daarom cryptografische benaderingen die op hashfuncties berusten in plaats van op discrete logaritmen van elliptische curven. Op hashes gebaseerde SNARKs en STARKs behoren tot de technologieën die als onderdeel van deze overgang worden overwogen. Deze richting sluit aan op standaardiseringswerk buiten de blockchainwereld: in 2024 rondde het Amerikaanse National Institute of Standards and Technology (NIST) zijn eerste post-kwantumcryptografiestandaarden af, waaronder SLH-DSA, een op hashes gebaseerd digitaal handtekeningschema, waarmee hashgebaseerde cryptografie in door de overheid goedgekeurd productiegebruik kwam. Het initiatief better.codes gaat een van de uitdagingen van die inspanning aan door te streven naar sterkere en formeel geverifieerde beveiligingsgaranties voor Reed-Solomon-nabijheidscodes — codes die ten grondslag liggen aan verschillende cryptografische bewijssystemen en belangrijk zijn voor de ontwikkeling van schaalbare zero-knowledge-technologieën.

128-bits beveiligingsdoel

De better.codes-uitdaging is erop gericht een 128-bits beveiligingsbenchmark voor koalaIRS12 te bereiken, een doel dat aansluit bij Ethereums langetermijndoelstelling om cryptografische systemen te ontwikkelen die veilig kunnen blijven in een post-kwantumomgeving. De Ethereum Foundation kondigde het initiatief aan op X:

Learn more in the announcement ↓

— Ethereum Foundation (@ethereumfndn) August 20, 2026

Volledig bericht: https://x.com/ethereumfndn/status/2090485717273043227?ref_src=twsrc%5Etfw

Het werk bouwt voort op het Proximity Prize-initiatief, dat eerder in 2026 werd gelanceerd met een onderzoeksfonds van 1 miljoen dollar voor onopgeloste problemen rond lijstdecodering en gecorreleerde overeenstemming. Door deze cryptografische problemen in Lean 4 uit te drukken, wil de Ethereum Foundation onderzoeksresultaten makkelijker machinaal verifieerbaar maken en daarmee mogelijk sneller voortgang boeken richting betrouwbaardere cryptografische constructies. Het koppelen van machine learning aan formeel bewijs controleren weerspiegelt bovendien een bredere onderzoektrend — Google DeepMinds AlphaProof bereikte in 2024 met Lean-geverifieerde bewijzen een prestatie op zilveren-medaileniveau op de Internationale Wiskundeolympiade en illustreerde daarmee hoe AI-systemen kunnen bijdragen aan formeel gecontroleerde wiskunde.

Sterkere verificatie van deze cryptografische aannames kan ontwikkelaars ten goede komen die rollups, zero-knowledge-virtuele machines en andere schaalbaarheidssystemen bouwen en daarbij steeds vaker afhankelijk zijn van op SNARKs gebaseerde technologie.

Langetermijnbeveiliging boven directe markteffecten

Van het initiatief wordt niet verwacht dat het op korte termijn direct effect heeft op de prijs van ETH. De betekenis ervan ligt juist in de langetermijnbeveiliging van Ethereums protocol en in de voorbereiding op technologische risico's die kunnen ontstaan naarmate de kwantumcomputertechnologie zich ontwikkelt.

Ook recente inspanningen binnen het Ethereum-ecosysteem leggen meer nadruk op post-kwantumbeveiliging, waaronder voorstellen met recursieve STARK-bewijzen en de oprichting van een speciaal beveiligingsteam dat zich richt op kwantumgerelateerde dreigingen. Voor ontwikkelaars en infrastructuuraanbieders laten deze ontwikkelingen zien dat cryptografische veerkracht een steeds belangrijkere overweging wordt nu zero-knowledge-technologieën zich door de blockchainindustrie verspreiden.

Van het better.codes-platform wordt verwacht dat het zich verder zal ontwikkelen dan de initiële uitdaging; de Ethereum Foundation plant aanvullende onderzoeksproblemen onder programmaregels die betrekking hebben op toelating, evaluatie en prijzen. Onderzoekers kunnen deelnemen door in te loggen via GitHub, de betreffende repository te openen en oplossingen bij te dragen aan de koalaIRS12-uitdaging.

Volgens berichten vertegenwoordigt het initiatief een poging post-kwantumonderzoek voorbij theoretische discussies te brengen, richting onafhankelijk verifieerbare implementatie. Door AI-ondersteund onderzoek te combineren met formele Lean-verificatie kan better.codes Ethereum een meer gestructureerd pad bieden naar cryptografische systemen die bestand zijn tegen toekomstige dreigingen uit het kwantumtijdperk.

Bron: CoinTrust