💻 computer science

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

Dit artikel levert een rigoureuze en vereenvoudigde bewijsvoering voor de veiligheid van het Bitcoin-protocol onder een beperkte netwerkvertraging, corrigeert eerdere fouten in random walk-theorie door een nieuw model met een 'gepunctureerd' blok-aankomstproces te introduceren, en toont aan dat er met zekerheid oneindig veel eerlijke blokken zullen worden gegenereerd zolang het eerlijke mijnbouwtempo de aanvalssnelheid van de tegenstander overtreft.

Oorspronkelijke auteurs: Christopher Blake, Chen Feng, Xuechao Wang, Qianyu Yu

Gepubliceerd 2026-04-16

📖 4 min leestijd☕ Koffiepauze-leesvoer

CC BY 4.0

Oorspronkelijke auteurs: Christopher Blake, Chen Feng, Xuechao Wang, Qianyu Yu

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

De Kern: Waarom Bitcoin (meestal) veilig is

Stel je voor dat Bitcoin een gigantisch, digitaal notitieboek is dat door de hele wereld wordt bijgehouden. Iedereen kan er iets in schrijven, maar niemand mag de geschiedenis vervalsen. De vraag die dit paper beantwoordt is: "Wat gebeurt er als er een slimme hacker (de 'adversary') is die probeert het boek te manipuleren, en wat als de communicatie tussen de mensen in het netwerk vertraagd is?"

De auteurs bewijzen wiskundig dat Bitcoin veilig blijft, zolang de eerlijke mensen samen meer rekenkracht hebben dan de hacker, zelfs als de hacker de berichten een beetje vertraagt.

1. Het Probleem: De "Vertraagde Boodschapper"

In het echte leven zijn berichten niet direct. Als je in Nederland een bericht stuurt naar iemand in Australië, duurt het even. In Bitcoin noemen ze dit vertraging ( $\Delta$ ).

De hacker probeert hier misbruik van te maken. Hij kan zeggen: "Ik heb een nieuw blok (een nieuwe pagina) gevonden, maar ik vertel het niemand. Ik wacht tot de eerlijke mensen een andere pagina schrijven, en dan gooi ik mijn oude pagina in het boek, zodat het lijkt alsof mijn versie de waarheid is."

De auteurs kijken naar een scenario waarin de hacker de eerlijke blokken maximaal $\Delta$ seconden kan vertragen.

2. De Nieuwe Aanpak: "Gaten" in de tijd

In eerdere papers probeerden wetenschappers dit te bewijzen met een wiskundig model dat leek op een willekeurige wandeling (een random walk). Stel je voor dat de hacker en de eerlijke mensen een race lopen. De eerdere theorie zei: "Als de eerlijke mensen gemiddeld sneller lopen, winnen ze."

Maar hier zit een fout in: De race is geen simpele wandeling. Soms stopt de hacker plotseling, soms rent hij hard. De eerdere berekening ging er ten onrechte van uit dat elke stap onafhankelijk was van de vorige.

De oplossing van dit paper:
De auteurs gebruiken een slimme truc. Ze kijken niet naar elke seconde, maar naar "gepunctureerde" tijdsintervallen.

De Analogie: Stel je voor dat je een lange film bekijkt, maar je knipt er stukjes uit die te rommelig zijn. Je kijkt alleen naar de stukken waar de eerlijke mensen rustig en voorspelbaar werken.
Ze bewijzen dat als je deze "rustige stukjes" bekijkt, de eerlijke mensen wiskundig gegarandeerd winnen, zolang hun snelheid hoger is dan die van de hacker.

3. De "Nakamoto-blokken": De onverslaanbare ankers

Het paper introduceert een speciaal soort blok: het Nakamoto-blok.

De Analogie: Denk aan een anker dat in de zeebodem wordt geslagen.
Als er een moment is waarop de eerlijke mensen een blok vinden, en er is even geen ruis van de hacker (geen andere blokken in de buurt), dan is dat blok een "Nakamoto-blok".
Het paper bewijst dat zodra zo'n blok er is, het altijd in het hoofdboek blijft. De hacker kan het er nooit meer uit krijgen, hoe slim hij ook is.

4. De "Bootstrapping": Van kans naar zekerheid

Eerst bewijzen ze dat er een kans is dat zo'n anker wordt geslagen. Maar dat is nog niet genoeg; we willen zekerheid.

De Analogie: Stel je voor dat je een muur bouwt. Als je maar lang genoeg bouwt, is de kans dat je nooit een steen legt die perfect past, nul.
De auteurs gebruiken een wiskundige techniek (inductie) om te laten zien: als je lang genoeg wacht, zullen er oneindig veel van deze "Nakamoto-blokken" (ankers) worden geslagen.
Omdat er oneindig veel ankers zijn, kan de hacker de muur nooit meer omver duwen. Het systeem is veilig.

5. De Gouden Regel: Snelheid is alles

Het paper komt tot één simpele conclusie, de "veiligheidszone":

$\lambda_h$ (De snelheid van de eerlijke mensen): Hoe snel de eerlijke miners blokken vinden, rekening houdend met de vertraging.
$\lambda_a$ (De snelheid van de hacker): Hoe snel de hacker blokken kan vinden.

De conclusie:
Als $\lambda_h > \lambda_a$ (de eerlijke mensen zijn sneller, zelfs met de vertraging), dan wint Bitcoin altijd. De hacker kan de ketting niet overnemen.
Als de hacker sneller is ( $\lambda_a > \lambda_h$ ), dan is het spel verloren en kan hij de hele ketting overnemen.

Samenvatting in één zin

Dit paper is als een onweerlegbaar juridisch bewijs dat laat zien dat Bitcoin veilig is, zolang de eerlijke mensen samen harder werken dan de hacker, zelfs als de hacker probeert de communicatie te vertragen; ze gebruiken slimme wiskunde om te bewijzen dat er op den duur altijd "onveranderlijke ankers" in het systeem zullen ontstaan die de hacker niet kan breken.

1. Probleemstelling

De beveiliging van het Bitcoin-protocol is gebaseerd op de aanname dat eerlijke knopen (honest nodes) meer dan 50% van de hash-power bezitten. Hoewel Satoshi Nakamoto oorspronkelijk bewees dat het protocol veilig was tegen private double-spend-aanvallen, hebben latere studies (zoals selfish mining en balance attacks) aangetoond dat er meer aanvallen mogelijk zijn.

Bestaande bewijzen voor de beveiliging in een netwerk met een begrenste vertraging ( $\Delta$ -bounded delay) hebben twee belangrijke tekortkomingen:

Onnauwkeurige aannames: Het paper [7] (een eerdere referentie) maakt een foutieve aanname dat het verschil in ketenlengte tussen de aanvaller en de eerlijke keten een "random walk" (willekeurige wandeling) is. Het paper toont aan dat dit niet het geval is, wat het bewijs ongeldig maakt.
Complexiteit en Generalisatie: Andere bewijzen (zoals [8]) zijn lang, niet-intuïtief en behandelen niet het geval waarin blokken verschillende scores kunnen hebben (bijvoorbeeld in een "Merged Bitcoin" scenario).

Het doel van dit paper is een rigoureus, vereenvoudigd en gegeneraliseerd bewijs te leveren voor de beveiliging van het Bitcoin-protocol in een netwerk met maximale vertraging $\Delta$ , waarbij rekening wordt gehouden met blokken met verschillende scores.

2. Methodologie

De auteurs gebruiken een wiskundig model dat de volgende elementen integreert:

Het $\Delta$ -bounded Delay Netwerkmodel: De aanvaller kan de transmissie van blokken van eerlijke miners vertraagden met maximaal tijd $\Delta$ . De aanvaller kan ook zijn eigen blokken vertraagden, maar zodra een blok aan één eerlijke miner is doorgegeven, kan de vertraging naar andere miners niet meer dan $\Delta$ bedragen.
Gegeneraliseerd Score-model: In tegenstelling tot standaard Bitcoin (waar elke blok score 1 heeft), mogen miners blokken van verschillende typen met verschillende scores ( $c_i$ ) mijnen. De "fork-choice rule" kiest de keten met de hoogste totale score.
Punctured Arrival Process (Gepunctureerd Aankomstproces): Om de fout in eerdere papers (de "random walk" aanname) te corrigeren, introduceren de auteurs een techniek waarbij blokken in specifieke tijdsintervallen worden "gepunctureerd" (verwijderd) om een proces te creëren dat wel een echte random walk is. Dit stelt hen in staat om de groei van de eerlijke keten strikt te analyseren zonder de foutieve aannames van voorgangers.
Nakamoto-intervallen: De auteurs definiëren een "Nakamoto-interval" als een tijdsvenster waarin:
1. Er precies één eerlijk blok arriveert (een "loner").
2. Er geen andere eerlijke blokken zijn in een omgeving van $\Delta$ rondom dit blok.
3. Er geen aanvallersblokken zijn in een bredere omgeving.
4. De eerlijke scoregroei in het verleden en de toekomst domineert die van de aanvaller.

3. Belangrijkste Bijdragen

Correctie van de "Random Walk" Fout: Het paper levert een tegenvoorbeeld (in Appendix A) dat bewijst dat het verschil in ketenlengte geen random walk is. In plaats daarvan gebruiken ze de "punctured arrival process" methode om een correcte probabilistische analyse uit te voeren.
Generalisatie naar Multi-Score Blokken: Het bewijs is uitgebreid om blokken met verschillende scores te behandelen. Dit is essentieel voor toekomstige protocollen zoals "Merged Bitcoin", waar verschillende soorten blokken verschillende gewichten hebben.
Definitie van de Veiligheidsregio: De auteurs definiëren de veiligheidsregio als $\lambda_a < \lambda_h$ $λ_{a} < λ_{h}$ , waarbij:
- $\lambda_h$ : De "fully-delayed" score-groei-snelheid van eerlijke miners (de groei wanneer alle blokken met maximale vertraging $\Delta$ worden verwerkt).
- $\lambda_a$ : De score-groei-snelheid van de aanvaller.
Inductief "Bootstrap" Bewijs: In plaats van alleen te laten zien dat een specifiek blok veilig is, gebruiken de auteurs een inductie-argument (gebaseerd op het verdelen van tijd in segmenten) om te bewijzen dat de kans op het ontbreken van veilige blokken exponentieel afneemt naarmate de tijd toeneemt.

4. Resultaten

Het paper komt tot de volgende kernresultaten:

Theorema 42: Als de fully-delayed eerlijke groeisnelheid groter is dan de aanvallers snelheid ( $\lambda_h > \lambda_a$ ), dan gaat de kans dat een sub-interval geen eerlijke blokken bevat die voor altijd in de keten blijven, exponentieel naar nul naarmate de tijdsduur toeneemt.
Corollarium 43: Met waarschijnlijkheid 1 (probability one) zal de canonieke keten oneindig veel eerlijke blokken bevatten zolang $\lambda_h > \lambda_a$ . Dit betekent dat het protocol veilig is tegen alle aanvallen onder deze voorwaarde.
Onveiligheid bij $\lambda_a > \lambda_h$ : Als de aanvallers snelheid hoger is dan de eerlijke snelheid, is het protocol onveilig. De aanvaller kan via een "private mining attack" de eerlijke keten volledig vervangen met een keten van aanvallersblokken.

5. Significantie

Deze paper is van groot belang voor de cryptografie en blockchain-theorie om de volgende redenen:

Rigueur en Correctheid: Het lost een fundamentele fout op in eerdere beveiligingsbewijzen (paper [7]), waardoor de theoretische basis van Bitcoin onder bounded delay-netwerken weer waterdicht is.
Toekomstbestendigheid: Door het model te generaliseren naar blokken met verschillende scores, legt het de theoretische grondslag voor geavanceerde protocollen zoals "Merged Bitcoin", die momenteel in ontwikkeling zijn.
Duidelijke Veiligheidsdrempel: Het biedt een scherpe, wiskundig onderbouwde definitie van de veiligheidsdrempel ( $\lambda_h > \lambda_a$ ) die rekening houdt met netwerkvertragingen, wat cruciaal is voor het begrijpen van de echte wereld-beveiliging van Bitcoin.
Methodologische Innovatie: De introductie van de "punctured arrival process" biedt een nieuw wiskundig gereedschap voor het analyseren van asynchrone netwerken, dat verder kan worden toegepast in andere distributiesystemen.

Kortom, dit paper levert het eerste volledig rigoureuze en gegeneraliseerde bewijs dat Bitcoin veilig is tegen alle vormen van aanvallen, mits de eerlijke miners (onder rekening houdend met netwerkvertraging) sneller scoren dan de aanvaller.