Ethereum peilt Post-Quanten-Umstellung für Dezember 2028 an: leanVM erreicht formale Verifikation
Der Ethereum-Foundation-Forscher Justin Drake hat bekannt gegeben, dass die minimale zkVM leanVM eine durchgängige formale Verifikation erreicht hat. Damit wurde der Dezember 2028 als neuer Zieltermin für den vollständigen Post-Quanten-Übergang des Netzwerks festgelegt.
Justin Drake, Forscher bei der Ethereum Foundation, gab am 3. November 2026 bekannt, dass leanVM eine durchgängige formale Verifikation erreicht hat. Während seines Vortrags auf der Devcon 8 in Mumbai stellte Drake einen überarbeiteten Zeitplan vor, der den Dezember 2028 für Ethereums vollständigen Übergang zu Post-Quanten-Sicherheit anvisiert.
leanVM ist eine abgespeckte, minimale zkVM auf Basis von Zero-Knowledge-Beweisen, die darauf ausgelegt ist, Post-Quanten-Signaturen im gesamten Netzwerk praktikabel zu machen. Die virtuelle Maschine aggregiert hashbasierte Signaturen und bündelt mehrere Signaturen in einem kompakten Beweis, anstatt jede einzelne separat zu verifizieren.
Leistungsdaten zeigen, dass leanVM mehr als 1.000 leanXMSS-Aggregationen pro Sekunde verarbeiten kann. leanXMSS ist das hashbasierte Signaturverfahren, das die BLS-Signaturen ersetzen soll, auf die sich Ethereum-Validatoren derzeit stützen, um den Zustand des Netzwerks zu bestätigen.
Die formale Verifikation nutzt mathematische Beweise, um nachzuweisen, dass Software exakt wie spezifiziert funktioniert, anstatt Code nur anhand isolierter Szenarien zu testen. Da leanVM diese Verifikation durchgängig (End-to-End) erreicht hat, deckt die mathematische Garantie das gesamte Software-Tool ab und nicht nur ausgewählte Teile.
Die übergeordnete Initiative zur Quantenabwehr zielt darauf ab, alle drei Ebenen des Ethereum-Protokolls zu schützen, verankert durch drei Open-Source-Komponenten: leanVM, leanXMSS und leanSpec. Um diese Arbeit zu unterstützen, entwickelt die Ethereum Foundation Open-Source-Implementierungen, führt Verifikationsprozesse durch und setzt Anreize wie den Poseidon-Preis aus, um die Forschung zu fördern.
Ein hinreichend leistungsfähiger Quantencomputer könnte theoretisch die kryptografischen Systeme brechen, die moderne Blockchain-Signaturen absichern. Da die Umstellung eines aktiven, dezentralen Netzwerks auf alternative kryptografische Grundlagen jahrelange Vorbereitung erfordert, stützt sich Ethereums Roadmap auf konservative hashbasierte Signaturen in Kombination mit verifizierter Beweisaggregation.
Das aktualisierte Ziel für Dezember 2028 wurde angesetzt, um Entwicklern nach einem früheren Meilenstein genügend Zeit für die erforderlichen Netzwerk-Forks zu geben. Dies verdeutlicht, dass die Foundation eine Reihe koordinierter Upgrades plant statt einer sofortigen Generalüberholung.
Der Austausch von BLS durch leanXMSS auf der Konsensebene wird letztlich Änderungen an der Validator-Software, den Client-Implementierungen und den breiteren Ökosystem-Tools erfordern. Während die Verarbeitung von mehr als 1.000 Aggregationen pro Sekunde einen klaren technischen Richtwert liefert, bleibt das Datum im Dezember 2028 ein Zielwert und keine garantierte Frist; das Ergebnis hängt eng von der Qualität von leanSpec und dessen grundlegendem Design ab.
Risikohinweis: Dieser Artikel ist keine Anlageberatung. Kryptowerte sind hochvolatil; ein Totalverlust ist möglich.
