Glossar
Merkle-Proof
Aktualisiert 12. Juni 2026
Ein Merkle-Proof ist ein kryptografischer Nachweis, der belegt, dass ein bestimmtes Datenelement – etwa eine Transaktion – in einem Merkle-Baum enthalten ist, ohne dass der Prüfer den gesamten Baum kennen muss.
Aufbau und Funktionsweise
Ein Merkle-Baum ist eine hierarchische Hash-Struktur: Jede Transaktion wird gehasht (Blattknoten), benachbarte Hashes werden paarweise kombiniert und erneut gehasht, bis ein einziger Wert übrig bleibt – die Merkle Root. Diese Root ist im Block-Header gespeichert und damit fester Bestandteil des Block-Hashs.
Ein Merkle-Proof besteht aus den sogenannten Sibling Hashes – den Schwester-Knoten entlang des Pfades vom gesuchten Blattknoten bis zur Root. Der Prüfer hasht das fragliche Element zusammen mit diesen Sibling Hashes schrittweise nach oben und vergleicht das Ergebnis mit der bekannten Merkle Root. Stimmen beide überein, ist die Inklusion bewiesen.
Der entscheidende Vorteil liegt in der Effizienz: Die Anzahl der benötigten Hashes wächst nur logarithmisch mit der Datenmenge (O(log n)). Bei einem Block mit 4.096 Transaktionen genügen zwölf Hashes für einen vollständigen Proof.
Bedeutung für Light-Clients und darüber hinaus
Satoshi Nakamoto beschrieb in Abschnitt 8 des Bitcoin-Whitepapers die Simplified Payment Verification (SPV): Ein Light-Client lädt lediglich die Block-Header herunter – nicht die vollständige Blockchain. Will er prüfen, ob eine bestimmte Transaktion in einem Block enthalten ist, fordert er einen Merkle-Proof von einem vollständigen Knoten an. Die Verifikation erfolgt lokal, anhand der bereits bekannten Merkle Root im Header.
Ändert sich nachträglich auch nur eine einzige Transaktion, verändert sich die Merkle Root – und damit der gesamte Block-Hash. Manipulation wird so strukturell erkennbar.
Über Bitcoin hinaus kommen Merkle-Proofs in Ethereums Merkle-Patricia-Trie (zur Verifikation von Kontenzuständen), in Layer-2-Rollups (Nachweis von Transaktionen gegenüber dem Basisprotokoll) und in dezentralen Datenspeichersystemen zum Einsatz.
Wichtige Einschränkung
Ein Merkle-Proof belegt ausschließlich die Inklusion in einer bestimmten Datenstruktur. Er beweist weder die semantische Korrektheit einer Transaktion noch Doppelausgaben-Freiheit oder Konsens-Finalität. Die Vertrauenswürdigkeit der Merkle Root – und damit des Block-Headers, in dem sie gespeichert ist – muss unabhängig davon sichergestellt sein, etwa durch die Überprüfung der Proof-of-Work-Kette.