Die Ethereum Foundation hat better.codes vorgestellt, eine kollaborative Forschungsplattform, die künstliche Intelligenz zur Stärkung der Sicherheit hash-basierter SNARKs einsetzt. Die Initiative ist Teil der breiter angelegten Anstrengung von Ethereum, seine kryptografische Infrastruktur auf die potenziellen Risiken künftiger Quantencomputer vorzubereiten.

Die Plattform konzentriert sich auf koalaIRS12, ein Reed-Solomon-Proximity-Problem, das in modernen kryptografischen Beweissystemen eine wichtige Rolle spielt. Über better.codes können Forschende KI-Agenten einsetzen, um die Soundness-Schranken von koalaIRS12-Beweisen zu verbessern; die Ergebnisse werden anschließend durch den Lean-Kernel verifiziert. Lean, ein ursprünglich bei Microsoft Research entwickelter quelloffener Theorembeweiser und Programmiersprache, prüft jeden Beweisschritt anhand eines kleinen vertrauenswürdigen Kernels, sodass akzeptierte Ergebnisse über maschinell verifizierte Garantien verfügen, statt sich allein auf manuelle Peer-Reviews zu stützen.

Die Initiative zielt darauf ab, maschinell verifizierte Sicherheitsgarantien für koalaIRS12 zu etablieren und zugleich auf ein 128-Bit-Sicherheitsziel hinzuarbeiten, das Ethereums Verteidigung gegen künftige Quantenbedrohungen stärken könnte. Das Projekt wurde gemeinsam mit Yukon und zkSecurity entwickelt und ist auf inkrementelle Beiträge ausgelegt. Akzeptierte Lösungen werden sowohl den Forschenden beziehungsweise Lösern als auch den an ihrer Erstellung beteiligten KI-Modellen zugeschrieben – ein Ansatz, der transparente Zusammenarbeit fördern und zugleich einen überprüfbaren Nachweis des Fortschritts in der kryptografischen Forschung schaffen soll.

Ethereum bereitet sich auf Risiken des Quantencomputings vor

Ethereums Wandel in Richtung Post-Quanten-Kryptografie wird durch Bedenken hinsichtlich der langfristigen Sicherheit der kryptografischen Systeme getrieben, die derzeit in der Blockchain eingesetzt werden. Auf elliptischen Kurven basierende Technologien stützen unter anderem Transaktionssignaturen, die Konsens-Infrastruktur und Zero-Knowledge-Beweise.

Ein ausreichend leistungsfähiger Quantencomputer könnte einige dieser kryptografischen Primitive mithilfe des Shor-Algorithmus potenziell aushebeln. Der 1994 vom Mathematiker Peter Shor entwickelte Algorithmus zielt auf die Faktorisierungs- und Diskreter-Logarithmus-Probleme ab, auf denen ein Großteil der heutigen Public-Key-Kryptografie beruht. Zwar können solche Maschinen Ethereums verbreitete Kryptografie derzeit nicht in praktischem Maßstab brechen – und große Hardware-Hersteller wie IBM und Google haben Roadmaps veröffentlicht, die fehlertolerante Quantencomputer erst gegen Ende des Jahrzehnts vorsehen –, doch die potenzielle künftige Bedrohung hat Blockchain-Entwickler dazu bewogen, frühzeitig nach Alternativen zu suchen.

Ethereum untersucht daher kryptografische Ansätze, die auf Hashfunktionen statt auf diskreten Logarithmen elliptischer Kurven beruhen. Hash-basierte SNARKs und STARKs gehören zu den Technologien, die im Rahmen dieses Übergangs geprüft werden. Diese Richtung zieht eine Parallele zur Standardisierungsarbeit außerhalb der Blockchain: Im Jahr 2024 finalisierte das US-amerikanische National Institute of Standards and Technology seine ersten Standards für Post-Quanten-Kryptografie, darunter SLH-DSA, ein hash-basiertes digitales Signaturverfahren, das die hash-basierte Kryptografie in behördlich genehmigte Produktivnutzung überführte. Die Initiative better.codes adressiert eine der Herausforderungen dieses Vorhabens, indem sie stärkere und formal verifizierte Sicherheitsgarantien für Reed-Solomon-Proximity-Codes anstrebt – Codes, die mehreren kryptografischen Beweissystemen zugrunde liegen und für die Entwicklung skalierbarer Zero-Knowledge-Technologien wichtig sind.

128-Bit-Sicherheitsziel

Die better.codes-Challenge zielt darauf ab, für koalaIRS12 eine 128-Bit-Sicherheitsnorm zu erreichen – ein Ziel, das mit Ethereums langfristigem Vorhaben übereinstimmt, kryptografische Systeme zu entwickeln, die in einer Post-Quanten-Umgebung sicher bleiben. Die Ethereum Foundation hat die Initiative auf X angekündigt:

Learn more in the announcement ↓

— Ethereum Foundation (@ethereumfndn) August 20, 2026

Vollständiger Beitrag: https://x.com/ethereumfndn/status/2090485717273043227?ref_src=twsrc%5Etfw

Die Arbeit folgt auf die Initiative Proximity Prize, die Anfang 2026 mit einem Forschungsfonds von 1 Million US-Dollar gestartet wurde und ungelösten Problemen im Bereich List Decoding und Correlated Agreement gewidmet ist. Indem die Ethereum Foundation diese kryptografischen Probleme in Lean 4 formuliert, möchte sie Forschungsergebnisse mechanisch leichter überprüfbar machen und den Fortschritt hin zu zuverlässigeren kryptografischen Konstruktionen möglicherweise beschleunigen. Die Kombination von maschinellem Lernen mit formaler Beweisprüfung spiegelt zudem einen breiteren Forschungstrend wider: AlphaProof von Google DeepMind, das bei der Internationalen Mathematik-Olympiade 2024 mit Lean-verifizierten Beweisen eine Leistung auf Silbermedaillen-Niveau erzielte, veranschaulichte, wie KI-Systeme zu formal geprüfter Mathematik beitragen können.

Eine stärkere Verifizierung dieser kryptografischen Annahmen könnte Entwicklern nützen, die Rollups, Zero-Knowledge-VMs und weitere Skalierungssysteme bauen, die zunehmend auf SNARK-basierter Technologie beruhen.

Langfristige Sicherheit statt unmittelbarer Marktauswirkungen

Von der Initiative wird keine direkte kurzfristige Wirkung auf den Preis von ETH erwartet. Ihre Bedeutung liegt stattdessen in Ethereums langfristiger Protokollsicherheit sowie in der Vorbereitung auf technologische Risiken, die mit der Weiterentwicklung des Quantencomputings entstehen könnten.

Auch jüngste Anstrengungen im Ethereum-Ökosystem legen zunehmend Wert auf Post-Quanten-Sicherheit, darunter Vorschläge mit rekursiven STARK-Beweisen und die Einrichtung eines eigenen Sicherheitsteams mit Fokus auf quantenbezogene Bedrohungen. Für Entwickler und Infrastrukturanbieter zeigen diese Entwicklungen, dass kryptografische Resilienz zu einer immer wichtigeren Überlegung wird, während sich Zero-Knowledge-Technologien in der Blockchain-Branche ausbreiten.

Die Plattform better.codes soll über die anfängliche Challenge hinauswachsen; die Ethereum Foundation plant weitere Forschungsprobleme unter Programmregeln zu Teilnahmeberechtigung, Bewertung und Prämien. Teilnehmen können Forschende, indem sie sich über GitHub anmelden, auf das entsprechende Repository zugreifen und Lösungen zur koalaIRS12-Challenge beitragen.

Berichten zufolge stellt die Initiative den Versuch dar, die Post-Quanten-Forschung über theoretische Diskussionen hinaus hin zu unabhängig überprüfbaren Implementierungen zu bewegen. Durch die Verbindung KI-gestützter Forschung mit formaler Lean-Verifikation könnte better.codes Ethereum einen strukturierten Weg zu kryptografischen Systemen eröffnen, die den Bedrohungen einer künftigen Quantenära standhalten sollen.

Quelle: CoinTrust