Zum Inhalt springen
Financial Context Wiki

Verkle-Baum

Ein Verkle-Baum verbindet einen breiten Baum mit Vektor-Commitments für kompakte Zustandszeugen, bringt aber kryptografische, Beweis- und Migrationsabwägungen mit sich.

Aktualisiert

Nur zu Bildungszwecken; keine Anlageberatung. Anlagen können Verluste verursachen.

Direkte Antwort

Ein Verkle-Baum ist ein authentifizierter Schlüssel-Wert-Baum, dessen innere Knoten Vektor-Commitments nutzen. Wie ein Merkle-Baum bindet er viele Werte an eine Wurzel; anders als ein gewöhnlicher Hash-Baum kann er ein Kind an einer Position beweisen, ohne alle Geschwisterwerte mitzuliefern.

Das ermöglicht hohe Verzweigung und aggregierte Öffnungen für mehrere Schlüssel, wodurch der Zeuge kleiner als bei einem Merkle-Patricia Trie wird. Er enthält weiterhin Ausführungswerte und den kryptografischen Bezug zur authentifizierten Wurzel. „Zustandslos“ heißt weder, dass niemand Zustand speichert, noch dass Konsens entfällt. Am 2026-08-22 nannte Ethereums Roadmap noch Testnets und ausstehende Client-Arbeit; EIP-6800 war Stagnant.

Funktionsweise

Das Protokoll legt deterministische Kodierungen, Commitment-Schema und Regeln für leere Knoten fest. Jeder Knoten bindet einen geordneten Kindvektor; der Beweiser öffnet je Ebene die relevante Position. Ein Multiproof bündelt Öffnungen und gemeinsame Pfade. Der Prüfer gleicht Schlüssel, Werte, Commitments und Beweis mit einer vertrauenswürdigen Wurzel ab.

Bei EIP-6800 besteht ein 32-byte-Schlüssel aus 31-byte stem und 1-byte suffix; die Knotenbreite ist 256. Werte mit gleichem stem teilen Beweismaterial. Dieses Layout ist vorschlagsspezifisch: mehr Breite verkürzt Pfade, verlangt aber elliptische Kurvenarithmetik und Vorberechnung.

Beispiel

Ein 31-byte stem gruppiere 256 mögliche suffix-Positionen. Liest ein Block 2 Werte desselben stem, kann der Zeuge Pfad und Öffnungen teilen, statt 2 Sätze von Merkle-Geschwisterhashes zu übertragen. Beide Schlüssel und Werte, Beweis und gewählte Wurzel bleiben zu prüfen.

Eine Änderung aktualisiert das Commitment und alle Vorfahren bis zur Wurzel. Ein Beweis zur alten Wurzel beweist nicht die neue. Die Ersparnis hängt vom Zugriff ab; kompakt bedeutet weder null Bandbreite noch null Kosten oder garantierte Verfügbarkeit.

Risiken

Fehler bei Schlüsselableitung, Byte-Reihenfolge, Positionsbindung, Domain Separation, Punktprüfung, Skalarumwandlung oder der Trennung von leer und null gefährden die Sicherheit. Testvektoren und Client-Interoperabilität sind nötig.

Kleine Beweise lösen Datenverfügbarkeit und Liveness nicht: Zurückgehaltene Werte verhindern Ausführung, eine falsche Wurzel oder Finality akzeptiert die falsche Historie. Beweiserzeugung kann Engpass oder Zensurpunkt sein.

Migration ändert Layout, Synchronisierung, Formate, Datenbanken, Gas-Abrechnung und historische Beweise. Vorschlag oder Devnet belegen keine Produktionsreife. Die betrachteten Kurven-Commitments gelten zudem meist nicht als post-quantum secure.

Häufige Irrtümer

Irrtum 1: nur ein Merkle-Baum mit mehr Kindern

Entscheidend ist das Öffnen eines Kindes per Vektor-Commitment ohne Liste aller Geschwister.

Irrtum 2: jeder Beweis hat konstante Gesamtgröße

Öffnungen lassen sich bündeln, doch der Zeuge wächst mit Werten, Pfaden und Metadaten.

Irrtum 3: zustandslos heißt, niemand speichert Zustand

Nur der Prüfer braucht keine vollständige Kopie; jemand muss Daten halten oder rekonstruieren und liefern.

Irrtum 4: Ethereum Mainnet nutzt bereits Verkle-Bäume

Die Quellen beschreiben Forschung und Testnets; zum Prüftag war EIP-6800 Stagnant.

Verwandte Themen

Quellen

Navigation

Wiki durchsuchen...