💻 computer science

Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay

Dieses Papier liefert einen rigorosen und vereinfachten Sicherheitsbeweis für das Bitcoin-Protokoll unter Berücksichtigung begrenzter Netzwerkverzögerungen, korrigiert frühere Fehler in der Zufallsweg-Theorie durch einen neuen Ansatz mit einem punktierten Blockankunftsprozess und zeigt, dass das Protokoll mit Wahrscheinlichkeit eins unendlich viele ehrliche Blöcke generiert, sofern die verzögerte ehrliche Mining-Rate die des Angreifers übersteigt.

Ursprüngliche Autoren: Christopher Blake, Chen Feng, Xuechao Wang, Qianyu Yu

Veröffentlicht 2026-04-16

📖 4 Min. Lesezeit☕ Kaffeepausen-Lektüre

CC BY 4.0

Ursprüngliche Autoren: Christopher Blake, Chen Feng, Xuechao Wang, Qianyu Yu

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Der große Wettstreit: Ehrliche Gärtner gegen den listigen Nachbarn

Stellen Sie sich Bitcoin nicht als komplizierte Software vor, sondern als einen riesigen, öffentlichen Garten, in dem jeder Pflanzen (Blöcke) pflanzen kann. Das Ziel ist es, die schönste und längste Kette von Pflanzen zu haben. Wer die längste Kette hat, bestimmt, was wahr ist.

In diesem Garten gibt es zwei Gruppen:

Die ehrlichen Gärtner: Sie pflanzen schnell und fair.
Der listige Nachbar (der Angreifer): Er versucht, die Regeln zu umgehen, um seine eigene Kette heimlich länger zu machen, bevor er sie enthüllt.

Das Problem, das dieses Papier löst, ist wie ein Postboten-System mit Verzögerung. Wenn ein ehrlicher Gärtner eine Pflanze pflanzt, kann der listige Nachbar den Boten, der die Nachricht an die anderen schickt, für eine gewisse Zeit (nennen wir es $\Delta$ ) aufhalten. Er kann also die Wahrheit kurzzeitig verbergen.

Das alte Problem: Der falsche Zufallsweg

Frühere Wissenschaftler haben versucht zu beweisen, dass Bitcoin sicher ist, solange die ehrlichen Gärtner mehr als 50 % der Kraft haben. Sie haben dabei eine Annahme getroffen, die sich als falsch herausstellte.

Stellen Sie sich vor, sie dachten, der Abstand zwischen der ehrlichen Kette und der bösen Kette wäre wie ein Zufallsweg (Random Walk). Das ist wie ein Betrunkener, der zufällig nach links oder rechts stolpert. Man dachte, wenn die ehrlichen Gärtner nur etwas schneller sind, wird der Betrunkene (der Abstand) irgendwann immer weiter nach rechts (in Richtung Sicherheit) wandern.

Der Fehler: In der Realität ist dieser Weg kein zufälliges Stolpern. Es ist ein geplanter Marsch. Die alten Beweise basierten auf einer falschen Karte.

Die neue Lösung: Der "gepunktete" Garten

Die Autoren dieses Papiers haben eine neue, robustere Methode entwickelt, um zu beweisen, dass Bitcoin sicher ist. Sie nutzen zwei geniale Tricks:

1. Der "Vollverzögerte" Garten (Das Worst-Case-Szenario)

Um sicherzugehen, schauen sie sich nicht den normalen Garten an, sondern den schlimmstmöglichen Fall. Sie stellen sich vor, dass jeder ehrliche Gärtner so lange wartet, bis die maximale Zeit ( $\Delta$ ) vergangen ist, bevor er seine Pflanze zeigt.

Die Erkenntnis: Selbst wenn die ehrlichen Gärtner so langsam sind wie möglich (wegen der Verzögerung), wachsen ihre Pflanzen immer noch schneller als die des Nachbarn – vorausgesetzt, die ehrlichen Gärtner haben insgesamt mehr Kraft (Hashrate).
Die Metapher: Selbst wenn die ehrlichen Gärtner durch dicke Nebelwände laufen und sich verlaufen, kommen sie trotzdem schneller ans Ziel als der Nachbar, der nur eine kurze Strecke zurücklegen kann.

2. Der "gepunktete" Prozess (Der Trick mit den Löchern)

Hier kommt der eigentliche Clou. Um zu beweisen, dass die ehrliche Kette immer gewinnt, schneiden die Autoren den Zeitstrahl in Stücke.

Sie nehmen sich vor: "Wir lassen für eine Weile (Zeit B) alles zu, dann löschen wir für eine kurze Zeit ( $\Delta$ ) alles, was passiert, und fangen dann wieder an."
Das klingt chaotisch, aber es erlaubt ihnen, die Mathematik zu vereinfachen. Durch das regelmäßige "Löschen" (Punktieren) werden die Ereignisse voneinander unabhängig.
Die Analogie: Stellen Sie sich vor, Sie werfen Münzen. Um zu beweisen, dass Sie öfter "Kopf" als "Zahl" werfen, unterbrechen Sie das Würfeln regelmäßig, um sicherzustellen, dass das Ergebnis der vorherigen Runde das nächste nicht beeinflusst. So können sie beweisen, dass der Zufall auf Ihrer Seite ist.

Das Ergebnis: Unendlich viele ehrliche Pflanzen

Das Papier beweist mit mathematischer Sicherheit (mit einer Wahrscheinlichkeit von 100 %), dass:

Solange die Wachstumsrate der ehrlichen Gärtner (unter Berücksichtigung der Verzögerung) höher ist als die des Angreifers ( $\lambda_h > \lambda_a$ ),
dann wird es unendlich viele ehrliche Blöcke geben, die für immer in der Hauptkette bleiben.

Der Angreifer kann zwar kurzzeitig versuchen, eine eigene, längere Kette zu bauen, aber er wird es nie schaffen, die ehrliche Kette dauerhaft zu verdrängen. Irgendwann wird ein "Nakamoto-Block" (ein besonders starker, ehrlicher Block) gepflanzt, der so isoliert und stark ist, dass er für immer in der Geschichte bleibt.

Was passiert, wenn der Angreifer stärker ist?

Das Papier zeigt auch das Gegenteil: Wenn der Angreifer mehr Kraft hat als die ehrlichen Gärtner ( $\lambda_a > \lambda_h$ ), dann ist das System unsicher.

Die Metapher: Wenn der listige Nachbar mehr Gärtner hat als der ganze Dorfverein zusammen, kann er einfach eine eigene, längere Kette im Verborgenen züchten und sie dann plötzlich enthüllen. Dann gewinnt er immer.

Zusammenfassung in einem Satz

Dieses Papier repariert einen alten mathematischen Fehler in der Bitcoin-Sicherheitstheorie, indem es zeigt, dass selbst unter den schlechtesten Bedingungen (maximale Verzögerung und listige Angreifer) die ehrlichen Teilnehmer gewinnen werden, solange sie nur ein wenig mehr Energie haben als der Angreifer. Es ist der Beweis, dass Bitcoin nicht auf Glück, sondern auf unveränderlicher Mathematik basiert.

1. Problemstellung und Motivation

Das Paper adressiert die formale Sicherheitsanalyse des Bitcoin-Protokolls unter der Annahme eines Netzwerks mit begrenzter Verzögerung ( $\Delta$ -bounded delay).

Hintergrund: Die ursprüngliche Sicherheitsgarantie von Bitcoin basiert auf der Annahme, dass ehrliche Knoten mehr als 50% der Hash-Leistung besitzen. Bisherige Beweise (z. B. in [7] und [8]) hatten jedoch Mängel.
Der kritische Fehler: Eine frühere Arbeit ([7]) nahm fälschlicherweise an, dass die Differenz zwischen der Länge der Angreiferkette und der ehrlichen Kette einem Random Walk (Zufallsweg) folgt. Das Paper widerlegt diese Annahme durch ein Gegenbeispiel (Anhang A) und zeigt, dass die Prozesse nicht die notwendigen Eigenschaften eines Random Walks erfüllen.
Komplexität: Der alternative Beweis in [8] gilt als zu lang und nicht intuitiv.
Ziel: Das Paper bietet einen rigorosen, vereinfachten und generalisierten Beweis, der den Fehler bezüglich des Random Walks korrigiert und das Modell auf Blöcke mit unterschiedlichen „Scores" (Werten) erweitert, um es auch für das „Merged Bitcoin"-Protokoll anwendbar zu machen.

2. Methodik und Modellierung

Die Autoren verwenden ein mathematisches Modell, das folgende Komponenten umfasst:

$\Delta$ -gebundenes Verzögerungsmodell: Ein Angreifer kann die Übertragung ehrlicher Blöcke um maximal $\Delta$ Zeit verzögern. Sobald ein Block jedoch einem ehrlichen Miner übermittelt wurde, kann die Verzögerung zu anderen Minern ebenfalls nur $\Delta$ betragen.
Generalisiertes Score-Modell: Im Gegensatz zum Standard-Bitcoin (wo jeder Block Score 1 hat), erlauben die Autoren Blöcke unterschiedlicher Typen mit unterschiedlichen Punktwerten ( $c_i$ ). Die Wahlkette (Fork-Choice-Rule) basiert auf dem höchsten kumulierten Score.
Poisson-Prozesse: Die Ankunft von Blöcken sowohl durch ehrliche Miner als auch durch den Angreifer folgt Poisson-Prozessen.
- $\lambda_h$ : Die Wachstumsrate des Scores der ehrlichen Kette unter voller Verzögerung ( $\Delta$ ).
- $\lambda_a$ : Die Wachstumsrate des Scores der Angreiferkette.

Kernkorrektur des Beweises:
Statt die Differenz der Kettenlängen als Random Walk zu betrachten, führen die Autoren eine punktierte Ankunftsprozess-Methode (punctured arrival process) ein.

Punktierte Kette: Das Modell simuliert eine Kette, in der Blöcke in regelmäßigen Intervallen ( $B$ ) durchgelassen werden, gefolgt von Intervallen der Länge $\Delta$ , in denen alle Blöcke gelöscht werden.
Unabhängigkeit: Durch das Löschen von Blöcken in $\Delta$ -Intervallen werden die verbleibenden Score-Wachstumsintervalle unabhängig und identisch verteilt (i.i.d.). Dies ermöglicht die korrekte Anwendung der Theorie der Random Walks auf die Summe dieser unabhängigen Intervalle.

3. Schlüsselkonzepte und Definitionen

Nakamoto-Intervall: Ein Zeitintervall der Länge $2q$ $2 q$ , in dem:
1. Genau ein ehrlicher Block ankommt.
2. Keine anderen ehrlichen Blöcke in einem erweiterten Fenster ( $\pm q + \Delta$ ) ankommen („Loner"-Bedingung).
3. Keine Angreiferblöcke in einem noch größeren Fenster ( $\pm q + 2\Delta$ ) ankommen.
Nakamoto-Block: Der ehrliche Block, der in einem solchen Intervall ankommt.
Ereignisse $E_1$ und $E_2$ :
- $E_1$ : Die ehrliche Kette dominiert in der Vergangenheit (Score-Wachstum der ehrlichen Kette übersteigt das des Angreifers).
- $E_2$ : Die ehrliche Kette dominiert in der Zukunft.
Hauptthese: Wenn ein Nakamoto-Intervall auftritt (d.h. $L_q \cap E_1 \cap E_2$ ), bleibt der darin enthaltene Block für immer in der kanonischen Kette.

4. Wichtige Ergebnisse und Beweisschritte

Existenz der Wachstumsrate: Es wird bewiesen, dass die durchschnittliche Wachstumsrate $\lambda_h$ der vollständig verzögerten ehrlichen Kette fast sicher existiert (Gesetz der großen Zahlen).
Korrektur des Random-Walk-Fehlers: Durch die Verwendung des punktierten Prozesses wird gezeigt, dass die Score-Differenz tatsächlich als Random Walk modelliert werden kann, da die Intervalle durch die $\Delta$ -Löschungen unabhängig gemacht werden.
Positive Wahrscheinlichkeit: Es wird bewiesen, dass die Wahrscheinlichkeit, dass ein beliebiges Intervall ein Nakamoto-Intervall ist, strikt größer als 0 ist, sofern $\lambda_h > \lambda_a$ .
Bootstrap-Argument (Induktion):
- Das Paper zeigt nicht nur, dass ein Block sicher ist, sondern dass unendlich viele Blöcke sicher sind.
- Durch eine Induktion über Intervalllängen wird gezeigt, dass die Wahrscheinlichkeit, dass ein Intervall der Länge $t$ keine dauerhaften ehrlichen Blöcke enthält, exponentiell mit $t$ gegen Null geht.
- Unter Verwendung des Borel-Cantelli-Lemmas wird daraus gefolgert, dass mit Wahrscheinlichkeit 1 unendlich viele ehrliche Blöcke in der kanonischen Kette verbleiben.

Sicherheitsregion:
Das Protokoll ist sicher, wenn $\lambda_h > \lambda_a$ . Das bedeutet, die Wachstumsrate der ehrlichen Kette (unter Worst-Case-Verzögerung) muss die Wachstungsrate des Angreifers übersteigen.

Unsicherheitsregion:
Wenn $\lambda_a > \lambda_h$ , ist das System unsicher. Ein Angreifer kann durch privaten Mining-Angriff (Private Mining Attack) mit Wahrscheinlichkeit 1 die ehrliche Kette verdrängen, sobald er eine höhere Score-Rate hat.

5. Bedeutung und Beitrag

Rigorose Korrektur: Das Paper schließt eine Lücke in der theoretischen Fundierung von Bitcoin, indem es einen fundamentalen Fehler in früheren Beweisen (die Annahme eines Random Walks ohne Begründung) identifiziert und durch eine mathematisch saubere Methode (punktierte Prozesse) ersetzt.
Generalisierung: Der Beweis gilt nicht nur für Standard-Bitcoin, sondern für ein generalisiertes Modell mit variablen Block-Scores. Dies ist essenziell für die Analyse von Forks und neuen Konsensmechanismen wie „Merged Bitcoin".
Vereinfachung: Der neue Ansatz ist intuitiver und kürzer als frühere Beweise, da er die Komplexität der Abhängigkeiten zwischen Blockankunftszeiten durch die Einführung von „Nakamoto-Intervallen" und der punktierten Kette handhabt.
Ergebnis: Es wird mathematisch bewiesen, dass Bitcoin (und abgeleitete Protokolle) unter der Bedingung $\lambda_h > \lambda_a$ in einem Netzwerk mit begrenzter Verzögerung sicher ist und unendlich viele ehrliche Blöcke in der Hauptkette behält.

Zusammenfassend liefert das Paper einen robusten, korrigierten und verallgemeinerten Sicherheitsbeweis für Bitcoin, der die theoretische Basis für zukünftige Blockchain-Entwicklungen stärkt.