💻 computer science

Federated Sovereign Transport Protocol (FSTP): Verifiable Coordination Without Disclosure

Dieses Paper stellt das Federated Sovereign Transport Protocol (FSTP) vor, eine durch Rust erzwungene Synchronisationsschicht für föderierte Netzwerke, die strukturell Datenkonfination, ununterscheidbare Identitäten und manipulationssichere Protokollierung garantiert, um eine verifizierbare Koordination zu ermöglichen, ohne interne Knotendaten preiszugeben.

Ursprüngliche Autoren: Ramón Soto C. (Department of Accounting, University of Sonora), Liz Soto (Department of Mathematics, University of Sonora)

Veröffentlicht 2026-07-02

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Ramón Soto C. (Department of Accounting, University of Sonora), Liz Soto (Department of Mathematics, University of Sonora)

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

Stellen Sie sich eine Gruppe verschiedener Organisationen vor – wie etwa eine Gewerkschaft, eine politische Partei und eine regulierte Bank –, die an einem großen Projekt zusammenarbeiten wollen. Sie müssen koordinieren und nachweisen, dass sie ihren Teil beigetragen haben, sind aber rechtlich oder ethisch daran gehindert, ihre internen privaten Dokumente (wie Mitgliederlisten, geheime Abstimmungen oder interne Sitzungsprotokolle) untereinander zu teilen.

Aktuelle Systeme für die Vernetzung dieser Gruppen gleichen einem „Glashaus“. Wenn Sie eine Nachricht senden, kann die Gegenseite den Umschlag sehen, und wenn sie hinterhältig ist, könnte sie versuchen, in den Brief hineinzuspähen, selbst wenn Sie das nicht beabsichtigt haben. Sie verlassen sich auf ein „Ehrenwort“, bei dem der andere Server verspricht, nicht hineinzuschauen.

Dieses Papier stellt das FSTP (Federated Sovereign Transport Protocol) vor, einen neuen Weg für diese Gruppen, um miteinander zu kommunizieren, der das Ehrenwort in ein strukturelles Schloss verwandelt. So funktioniert es, unter Verwendung einfacher Analogien:

1. Der „Strenge Torwächter“ (Der Synchronisations-Agent)

Stellen Sie sich den Computer jeder Organisation wie eine Festung vor. Im Inneren gibt es zwei Räume:

Der Tresor: Wo alle geheimen, Rohdaten liegen (Mitgliederlisten, Abstimmungen).
Das Postzimmer: Wo offizielle, öffentliche Nachrichten vorbereitet werden.

In alten Systemen könnte ein Mitarbeiter versehentlich (oder mit Absicht) ein Dokument aus dem Tresor nehmen und in das Postzimmer legen. In FSTP wird das Postzimmer von einem Strengen Torwächter (einem Synchronisations-Agenten) bewacht.

Dieser Torwächter ist nicht nur ein Sicherheitsmann, der Ausweise kontrolliert; er ist wie eine Fabrikmaschine, die mit einer spezifischen Form gebaut wurde. Die Maschine ist so konstruet, dass nur bestimmte, vorab genehmigte Formen (wie „Event Hashes“ oder „Verifiable Credentials“) in den Ausgabeschlitz passen. Wenn jemand versucht, ein „Geheimes Dokument“ (das die falsche Form hat) in die Maschine zu pressen, verklemmt sich die Maschine physisch und verweigert den Betrieb.

Das Papier erklärt, dass dies keine Regel ist, an die sich die Mitarbeiter halten müssen, sondern in den Code selbst eingebaut ist. Wenn der Code versucht, ein Geheimnis zu senden, stoppt der Compiler (die Maschine, die die Software baut) den Vorgang, noch bevor die Software überhaupt startet. Es ist unmöglich, versehentlich Daten zu leaken, da die „falsche Form“ in der ausgehenden Nachricht schlichtweg nicht existieren kann.

2. Die „Einweg-Maske“ (Kontextuelle Identität)

Normalerweise können andere Gruppen erkennen, dass Sie dieselbe Person sind, wenn Sie mit ihnen sprechen, weil Sie denselben Namen oder dieselbe ID verwenden. Das ist so, als würden Sie in jedem Raum, den Sie betreten, Ihr Gesicht zeigen.

FSTP gibt jeder Organisation einen Magischen Maskenmacher.

Wenn Sie mit der Gewerkschaft sprechen, tragen Sie eine Maske, die besagt: „Gewerkschaftsmitglied“.
Wenn Sie mit der Bank sprechen, tragen Sie eine völlig andere Maske, die besagt: „Bankkunde“.

Diese Masken sind mathematisch mit Ihrer echten Identität verknüpft, aber sie sehen für Außenstehende völlig unterschiedlich aus. Selbst wenn die Gewerkschaft und die Bank ihre Notizen vergleichen, können sie nicht feststellen, dass „Gewerkschaftsmitglied“ und „Bankkunde“ dieselbe Person sind. Dies verhindert einen „Kontextkollaps“, bei dem Ihr Privatleben in einer Gruppe versehentlich mit Ihrem öffentlichen Leben in einer anderen Gruppe vermischt wird.

3. Das „Manipulationssichere Register mit Radiergummi“ (Blocklace)

Um zu beweisen, dass sie ihre Arbeit geleistet haben, benötigen Organisationen ein gemeinsames Protokoll. Üblicherweise sind diese Protokolle wie eine Kette aus Papiergliedern. Wenn man ein Stück Papier aus der Mitte der Kette löschen möchte, muss man die Kette durchschneiden, was das gesamte Konstrukt zerstört. Dies macht es unmöglich, private Daten zu löschen, während gleichzeitig der Nachweis bestehen bleibt, dass diese Daten existierten.

FSTP verwendet ein System namens Blocklace, das eher einem Baum aus hängenden Etiketten gleicht.

Jedes Etikett ist mit dem vorherigen durch eine Schnur verbunden.
Wenn Sie ein privates Dokument löschen müssen (wie einen Namen aus einer Liste), schneiden Sie nicht die Schnur durch. Sie verbrennen einfach das Papier innerhalb des Etiketts.
Das Etikett selbst bleibt am Baum hängen und ist weiterhin mit dem Rest der Kette verbunden.

Dies wird als „Dangling Pointer“ (hängender Zeiger) bezeichnet. Der Datensatz beweist, dass zu einem bestimmten Zeitpunkt etwas passiert ist, und die Kette bleibt ununterbrochen und manipulationssicher, aber der eigentliche private Inhalt ist für immer verschwunden. Dies ermöglicht es Organisationen, Gesetze zu erfüllen, die besagen: „Lösche meine Daten“, ohne den Beweis zu zerstören, dass das Ereignis stattgefunden hat.

Das Ergebnis: „Nachweis ohne Preisgabe“

Das Papier behauptet, dass Außenstehende mit diesen drei Werkzeugen zu einer Gruppe kommen und sagen können:
„Ich kann sehen, dass die Gewerkschaft abgestimmt hat, die Bank abgestimmt hat und dass beide sich auf ein Ergebnis geeinigt haben. Ich kann eure Signaturen verifizieren und feststellen, dass die Kette nicht manipuliert wurde.“

Aber der Prüfer kann nicht sehen, worüber die Gewerkschaft abgestimmt hat, wer abgestimmt hat oder was die internen Notizen der Bank besagten. Die Organisationen erhalten den Vorteil, zusammenzuarbeiten und ihre Integrität zu beweisen, ohne jemals ihre privaten Karten offen auf den Tisch legen zu müssen.

Warum das wichtig ist

Das Papier stellt fest, dass dies nicht nur eine Theorie ist; es wird in eine echte Plattform namens Velyzor für Institutionen eingebaut, die höchste Sicherheit benötigen. Der Code ist Open-Source, was bedeutet, dass jeder den „Strengen Torwächter“ überprüfen kann, um sicherzustellen, dass er tatsächlich das tut, was er verspricht.

Kurz gesagt: FSTP baut eine Brücke zwischen privaten Inseln, auf der man sich die Hände schütteln und versiegelte Umschläge austauschen kann, aber niemand jemals sehen kann, was in den Umschlägen ist, es sei denn, der Besitzer entscheidet sich dazu, sie zu öffnen.

Technisches Resümee: Federated Sovereign Transport Protocol (FSTP)

Problemstellung

Bestehende föderierte Netzwerkprotokolle (z. B. ActivityPub, Matrix) ermöglichen zwar eine dezentrale Koordination, verlassen sich jedoch auf die Richtlinien der Betreiber statt auf strukturelle Beschränkungen, um die Datenkonfinierung zu erzwingen. In diesen Systemen sind zwar Nachrichtenformate und Liefersemantiken definiert, es gibt jedoch keinen Mechanismus, der einen konformen Server daran hindert, interne Daten (z. B. Deliberationsprotokolle, Mitgliederabstimmungen) in die Föderation zu emittieren. Infolgedessen hängt der Datenschutz für institutionelle Teilnehmer – wie Gewerkschaften, politische Parteien oder regulierte Unternehmen – vom Vertrauen in die Einhaltung der Richtlinien durch den Betreiber ab und nicht auf dem Protokoll selbst. Darüber hinaus basieren bestehende Identitätsmodelle oft auf global auflösbaren Identifikatoren, was zu einem „Kontextkollaps“ führt, bei dem unterschiedliche soziale oder institutionelle Kontexte geglättet werden, wodurch eine Korrelation von Benutzeridentitäten über verschiedene Kontexte hinweg ermöglicht wird. Schließlich haben lineare Ledger-Architekturen (z. B. Blockchains) Schwierigkeiten, die Anforderung an unveränderliche Audit-Trails mit den gesetzlichen Verpflichtungen zur Datenlöschung (z. B. DSGVO) in Einklang zu bringen, da das Löschen von Daten die Integrität der Hash-Kette unterbricht.

Methodik

Das Paper stellt das Federated Sovereign Transport Protocol (FSTP) vor, eine Synchronisationsgrenze und Transportschicht, die für föderierte Netzwerke mit heterogenen Datenschutzanforderungen konzipiert ist. Die Methodik stützt sich auf drei Kernprimitive:

Der Synchronisations-Agent (SA):
- Dient als exklusive Schnittstelle zwischen dem internen Datenspeicher eines Knotens ( $D_{raw}$ ) und dem Föderationsnetzwerk ( $D_{pub}$ ).
- Compile-Zeit-Konfinierung: Implementiert in Rust, erzwingt der SA die Datenkonfinierung über das Typsystem. Er nutzt eine geschlossene Enumeration (FstpMessage), die nur autorisierte Ausgabetypen repräsentiert. Da Rust eine erschöpfende Musterverarbeitung (exhaustive pattern matching) erfordert und die internen Datentypen keine Mitglieder dieser Enumeration sind, lehnt der Compiler jeglichen Code-Pfad, der versucht, eine Föderationsnachricht aus Rohdaten zu konstruieren, statisch ab. Dies transformiert die Datenkonfinierung von einer Laufzeitprüfung in eine strukturelle Garantie zur Kompilierzeit.
- Zustandsautomat: Der Agent durchläuft Zustände (idle, validating, composing, transmitting, logging). Jeder Verstoß gegen die Konfinierungs-Invariante ( $m \cap D_{raw} = \emptyset$ ) löst einen Fehlerpfad aus, der den Verstoß protokolliert und den Agenten zurücksetzt.
Kontextuelles Identitätsmodell:
- Adressiert die Korrelation von Kontexten. Jede Entität hält eine Globale Identität (GII), leitet aber für jede Föderationsbeziehung eine eindeutige Kontextuelle Identität (CII) unter Verwendung einer durch den Beziehungs-Kontext parametrisierten Einwegfunktion ab.
- Strukturelle Ununterscheidbarkeit: Die CII ist innerhalb einer spezifischen Beziehung stabil, kann aber ohne die Mitwirkung der Entität nicht mit der GII oder mit CIIs in anderen Beziehungen verknüpft werden. Dies verhindert strukturell den Kontextkollaps.
- Minimale Offenlegung: Verifizierbare Credentials werden unter der spezifischen CII präsentiert, wobei nur die für diese Interaktion notwendigen Ansprüche offengelegt werden.
Blocklace Event Substrate:
- Ersetzt lineare, append-only Logs durch einen kryptographischen gerichteten azyklischen Graphen (DAG) aus signierten Blöcken.
- Partielle Ordnung: Ermöglicht es, dass gleichzeitige Ereignisse als parallele Zweige existieren können, ohne eine erzwungene Serialisierung, wodurch die temporale Struktur dezentraler Entscheidungen bewahrt wird.
- Löschkompatibilität: Die Blocklace speichert Hash-Pointer auf Ereignisse anstatt der Ereignisse selbst. Um die Verpflichtungen zur Datenlöschung zu erfüllen, wird der Inhalt aus dem Datenspeicher gelöscht, wodurch ein „dangling pointer“ (ein hängender Zeiger) zurückbleibt (die Blockstruktur bleibt mit ihrem ursprünglichen Hash intakt). Dies bewahrt die Manipulationssicherheit der Hash-Kette bei gleichzeitiger Entfernung der sensiblen Inhalte.
- Effizienz: Die Synchronisation erfolgt über einen Frontier-Austausch. Die Kosten sind proportional zur symmetrischen Differenz ( $\Delta$ ) zwischen den Knotenzuständen.

Zentrale Beiträge

Strukturelle Datenkonfinierung: Das Paper zeigt, dass die Datenkonfinierung durch das Protokoll selbst erzwungen werden kann und nicht durch die Richtlinien des Betreibers. Durch die Nutzung von Rusts Typsystem garantiert FSTP, dass interne Rohdaten nicht emittiert werden können, selbst durch einen konformen, aber adversen Peer.
Nachweis ohne Offenlegung: Das Protokoll ermöglicht es einem Föderationspartner, zu verifizieren, dass ein Prozess stattgefunden hat, ein Credential authentisch ist und ein Ergebnis unkorrumpiert ist, ohne Zugriff auf die internen Daten zu erhalten, die diese Artefakte erzeugt haben.
Lösung des Erasure-Integrity-Konflikts: Der „Dangling Pointer“-Mechanismus der Blocklace bietet eine strukturelle Lösung für die Unvereinbarkeit von unveränderlichen Audit-Trails und dem Recht auf Datenlöschung – eine Einschränkung, die in linearen Ledger-Designs inhärent ist.
Kontextuelle Isolation: Das Protokoll verhindert strukturell die Korrelation von Identitäten über verschiedene Föderationsbeziehungen hinweg und adresset damit einen fundamentalen Datenschutzfehler bestehender föderierter Systeme.

Ergebnisse

Das Paper präsentiert empirische Benchmarks der Referenzimplementierung (geschrieben in Rust), um die Effizienzansprüche des Blocklace-Substrats zu validieren:

Emissionskosten: Die Zeit zur Generierung von Synchronisations-Deltas (sync_delta) skaliert linear mit der symmetrischen Differenz ( $\Delta$ ). Der Durchsatz bleibt stabil bei etwa 2,3 Melem/s, unabhängig von der Größe von $\Delta$ .
Unabhängigkeit von der Historiegröße: Die Emissionskosten sind statistisch unempfindlich gegenüber der Größe der gemeinsamen Historie ( $N$ ), selbst wenn $N$ um das 50-fache (von 100 auf 5.000 Blöcke) ansteigt.
Rezeptionskosten: Nach der Optimierung des Mechanisms zur inkrementellen Aktualisierung des Frontier-Caches skaliert auch die Rezeptionskosten (merge_blocks) linear mit $\Delta$ . Die initiale Implementierung litt unter einem $O(N)$ -Overhead durch die vollständige Rekonstruktion des Caches, was durch die optimierte Version um 91–98 % reduziert wurde.
Fallstudie: Ein Governance-Szenario mit drei Institutionen demonstriert, dass ein externer Auditor die Legitimität einer kollektiven Entscheidung verifizieren kann, indem er ein offengelegtes Deliberationsprotokoll mit einem Hash in der Blocklace vergleicht, ohne Zugriff auf die Deliberationsprotokolle der anderen teilnehmenden Institutionen zu benötigen.

Bedeutung und Ansprüche

Das Paper positioniert FSTP nicht als rein akademischen Vorschlag, sondern als den Inter-Node-Transport-Layer für Velyzor, eine Governance-Plattform für Institutionen mit hohen Vertraulichkeitsanforderungen.

Die primäre behauptete Bedeutung ist die Verschiebung der Datensouveränität von einer Konfigurationsoption zu einer strukturellen Folge der Bereitstellung. Das Protokoll erfordert nicht, dass Knoten im philosophischen Sinne „dezentral“ sind; vielmehr garantiert der Akt der Bereitstellung eines konformen Knotens mit dem Synchronisations-Agenten strukturell, dass interne Daten intern bleiben.

Die Autoren betonen, dass das Sicherheitsargument auf der Open-Source-Natur der Referenzimplementierung (Apache 2.0 Lizenz) beruht. Die Garantie der Konfinierung hängt von der Fähigkeit jedes Föderationspeers ab, den Quellcode zu inspizieren, zu kompilieren und zu verifizieren, um sicherzustellen, dass die FstpMessage-Enumer nicht modifiziert wurde, um die Emission von Rohdaten zu ermöglichen.

Das Paper schließt mit der Feststellung, dass FSTP eine kritische Lücke in der föderierten Vernetzung füllt, indem es eine Transportschicht bereitstellt, die gleichzeitig heterogene Datenschutzanforderungen, strukturelle Identitätsisolation und regulatorische Compliance (insbesondere bezüglich der Datenlöschung) unterstützt – Eigenschaften, die bestehende Protokolle nur teilweise oder gar nicht adressieren. Als zukünftige Arbeit wird die formale Quantifizierung der Traffic-Metadaten-Leakage sowie das empirische Benchmarking unter realistischen Netzwerkbedingungen mit intermittierender Konnektivität identifiziert.