Alpha: deterministische Synchronisation verifizierbaren gemeinsamen Zustands über heterogene Hardware hinweg

Technischer Bericht · auriglyph research · 10. Juni 2026 · Mikhail Kostan

1. Das Problem: gemeinsamer Zustand ohne gemeinsame Übertragung

Verteilte Systeme verwenden einen großen Teil ihrer Komplexität darauf, Replikate desselben logischen Zustands in Übereinstimmung zu halten. Das vorherrschende Modell, übernommen aus Shannons Rahmung der Kommunikation von 1948, behandelt Information als etwas, das bewegt werden soll: Ein Sender kodiert eine Nachricht, ein Kanal trägt sie, ein Empfänger dekodiert sie, und Rauschen ist der Gegner. Replikationsschichten bauen darauf auf — sie verschicken Datensätze, Logeinträge oder Zustandsdeltas und führen dann einen Abgleich durch, um die durch Übertragung und Nebenläufigkeit entstandene Divergenz aufzulösen.

Dieses Modell ist mächtig und korrekt, doch für eine wachsende Klasse von Systemen ist es in der falschen Dimension teuer. Wenn das gemeinsame Objekt groß ist und sich langsam entwickelt — ein Hauptbuch, ein replizierter Index, das akkumulierte Gedächtnis eines Agenten, ein Edge-Cache —, wird der Aufwand nicht vom Informationsgehalt jeder Änderung dominiert, sondern von der Maschinerie des Bewegens und Abgleichens von Zustand. Zwei Fragen werden dringlich. Erstens: Können zwei Maschinen, die den Zustand selbst nie ausgetauscht haben, dennoch zum selben Zustand gelangen? Zweitens: Wenn sie Übereinstimmung beanspruchen, kann ein Dritter diese Übereinstimmung kostengünstig verifizieren, ohne einem der beiden Knoten zu vertrauen?

Alpha ist um eine bejahende Antwort auf beide Fragen herum aufgebaut. Es ist kein Transport für Nachrichten; es ist ein Protokoll für Kohärenz. Knoten senden einander nicht den Zustand. Sie senden das minimale Differenzial, das nötig ist, um einen gemeinsamen, deterministischen Prozess voranzutreiben, und sie rekonstruieren identischen Zustand lokal. Übereinstimmung ist dann eine Eigenschaft, die gegen einen kleinen Zeugen mit fester Größe geprüft werden kann, statt durch Vergleich der Nutzlasten neu hergeleitet zu werden.

2. Hintergrund und verwandte Arbeiten

Alpha steht im Schnittpunkt mehrerer ausgereifter Forschungslinien, und es ist nützlich, es präzise einzuordnen, statt gegen einen Strohmann.

Informationsübertragung (Shannon, 1948).

Shannons Theorie bleibt die korrekte Darstellung der Bewegung von Information durch einen verrauschten Kanal und der Grenzen, dies zu tun. Alpha widerspricht ihr nicht und beansprucht nicht, sie abzulösen. Alpha behandelt eine andere Frage — die Rekonstruktion vereinbarten Zustands aus minimalen differenziellen Signalen auf einem gemeinsamen deterministischen Substrat —, die orthogonal zur Kanalkapazität ist. Wo Shannon fragt „wie viel kann dieser Kanal tragen“, fragt Alpha „wie wenig muss den Kanal durchqueren, damit zwei Maschinen denselben verifizierbaren Zustand halten“.

Inhaltsintegrität (Merkle, 1987; inhaltsadressierter Speicher).

Merkle-Bäume und inhaltsadressierte Speicher binden sich an Daten mittels Hashes und beweisen Zugehörigkeit mit Pfaden logarithmischer Größe. Der Zeuge von Alpha ist dem Geiste nach verwandt — eine kryptografische Bindung an den Zustand —, ist jedoch in Bezug auf den Zustand konstant groß und wird über den gesamten Zustand berechnet, sodass jede Divergenz auch nur eines einzelnen Bits allein aus dem Zeugen erkennbar ist.

Eventuelle Konsistenz und CRDTs.

Conflict-free Replicated Data Types und Gossip-/Anti-Entropie-Protokolle erreichen Konvergenz unter Nebenläufigkeit, indem sie Merge-Operationen darauf beschränken, kommutativ und idempotent zu sein. Alpha tut auf der Ordnungsachse bewusst das Gegenteil: Seine Zustandsentwicklung ist ordnungsabhängig, sodass Historie nicht stillschweigend umgeordnet oder zusammengefasst werden kann. Konvergenz entsteht bei Alpha nicht aus kommutativen Merges, sondern aus gemeinsamem Determinismus — dieselben Eingaben in derselben Reihenfolge ergeben überall denselben Zustand.

Deterministische und reproduzierbare Berechnung.

Reproduzierbare Builds und deterministische Ausführungsumgebungen belegen, dass feste Eingaben über Maschinen hinweg feste Ausgaben erzeugen. Alpha macht diese Eigenschaft tragend: Seine Zustandsrepräsentation ist so definiert, dass die Entwicklung eine reine Funktion der Eingaben ist, unabhängig von Hardware und Betriebssystem. Unsere Auswertung bestätigt, dass dies byteweise über zwei Befehlssatzarchitekturen hinweg gilt.

3. Systemmodell

Wir beschreiben Alpha auf der Ebene der beobachtbaren Struktur. Die interne Konstruktion — wie der Zustandsraum parametrisiert und wie die Drift berechnet wird — ist proprietär und wird hier nicht offengelegt.

Zustand. Der Zustand eines Knotens ist ein Punkt in einem 384-dimensionalen Raum, dargestellt in deterministischer Festkomma-Arithmetik und auf Einheitsbetrag normalisiert. Die Normalisierung ist total: Für jede Eingabe, wie groß oder feindselig auch immer, wird die Repräsentation auf die Einheitshypersphäre zurückgebildet, sodass jede Koordinate konstruktionsbedingt beschränkt ist.

Referenzgitter. Alle Knoten teilen eine gemeinsame deterministische Referenz. Zwei Knoten sind „in Phase“, wenn ihre Referenzen übereinstimmen; ein leichtgewichtiger Handshake bestätigt dies durch Vergleich des nächsten Referenzsignals, das jeder erzeugt, statt durch Austausch von Zustand.

Drift. Ein Ereignis treibt den Zustand durch eine kleine differenzielle Rotation hin zum Ereignis voran, gefolgt von einer Renormalisierung. Die Größe, die das Netzwerk durchquert, ist diese Drift, nicht der resultierende Zustand.

Zeuge. Die Integrität eines Zustands wird durch ein konstant großes (256-Bit) kryptografisches Siegel zusammengefasst, das über alle 384 Dimensionen berechnet wird. Zwei Zustände erzeugen nur dann dasselbe Siegel, wenn sie bitidentisch sind; jede Divergenz kippt das Siegel.

4. Eigenschaften

Wir legen die Eigenschaften dar, die Alpha bereitzustellen entworfen ist. Jede wird in Abschnitt 5 von reproduzierbaren Belegen begleitet; keine hängt von der Offenlegung der Konstruktion ab.

4.1 Determinismus und Hardware-Unabhängigkeit.

Bei identischem Anfangszustand und identischer geordneter Driftsequenz rekonstruieren zwei Knoten bitidentischen Zustand, unabhängig von CPU-Architektur, Betriebssystem oder Compiler. Der Determinismus ist durch Festkomma-Arithmetik und eine feste Entwicklungsregel verankert; die einzigen verwendeten Gleitkommaoperationen sind IEEE-754-Primitive, deren Ergebnisse über konforme Plattformen hinweg identisch sind — eine Eigenschaft, die wir empirisch verifizieren.

4.2 Beschränktheit durch Konstruktion.

Jede Zustandskoordinate ist auf die Einheitshypersphäre beschränkt. Da die Normalisierung nach jedem Ereignis angewendet wird und da sie Eingaben beliebiger Größenordnung robust vorskaliert, bevor der Betrag berechnet wird, kann keine Ereignissequenz — und keine über das Netzwerk eintreffende, gezielt gestaltete Eingabe — eine Koordinate über ihre Schranken hinaustreiben oder die zugrunde liegende Arithmetik zum Überlaufen bringen. Der Zustandsraum ist faktisch eine geschlossene Mannigfaltigkeit.

4.3 Ordnungserhaltung (Nicht-Kommutativität).

Da jedes Ereignis mit zwischengeschalteter Renormalisierung angewendet wird, ist die Entwicklung nicht-kommutativ: Das Anwenden der Ereignisse A dann B ergibt im Allgemeinen weder denselben Zustand wie das Anwenden ihrer Linearkombination noch denselben Zustand wie B dann A. Die Trajektorie trägt eine Erinnerung an ihre Reihenfolge. Ein Knoten kann keine Historie fälschen, indem er einen einzelnen Vektor präsentiert, der eine andere Sequenz „aufsummiert“; das Siegel würde nicht passen.

4.4 Konstant großer Integritätszeuge.

Ein 256-Bit-Siegel bindet sich an den vollen 384-dimensionalen Zustand. Die Verifikation ist in Bezug auf die Zustandsgröße konstant groß und konstant in der Zeit und ist empfindlich gegenüber jeder Einzelbitänderung. Dies macht Übereinstimmung für einen Dritten allein aus dem Zeugen prüfbar.

5. Empirische Auswertung

5.1 Aufbau.

Wir werteten eine Referenzimplementierung auf vier Maschinen aus, die zwei Befehlssatzarchitekturen und zwei Betriebssysteme umfassen: ein AMD Ryzen 9 7900X (Linux, x86-64), ein Apple M2 (macOS, ARM64), ein AMD Ryzen 7 7840HS (Linux, x86-64) und ein Intel i3-9100 (Linux, x86-64). Alle nachstehenden Messungen sind aus der Referenzimplementierung reproduzierbar; wir berichten exakte Zahlen, statt Dokumentation zu zitieren.

5.2 Determinismus über Hardware hinweg.

Ausgehend von einem festen Genesis-Zustand und unter Anwendung einer festen geordneten Ereignissequenz erzeugte jeder Host ein byteidentisches 256-Bit-Siegel. Wir ließen darüber hinaus eine randomisierte Reihe von 2.000 unabhängigen Szenarien laufen (zufällige Seeds und zufällige Ereignisketten) und fassten die resultierenden Siegel zu einem einzigen Digest zusammen; der Digest war auf den ARM64- und x86-64-Hosts identisch. Wir beobachteten in keinem Szenario eine architekturübergreifende Divergenz.

Identisches 256-Bit-Siegel auf jedem Host, ohne jegliche Übertragung von Zustand zwischen ihnen — nur die gemeinsame Genesis und die gemeinsame Ereignissequenz.

5.3 Beschränktheit unter Fuzzing.

Wir fuzzten die Normalisierung mit 40.000 Eingabevektoren aus sechs feindseligen Regimen: Einheitsmaßstab, um den Faktor 10⁹ skalierte Beträge, rohe zufällige 64-Bit-Ganzzahlen, alle-Maximum, alle-Minimum und Einzelkoordinaten-Spitzen. Wir speisten zudem gezielt gestaltete Transportimpulse ein, bei denen jede Koordinate auf die Ganzzahl-Extrema gesetzt war, sowie pathologische Gleitkommaeingaben (NaN, ±∞). In jedem Fall blieb der maximale Koordinatenbetrag nach der Normalisierung innerhalb der Einheitsschranke; wir verzeichneten null Schrankenverletzungen, und keine Eingabe erzeugte eine Panic oder einen arithmetischen Überlauf.

5.4 Empfindlichkeit des Zeugen.

Wir wandten 5.000 Einzelbit-Störungen an, von denen jede das niedrigste Bit einer zufällig gewählten Dimension umkippte, und berechneten das Siegel jedes gestörten Zustands. Alle 5.000 Siegel unterschieden sich vom ungestörten Siegel; wir beobachteten null Kollisionen, im Einklang mit einer Bindung an den gesamten Zustand.

5.5 Reproduzierbarkeit.

Die obigen Eigenschaften sind als ausführbare Invariantentests kodiert, die mit der Referenzimplementierung ausgeliefert werden, sodass eine Regression in einer von ihnen sofort fehlschlägt. Die vollständige Suite — einschließlich der Fuzzing- und Determinismusprüfungen — besteht auf beiden Architekturen ohne Warnungen. Unabhängige Parteien können die Zahlen reproduzieren, indem sie die Suite auf ihrer eigenen Hardware ausführen.

6. Bedrohungsmodell und Sicherheitshaltung

Wir sind bei Sicherheitsbehauptungen bewusst konservativ. Zwei Eigenschaften sind durch Konstruktion garantiert und durch die Auswertung bestätigt: Beschränktheit (keine Eingabe kann der Zustandsmannigfaltigkeit entkommen oder die Arithmetik zum Überlaufen bringen) und Empfindlichkeit der Integrität über den gesamten Zustand (jede Einzelbit-Divergenz ist im Siegel sichtbar). Diese sind strukturell, nicht probabilistisch.

Wir erheben keine Behauptung, dass Alpha „unknackbar“ sei. Die Netzwerkschicht und die Schicht des kryptografischen Siegels haben noch kein unabhängiges Audit durch Dritte durchlaufen, und wir kennzeichnen sie in der Referenzimplementierung entsprechend. Bis ein solches Audit abgeschlossen ist, sollte Alpha nur innerhalb vertrauenswürdiger Grenzen oder in Simulation eingesetzt werden. Behauptungen kryptografischer Unverwundbarkeit ohne externe Prüfung sind unserer Ansicht nach Marketing statt Ingenieurkunst, und wir lehnen es ab, sie zu erheben.

7. Anwendungen

Alpha ist eine Fundamentschicht; es nimmt nichts über die darüberliegende Anwendung an. Die Asymmetrie, die es bietet — großer gemeinsamer Zustand, winziger differenzieller Verkehr, deterministische Rekonstruktion, konstant große Verifikation —, ist am wertvollsten dort, wo diese Form wiederkehrt:

Replizierte Datenbanken und Indizes: Replikate in Übereinstimmung halten durch Austausch von Drift statt durch das Verschicken von Zeilen, mit einem konstant großen Übereinstimmungsbeweis. Edge- und CDN-Cache-Kohärenz: verteilte Caches konvergieren lassen, ohne den vollen Zustand zu verbreiten. Agenten-Gedächtnis: den akkumulierten Zustand eines Agenten über Sitzungen und Geräte hinweg mit verifizierbarer Kontinuität synchronisieren. Blockchain- und Ledger-Nutzlasten: Transaktionshistorie mit byteexakter Rekonstruktion darstellen und verifizieren. Beschränkte Netze und Mesh-Netze: gemeinsamen Zustand über intermittierende Verbindungen hinweg aufrechterhalten, wo das Bewegen des vollen Zustands undurchführbar ist.

8. Einschränkungen und künftige Arbeiten

Dies ist ein technischer Bericht, keine begutachtete Offenlegung: Er charakterisiert bewusst Eigenschaften und präsentiert reproduzierbare Belege, während er die Konstruktion proprietär und zum Patent angemeldet hält. Eine formale Behandlung mit vollständigen Methoden folgt nach der rechtlichen Fixierung. Die wichtigste kurzfristige Arbeit ist das in Abschnitt 6 erwähnte unabhängige externe Audit der Netzwerk- und Siegelschichten; bis es abgeschlossen ist, lautet die Sicherheitshaltung „strukturell beschränkt und integritätsempfindlich“, nicht „auditiert-sicher“. Wir beabsichtigen zudem, eine Leistungscharakterisierung unter realen Netzwerkbedingungen zu veröffentlichen, die dieser Bericht nicht abdeckt.

9. Schlussfolgerung

Alpha zeigt, dass verteilte Knoten denselben verifizierbaren Zustand halten können, ohne diesen Zustand auszutauschen — indem sie stattdessen auf einem gemeinsamen deterministischen Prozess konvergieren, ausschließlich differenzielle Drift übertragen, byteidentischen Zustand über heterogene Hardware hinweg rekonstruieren und sich mit einem konstant großen Zeugen daran binden. Wir haben diese Eigenschaften charakterisiert und gezeigt, dass sie über vier Maschinen und zwei Architekturen hinweg reproduzierbar sind, mit beschränktem Verhalten unter 40.000 feindseligen Eingaben und kollisionsfreier Integrität über 5.000 Störungen. Die Konstruktion bleibt versiegelt; die Belege nicht. Was wir bieten, ist kein Versprechen, sondern ein reproduzierbares Ergebnis.