Ethereum zet AI op post-quantum bewijs, 128-bit doel krijgt tegenwind
Ethereum heeft AI-agents losgelaten op een cryptografisch probleem dat raakt aan zijn post-quantumroute. Iedere verbetering moet alleen eerst langs een machine die geen genoegen neemt met een overtuigend klinkend antwoord.
De Ethereum Foundation lanceerde op 20 augustus better.codes. Het doel bij de start: de formeel bewezen ondergrens voor koalaIRS12 richting 128 bits duwen.
Uren later laat de live benchmark al zien waarom dat onderzoek nodig is. Niet alleen de bewezen ondergrens beweegt. Een afzonderlijk aanvalsspoor heeft ook de bovengrens naar beneden gebracht.
AI zoekt het bewijs, Lean beslist of het klopt
Better.codes is opgezet door het Formal Verification-team van de Ethereum Foundation, samen met Yukon en zkSecurity.
De Ethereum Foundation beschrijft de uitdaging als open autoresearch. Onderzoekers kunnen hun eigen AI-modellen en agents inzetten om hetzelfde vastgelegde cryptografische probleem aan te vallen.
De AI krijgt daarbij geen vrijbrief.
Iedere gerangschikte inzending moet exact het voorgeschreven theorem bewijzen. Een comparator controleert of een deelnemer niet stiekem een makkelijker probleem heeft opgelost.
Daarna controleert de Lean-kernel het formele bewijs.
AI mag nieuwe routes vinden. De machinecontrole bepaalt of de wiskunde werkelijk overeind blijft.
Dat onderscheid raakt een zwakke plek van generatieve AI. Een model kan overtuigend klinkende wiskunde produceren die toch een fout bevat.
Bij better.codes levert zo'n antwoord simpelweg geen geaccepteerd bewijs op.
Het doel begon bij 128 bits
De oorspronkelijke uitdaging draait om koalaIRS12.
Dat is een vast probleem rond interleaved Reed-Solomon-codes en proximity. Zulke code-eigenschappen spelen een rol in moderne hash-based SNARK-systemen.
Een SNARK is een compact cryptografisch bewijs waarmee iemand kan aantonen dat een berekening correct is uitgevoerd, zonder dat iedere partij de volledige berekening opnieuw hoeft te doen.
Dergelijke bewijzen worden onder meer gebruikt door zkVM's en schaaloplossingen rond Ethereum.
Bij de lancering stelde de Foundation een duidelijke benchmark: de machine-gecontroleerde soundness-ondergrens richting 128 bits brengen.
Maar precies daar wordt het verhaal interessanter.
Live challenge zet bovengrens al onder 128 bits
Better.codes bevat inmiddels twee kanten van hetzelfde probleem.
De Soundness-track probeert de bewezen ondergrens te verhogen. Hoe hoger die komt, hoe sterker het formeel aangetoonde resultaat.
De Attack-track doet het tegenovergestelde. Die zoekt een formeel bewijs dat laat zien dat bepaalde sterkere claims niet kunnen gelden.
Op het moment van schrijven staat de live band op:
- 53,13 bits als machine-gecontroleerde ondergrens;
- 116,51 bits als machine-gecontroleerde bovengrens.
Dat betekent dat de oorspronkelijke 128-bit benchmark niet simpelweg een rechte klim omhoog is.
Onderzoekers proberen tegelijk van onderen zekerheid op te bouwen en van bovenaf uit te sluiten wat niet haalbaar is binnen deze vastgelegde benchmark.
Dat is wetenschappelijk interessanter dan een leaderboard dat alleen maar omhoog kan.
Dit betekent niet dat Ethereum 53 bits veilig is
Hier ligt de belangrijkste nuance.
De cijfers op better.codes zijn geen meting van de totale beveiliging van Ethereum.
Ze betekenen evenmin dat Ethereum ineens maar 53,13 bits beveiliging heeft of dat een aanvaller het netwerk met 116,51 bits kan breken.
De officiële challenge-repository zegt expliciet dat de score betrekking heeft op een vastgelegde threshold binnen deze Reed-Solomon-reductie.
De repository noemt het nadrukkelijk geen volledige securityclaim voor een compleet protocol.
Dat verschil is groot.
Better.codes probeert een specifiek wiskundig gat kleiner te maken. Het meet niet de veiligheid van ETH-wallets, validators of het mainnet als geheel.
Waarom 128 bits toch zo belangrijk is
De keuze voor 128 bits komt niet uit de lucht vallen.
Veel cryptografische productiesystemen mikken op een veiligheidsniveau rond 128 bits. Grof gezegd betekent dat dat een generieke aanvaller astronomisch veel werk zou moeten verrichten om de beveiliging te doorbreken.
Het probleem is dat praktijk en formeel bewijs niet altijd op hetzelfde punt uitkomen.
De Foundation schrijft dat hash-based SNARK-systemen gebruikmaken van eigenschappen rond proximity gaps en correlated agreement voor Reed-Solomon-codes.
Voor sommige daarvan leunt de verwachte veiligheid nog op wiskundige vermoedens die niet volledig bewezen zijn.
Better.codes probeert dat gat zichtbaar en kleiner te maken.
Niet door te zeggen dat een aanname waarschijnlijk klopt, maar door steeds sterker formeel bewijs af te dwingen.
Waarom dit bij post-quantum Ethereum hoort
Hash-based bewijssystemen zijn belangrijk binnen Ethereums bredere voorbereiding op quantumcomputers.
Ethereum gebruikt vandaag meerdere cryptografische technieken die uiteindelijk kwetsbaar kunnen worden voor voldoende krachtige quantumhardware.
Daaronder vallen ECDSA-handtekeningen voor accounts, BLS-handtekeningen bij validators en KZG-commitments.
Hashfuncties hebben daarbij een aantrekkelijk voordeel. Quantumcomputers kunnen bepaalde aanvallen erop versnellen, maar breken ze niet op dezelfde manier als elliptische-curvecryptografie.
De officiële post-quantumroute van Ethereum noemt daarom onder meer hash-based signatures en proof-systemen als onderdelen van de meerjarige migratie.
Better.codes past in dat onderzoekswerk.
SNARKs moeten grote post-quantum handtekeningen helpen temmen
Dat verband wordt duidelijker op de consensuslaag.
Ethereum onderzoekt leanXMSS als hash-based alternatief voor de huidige BLS-handtekeningen van validators.
Daar zit een prijskaartje aan.
Post-quantum handtekeningen zijn veel groter dan BLS-signatures. Ethereum onderzoekt daarom een minimale zkVM, leanVM, om grote aantallen signatures samen te persen tot efficiëntere bewijzen.
De Foundation beschrijft dat als onderdeel van de route naar een post-quantum consensusmechanisme.
Betere en beter begrepen hash-based proof-systemen raken daardoor uiteindelijk aan de schaalbaarheid van die migratie.
Wie de onderliggende cryptografie scherper kan bewijzen, verkleint de hoeveelheid vertrouwen die in onbewezen aannames moet worden gelegd.
ArkLib maakt het probleem leesbaar voor een bewijschecker
De wiskunde achter koalaIRS12 is volledig vastgelegd in ArkLib.
Dat is een open Lean 4-bibliotheek voor formeel geverifieerde cryptografische argumenten. De ArkLib-repository bevat onder meer werk rond SNARKs, Reed-Solomon-codes en verschillende proof-systemen.
Lean werkt hier als formele scheidsrechter.
Een traditioneel wiskundig bewijs wordt door andere onderzoekers gelezen en gecontroleerd. Bij formele verificatie wordt het bewijs zo precies opgeschreven dat een kleine kernel iedere logische stap kan controleren.
Dat sluit menselijke fouten niet uit de hele onderzoeksroute uit.
Het maakt de uiteindelijke bewijsclaim wel veel minder afhankelijk van interpretatie.
Goede mislukkingen worden ook gedeeld
Better.codes probeert daarnaast een ander probleem met AI-onderzoek op te lossen: dubbel werk.
Geaccepteerde inzendingen worden teruggevoerd naar een publieke Git-repository.
Nieuwe lemma's en bewijsstrategieën worden daarmee beschikbaar voor andere deelnemers. Ook impossibility results kunnen worden gedeeld.
Dat laatste is belangrijk.
Als een agent formeel aantoont dat een bepaalde route niet verder kan, hoeven tientallen andere agents niet steeds dezelfde doodlopende straat in.
Iedere geaccepteerde stap verandert zo het uitgangspunt voor de volgende ronde.
De Foundation hoopt dat veel verschillende AI-systemen parallel sneller vooruitgang boeken dan één onderzoeksteam met één vaste aanpak.
Better.codes bouwt voort op grotere cryptoprijs
Het probleem komt voort uit de Proximity Prize.
De Ethereum Foundation zette daarvoor een onderzoeksprogramma op rond open problemen in Reed-Solomon proximity gaps en correlated agreement.
De officiële Proximity Prize koppelt maximaal $1 miljoen aan onderzoek dat belangrijke conjectures bewijst of juist weerlegt.
Better.codes kiest daaruit een veel strakker afgebakend probleem en maakt daarvan een continu machine-gecontroleerd speelveld.
Dat verandert ook de rol van AI.
Bij de bredere prijs blijven menselijke onderzoekers verantwoordelijk voor wetenschappelijke inzendingen. Bij better.codes kan een agent veel zelfstandiger zoeken, omdat de eindclaim automatisch tegen een vast theorem wordt gecontroleerd.
Geen Ethereum-upgrade en geen actie voor ETH-houders
Voor ETH-houders verandert vandaag niets.
Better.codes is geen hard fork. Validators hoeven geen software te installeren en bestaande wallets krijgen geen nieuwe cryptografie.
Ook betekent de lancering niet dat Ethereum vanaf nu quantumveilig is.
Ethereum zelf zegt dat er vandaag geen quantumcomputer bestaat die de huidige cryptografie van het netwerk kan breken. De migratie wordt jaren vooraf onderzocht omdat grote cryptografische wijzigingen langzaam en riskant zijn.
CryptoBenelux beschreef eerder waarom quantum voor Ethereum vooral een migratieprobleem is.
Better.codes is één klein stuk van dat grotere werk.
Geen geforceerde Benelux-haak nodig
Voor Nederlandse en Belgische ETH-houders heeft de lancering geen directe praktische consequentie.
Er verandert niets aan wallets, transacties of de juridische behandeling van Ethereum.
Voor cryptografen, securityteams en ZK-ontwikkelaars is het project wel publiek toegankelijk. De resultaten kunnen daardoor ook buiten de Ethereum Foundation worden gecontroleerd en hergebruikt.
Dat is relevanter dan een geforceerde lokale invalshoek.
De echte test speelt zich in de bewijsregels af.
Ethereum begon de dag met een uitdaging om een formele ondergrens richting 128 bits te brengen. Nog dezelfde dag begonnen AI-agents ook de andere kant van de ruimte af te snijden.
Dat is precies wat formeel onderzoek hoort te doen: niet bewijzen wat je graag wilt geloven, maar vastleggen wat de wiskunde daadwerkelijk toestaat.
SEO-title: Ethereum zet AI op post-quantum bewijs | CryptoBenelux
Meta description: Ethereum laat AI-agents cryptobewijzen verbeteren en door Lean controleren. Better.codes toont nu een formele band van 53,13 tot 116,51 bits.
Stop met te veel betalen voor je crypto. Bij de Amsterdamse exchange Finst handel je tegen de laagste tarieven van Nederland, zonder verborgen kosten.
👀 Bekijk Finst nu ›Let op: Beleggen in crypto brengt risico’s met zich mee. Handel alleen met geld dat u kunt missen.
Ga verder met lezen
Dit vind je misschien ook leuk
Laat mensen jouw mening weten
Lees ook
Populair Nieuws
Loading
