💻 computer science

Decentralised collaborative action: cryptoeconomics in space

Dieses Paper schlägt die Verwendung von „Semitopologien“ vor, einem neuartigen mathematischen Rahmenwerk, in dem Teilnehmer als Punkte und ihre kollaborativen Gruppen als „handlungsorientierte Koalitionen“ modelliert werden, um dezentrale Systeme zu analysieren und zu beweisen, dass spezifische Schnittmengeneigenschaften dieser Koalitionen die Übereinstimmung unter den Teilnehmern garantieren und dadurch kritische Probleme wie das Forking von Blockchains verhindern.

Ursprüngliche Autoren: Murdoch J. Gabbay

Veröffentlicht 2026-06-24

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Murdoch J. Gabbay

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

Die große Idee: Ein neuer Weg, Gruppen abzubilden

Stellen Sie sich vor, Sie versuchen zu verstehen, wie eine riesige, chaotische Menschenmenge einer Sache zustimmen kann, ohne dass ein Chef ihnen sagt, was sie tun sollen. Dies ist die Welt der Blockchains und Peer-to-Peer-Netzwerke. Normalerweise verwenden Mathematiker ein Werkzeug namens „Topologie“ (die Lehre von Formen und Räumen), um zu kartieren, wie Dinge miteinander verbunden sind.

Der Autor, Murdoch Gabbay, sagt, dass die alten mathematischen Werkzeuge für diese neuen Systeme nicht ganz passen. Deshalb hat er eine neue mathematische Form erfunden, die eine „Semitopologie“ genannt wird.

Betrachten Sie eine Semitopologie als eine Karte dessen, wer zusammenarbeiten kann, anstatt als eine Karte dessen, wer neben wem steht.

1. Die Besetzung: Punkte und „Handlungsfähige Koalitionen“

In dieser neuen mathematischen Welt gilt:

Punkte sind die Menschen (oder Computer) im System.
Offene Mengen werden als „Handlungsfähige Koalitionen“ bezeichnet.

Die Analogie: Die Tango-Tanzfläche
Stellen Sie sich eine Tanzfläche voller Menschen vor.

Auf einer normalen Stadtkarte würden Sie Menschen danach gruppieren, wer im selben Raum steht.
Auf der Karte dieser Arbeit gruppieren Sie Menschen danach, wer gemeinsam Tango tanzen kann.

Eine „handlungsfähige Koalition“ ist jede Gruppe von Menschen, die rechtlich und technisch in der Lage wäre, gemeinsam einen Tango zu tanzen, wenn sie wollten.

Das bedeutet nicht, dass sie gerade tanzen.
Das bedeutet nicht, dass sie perfekt tanzen müssen.
Es bedeutet nur, dass sie die Kapazität haben, zusammenzuarbeiten, um voranzukommen.

In einer Blockchain könnte eine „Koalition“ zum Beispiel eine Gruppe von Menschen sein, die genug digitale Token halten, um eine Entscheidung zu treffen. In einem realen Beispiel könnte es eine Gruppe von Menschen sein, die stark genug ist, um gemeinsam einen schweren Stein anzuheben.

2. Das Kernproblem: Synchron bleiben (Keine „Forks“)

Die größte Angst in diesen dezentralen Systemen ist das Forking (Abspaltung).

Die Analogie: Stellen Sie sich vor, eine Gruppe von Freunden versucht zu entscheiden, wo sie essen gehen wollen. Die eine Hälfte der Gruppe entscheidet sich für Pizza, die andere Hälfte für Tacos. Nun ist die Gruppe gespalten. Sie können nicht mehr als ein Team funktionieren. In einer Blockchain ist dies ein Desaster.

Die Arbeit stellt die Frage: Wie kann man mathematisch garantieren, dass sich zwei Personen schließlich einig werden, selbst wenn sie nie direkt miteinander sprechen?

3. Die magische Regel: „Verflochten“ (Intertwined)

Die Arbeit führt das Konzept des „Verflochtenen“ (Intertwined) ein.

Die Analogie: Überlappende Kreise
Stellen Sie sich zwei Personen vor, Alice und Bob.

Wenn Alice nur mit einer Gruppe tanzen kann, die sich mit der Gruppe, mit der Bob tanzen kann, überschneidet, sind sie „verflochten“.
Da sich ihre Gruppen überschneiden, gibt es eine Person in der Mitte, die weiß, was Alice macht und was Bob macht.
Wenn Alice sich für Pizza entscheidet und Bob für Tacos, entsteht durch die Person in der Mitte (die Überschneidung) ein Konflikt. Um diesen Konflikt zu vermeiden und weiterzutanzen, sind sie mathematisch dazu gezwungen, sich auf dieselbe Speisekarte zu einigen.

Die Arbeit beweist eine einfache, aber kraftvolle Regel: Wenn zwei Personen „verflochten“ sind, können sie rechtlich nicht uneins sein. Wenn beide den Regeln folgen, müssen sie am Ende zum gleichen Ergebnis kommen.

4. Warum diese Mathematik anders ist (Das „Semi“ in Semitopologie)

Die traditionelle Mathematik (Standard-Topologie) hat eine strenge Regel: Wenn Gruppe A und Gruppe B beide gültige Tanzgruppen sind, dann muss auch das, was sie gemeinsam haben (der Schnittpunkt), eine gültige Tanzgruppe sein.

Der Twist der Arbeit:
In der realen Welt dezentraler Systeme ist das nicht immer der Fall.

Beispiel: Stellen Sie sich eine Brücke vor, die zwei verschiedene Blockchains verbindet (wie Ethereum und Tezos).
- Gruppe A (Ethereum-Nutzer) kann zusammen handeln.
- Gruppe B (Tezos-Nutzer) kann zusammen handeln.
- Aber wenn man die „Schnittmenge“ nimmt (die Menschen, die auf beiden sind), sind sie vielleicht nicht allein handlungsfähig, ohne den „Brücken“-Knoten.
Die Semitopologie des Autors erlaubt solche „kaputten“ Schnittmengen. Sie sagt: „Wir müssen nicht verlangen, dass die Überschneidung eine perfekte Gruppe ist; wir müssen nur wissen, dass die Gruppen sich berühren.“

Dies macht die Mathematik viel flexibler und besser geeignet für chaotische, reale Systeme, in denen die Regeln zwischen Gruppen variieren können.

5. Was wurde tatsächlich bewiesen?

Die Arbeit erfindet keine neue Blockchain oder eine neue Münze. Stattdessen bietet sie eine mathematische Linse, um bestehende Systeme zu betrachten.

Das Ergebnis: Wenn Sie eine Karte eines Systems zeichnen können, in dem alle „verflochten“ sind (ihre Gruppen überschneiden sich genug), können Sie mathematisch beweisen, dass das System nicht fork (abspalten) kann.
Der Vorteil: Sie müssen nicht den komplexen Code oder die spezifischen Regeln der Blockchain kennen, um dies zu wissen. Sie müssen nur die Struktur der Gruppen betrachten. Wenn die Struktur „verflochten“ ist, ist die Einigkeit durch die Form des Systems selbst garantiert.

Zusammenfassung

Die Arbeit legt nahe, dass wir, um zu verstehen, wie dezentrale Gruppen (wie Blockchains) ohne einen Chef zusammenhalten, aufhören sollten, sie als Computer zu betrachten, und statanfangen sollten, sie als Tanzpartner zu sehen.

Indem wir kartieren, wer mit wem tanzen kann (Handlungsfähige Koalitionen), und prüfen, ob sich diese Tanzkreise genug überschneiden (Verflochtenheit), können wir eine neue Art von Mathematik (Semitopologie) nutzen, um zu beweisen, dass die Gruppe synchron bleibt und ein Auseinanderbrechen vermeidet. Es verwandelt das chaotische Problem der Frage „Wie einigen sich Fremde?“ in ein klares geometrisches Rätsel.

Technisches Resümee: Dezentralisierte kollaborative Aktion: Kryptoeconomics im Weltraum

Problemstellung

Die Arbeit adressiert die Herausforderung, dezentralisierte kollaborative Aktion innerhalb moderner Computersysteme, speziell im Kontext der Kryptoeconomics, mathematisch zu modellieren. Im Gegensatz zu traditionellen verteilten Systemen, die oft auf zentralisierter Kontrolle oder homogenen Regelsätzen beruhen, sind kryptoeconomische Systeme (z. B. Blockchains, Peer-to-Peer-Netzwerke) dadurch charakterisiert, dass sie:

Dezentralisiert sind: Bestehend aus distinkten Teilen ohne zentrale Steuerung.
Permissionless sind: Teilnehmer können nach Belieben beitreten oder das System verlassen.
Heterogen sind: Teilnehmer können legitim unterschiedlichen Regeln oder Konsensmechanismen folgen (z. B. in einem Blockchain-Bridge-Szenario).

Das Kernproblem besteht darin, dass diesen Systemen ein einheitlicher mathematischer Rahmen fehlt, um über Konsens (Zustimmung) und Forking (Uneinigkeit) allein basierend auf ihren strukturellen Eigenschaften zu argumentieren. Bestehende topologische Modelle (Punktmengentopologie) sind unzureichend, da sie voraussetzen, dass der Schnitt von offenen Mengen offen ist – eine Eigenschaft, die für „aktionsfähige Koalitionen“ in heterogenen Systemen nicht gilt. Die Arbeit untersucht, ob makroskopische Korrekteigenschaften (wie die Unmöglichkeit von Forking) aus der abstrakten Struktur der Teilnehmerkoalitionen abgeleitet werden können, ohne spezifische Algorithmen oder Protokolle analysieren zu müssen.

Methodik

Die Autoren schlagen eine neue mathematische Abstraktion namens Semitopologie vor, welche die Punktmengentopologie verallgemeinert, um dezentralisierte Systeme zu modellieren.

1. Semitopologische Räume

Eine Semitopologie wird als Paar $(P, \text{Open}(P))$ definiert, wobei:

$P$ eine Menge von Punkten darstellt, die die Teilnehmer repräsentieren.
$\text{Open}(P)$ eine Sammlung von Teilmengen von $P$ ist, die aktionsfähige Koalitionen repräsentieren.

Eine aktionsfähige Koalition ist definiert als eine Menge von Teilnehmern, die kollektiv über die Ressourcen und die rechtliche Befugnis verfügen, zusammenzuarbeiten, um ihre lokalen Zustände unabhängig vom Rest des Systems zu aktualisieren.

Axiome der Semitopologie:

Die leere Menge $\emptyset$ und die Gesamtmenge $P$ sind in $\text{Open}(P)$ enthalten.
Die Vereinigung einer beliebigen Sammlung offener Mengen ist eine offene Menge.
Entscheidender Unterschied: Es ist nicht erforderlich, dass der Schnitt zweier offener Mengen offen ist. Dies spiegelt die Realität wider, dass zwei gültige Koalitionen nicht zwangsläufig eine gültige Koalition bilden, wenn sie kombiniert werden.

2. Modellierung von Konsens

Die Arbeit bildet das Konzept des binären Konsens (Zustimmung zu einem Wert $t$ oder $f$ ) auf Stetigkeit im semitopologischen Raum ab.

Eine Wertzuweisung ist eine Funktion $f: P \to \{t, f\}$ .
Die Zuweisung ist stetig an einem Punkt $p$ , wenn es eine offene Umgebung $O$ gibt, die $p$ enthält, in der $f$ konstant ist.
Konsens = Stetigkeit: Wenn ein Teilnehmer seinen Zustand aktualisiert, muss er dies in Zusammenarbeit mit einer aktionsfähigen Koalition (einer offenen Menge) tun, in der der Wert vereinbart wurde.

3. Antitrennungs-Eigenschaften

Die Arbeit führt Antitrennungs-Eigenschaften ein, welche die Negation der Hausdorffschen Trennungseigenschaft der Standardtopologie darstellen.

Verwoben ( $p \between p'$ ): Zwei Punkte sind verwoben, wenn jede offene Umgebung von $p$ jede offene Umgebung von $p'$ schneidet.
Transitiv verwoben: Zwei Punkte sind durch den transitiven Abschluss der Verwebungsrelation miteinander verbunden.

Zentrale Beiträge und Ergebnisse

1. Theoretischer Rahmen: Semitopologie

Die Arbeit etabliert die Semitopologie als einen rigorosen Rahmen für dezentralisierte Systeme. Indem sie aktionsfähige Koalitionen als offene Mengen behandelt, zeigen die Autoren, dass die strukturellen Eigenschaften dieser Koalitionen das Systemverhalten diktieren.

2. Theorem über Übereinstimmung (Theorem 3.4)

Das zentrale mathematische Resultat besagt:

Wenn zwei Punkte $p$ und $p'$ verwoben sind und eine Wertzuweisung $f$ an beiden Punkten stetig ist, dann gilt $f(p) = f(p')$ .
Wenn $p$ und $p'$ transitiv verwoben sind und $f$ überall stetig ist, dann gilt $f(p) = f(p')$ .

Implikation: Wenn die Struktur der aktionsfähigen Koalitionen sicherstellt, dass die Teilnehmer verwoben (oder transitiv verwoben) sind, muss jeder durch einen Teilnehmer erzielte legale Fortschritt letztlich auch von allen anderen akzeptiert werden. Dies beweist, dass Forking unter diesen strukturellen Bedingungen unmöglich ist, unabhängig vom spezifischen Konsensalgorithmus.

3. Anwendung auf reale Systeme

Die Arbeit wendet diesen Rahmen auf konkrete Beispiele an:

Einfache Mehrheitssysteme: In einem System, in dem aktionsfähige Koalitionen Mehrheiten sind, sind alle Punkte verwoben. Somit ist Forking unmöglich.
Kettenartige Systeme (Beispiel 2.4): Selbst in Systemen, in denen Koalitionen sich nicht direkt schneiden (z. B. überlappende Tripletts $\{2i, 2i+1, 2i+2\}$ ), können Punkte transitiv verwoben sein, was globale Übereinstimmung gewährleistet.
Blockchain-Bridges (Beispiel 3.6): Die Arbeit modelliert eine Bridge zwischen Ethereum und Tezos. Sie zeigt, dass, wenn die einzelnen Chains intern verwoben sind, der Bridging-Knoten (der Konsens von beiden Seiten erfordert, um zu agieren) das kombinierte System transitiv verwoben macht, was Forking über die Bridge verhindert.

4. Verbindung zu Arrows Theorem

Die Arbeit stellt eine Verbindung zur Sozialwahltheorie her und beweist, dass jede Semitopologie einen „aktionsfähigen Kern“ besitzt. Wenn dieser Kern eine Entscheidung trifft, müssen alle anderen Teilnehmer folgen. Dies wird als dezentralisierter Äquivalent zu Arrows Unmöglichkeitstheorem präsentiert und deutet auf die Existenz von „Diktator-Mengen“ in dezentralisierten Systemen hin.

Bedeutung und Ansprüche

Die Arbeit behauptet, dass die Semitopologie eine „allgemeine Mathematik der (Anti-)Trennung“ bereitstellt, die es ermöglicht, makroskopische Systemeigenschaften (speziell Konsens und die Unmöglichkeit von Forking) allein basierend auf der Topologie der aktionsfähigen Koalitionen vorherzusagen.

Algorithmenunabhängigkeit: Die Ergebnisse gelten für jeden konkreten Algorithmus. Wenn die strukturelle Bedingung der Verwobenheit erfüllt ist, ist Übereinstimmung garantiert, ohne die interne Logik des Protokolls prüfen zu müssen.
Umgang mit Heterogenität: Im Gegensatz zur Standardtopologie kann die Semitopologie heterogene Systeme berücksichtigen, in denen Teilnehmer unterschiedlichen Regeln folgen, was sie besonders geeignet macht für die Modellierung von Blockchain-Bridges und komplexen Peer-to-Peer-Netzwerken.
Praktischer Nutzen: Die Autoren geben an, dass diese Logiken bereits verwendet werden, um Konsensprotokolle formal zu spezifizieren, zu begründen und zu debuggen (z. B. die Axiomatisierung von Paxos und die Identifizierung von Fehlern in Heterogeneous Paxos).

Die Arbeit schließt mit der Feststellung, dass dezentralisierte Systeme aufgrund des Fehlens zentraler Kontrolle zwar chaotisch erscheinen mögen, die Semitopologie jedoch eine zugrunde liegende Ordnung offenbart, die durch die Schnitt-Eigenschaften aktionsfähiger Koalitionen definiert ist, und somit eine neue Perspektive für das Design und die Verifizierung kryptoeconomischer Systeme bietet.