Verteilte Systeme
Unabhängige Rechner koordinieren sich über ein Netzwerk, in dem Nachrichten verspätet eintreffen und einzelne Knoten ausfallen können.
CIRCULA: Blockchain-Systementwurf mit expliziten Ablaufregeln
CIRCULA untersucht Ablauf und Verlängerung in der programmierbaren Umgebung, die der gemeinsame Zustand, die Validierungsregeln und die überprüfbare Historie von Blockchains bieten. Das Forschungsprogramm entwickelt formale Semantiken, einen minimalen Prototyp und reproduzierbare Experimente, um Wirkungen und Kosten zu bewerten – einschließlich der Frage, ob nach dem Ablauf nützliche Informationen für Überprüfung oder Wiederherstellung verfügbar bleiben. Der von Zirkulation und dem lateinischen circulus („Kreis“) inspirierte Name verweist auf den Lebenszyklus digitaler Ansprüche und Rechte: Gültigkeit, Ablauf und mögliche Verlängerung. [1]
DAS WISSENSCHAFTLICHE ZIEL
Lebensdauerregeln als Entwurfsentscheidung
Blockchains behalten häufig Aufzeichnungen und Verifikationszustand nach Abschluss einer Operation oder nach dem Inaktivwerden eines Rechts. Lebensdauerregeln bestehen bereits als Zeitlimits, Timelocks und Aufbewahrungsregeln, doch ihre Annahmen, Durchsetzungsebenen und Wiederherstellungsanforderungen werden oft getrennt untersucht.
CIRCULA verbindet diese Fragen in einem festen technischen Kontext: native Ledger-Operationen mit ablaufabhängiger Gültigkeit und Verlängerung. Untersucht wird, welche Entwürfe Korrektheit und Prüfbarkeit erhalten, wie weit sich Persistenz begrenzen lässt und welche zusätzlichen Verifikations-, Wiederherstellungs- oder Betriebskosten entstehen.
DIE WEITERE PERSPEKTIVE
Prüfbarkeit und Wiederherstellung
Der Ablauf verändert die Gültigkeit. Die Forschung wird untersuchen, welche Informationen aufbewahrt, verworfen oder unzugänglich werden und unter welchen Bedingungen Überprüfung, Anfechtung oder Wiederherstellung möglich bleiben.
CIRCULA untersucht die Verfügbarkeit und den Nutzen von Informationen, die nach dem Ablauf erhalten bleiben können.
DER KONZEPTUELLE RAHMEN
Schlüsselkonzepte
Die Grundlagen erklären, wie Knoten ein gemeinsames Ledger führen. Die Konzepte zur Gültigkeit beschreiben, was CIRCULA modellieren, implementieren und evaluieren wird.
Grundlagen
Blockchain
Ein gemeinsames Ledger, das Transaktionen in durch kryptografische Hashes verknüpften Blöcken bündelt. So können Teilnehmer Reihenfolge und Verlauf prüfen.
Konsens
Ein Protokoll, mit dem sich Knoten auf ein gemeinsames Ergebnis einigen, etwa welche Transaktionen in welcher Reihenfolge ins Ledger aufgenommen werden.
Programmierbarkeit
Im Protokoll oder in Smart Contracts kodierte Regeln bestimmen, wie Ledger-Operationen validiert und ausgeführt werden. Dies ist der programmierbare Kontext, in dem CIRCULA den Ablauf untersucht.
Gültigkeit und Nachweise
Gültigkeitsintervall
Der Zeitraum, in dem eine Ledger-Operation ihre zeitlichen Bedingungen erfüllt. Anfang, Ende und Zeitbegriff müssen festgelegt werden.
Ablaufübergang
Der Übergang von gültig zu abgelaufen an einer definierten Grenze. Der Systementwurf bestimmt den Umgang mit historischen Aufzeichnungen.
Erneuerungsregel
Eine autorisierte Operation, die ein Gültigkeitsintervall ändert oder verlängert. Zeitpunkt, Berechtigungen und verspätete Erneuerung benötigen eine explizite Semantik.
Nachweise nach dem Ablauf
Aufzeichnungen oder Nachweise, die nach Ende der Gültigkeit verbleiben können. CIRCULA wird bewerten, was verfügbar ist und ob es Überprüfung oder Wiederherstellung unterstützt.
Durchsetzungsebene
Der Systemteil, der zeitliche Bedingungen prüft. CIRCULA untersucht die Durchsetzung direkt im Ledger sowie deren Kosten und Garantien.
Prüfung und Wiederherstellung
Die Fähigkeit, frühere Zustände zu prüfen, Ablaufentscheidungen zu erklären und die Wiederherstellung bei transparenter Historie zu unterstützen.
Persistenz, Wachstum und Zirkulation
Coin-Metrics-Momentaufnahmen vergleichen Infrastrukturwachstum und Bestandsmuster von Bitcoin, Ethereum und USDC auf Ethereum Ende 2018 und Ende 2025. Wachsende Ledger-Daten bestehen neben Konzentration und Inaktivität fort. Dies motiviert explizite Lebensdauerregeln, begrenzte Aufbewahrung und wiederherstellungsfähige Archivierung. [2]
Infrastrukturwachstum
Lesen Sie jede Zeile von 2018 bis 2025; die letzte Spalte zeigt das relative Wachstum. Die Ledger-Größe ist ein kumulierter Datenindikator in GB; Adressen und Transaktionen sind kumulierte Anzahlen in Millionen; Verträge sind ein Bestand am Periodenende. Eine Person kann mehrere Adressen nutzen und eine Adresse mehrere Personen repräsentieren. Wachstumsraten werden vor der Rundung berechnet: Sehr kleine angezeigte Ausgangswerte können daher große Prozentwerte ergeben.
| Asset | Metrik | Ende 2018 | Ende 2025 | Änderung (%) |
|---|---|---|---|---|
| BTC | Ledger-Größenproxy (GB, kumuliert) | 198.11 | 710.27 | +258.5% |
| Neue Adressen (Millionen, kumuliert) | 470.36 | 1,499.19 | +218.7% | |
| Transaktionen (Millionen, kumuliert) | 368.69 | 1,290.96 | +250.1% | |
| ETH | Ledger-Größenproxy (GB, kumuliert) | 69.02 | 1,411.29 | +1944.8% |
| Neue Adressen (Millionen, kumuliert) | 73.44 | 388.79 | +429.4% | |
| Smart Contracts (Millionen, Periodenende) | 9.05 | 63.36 | +600.0% | |
| Transaktionen (Millionen, kumuliert) | 368.81 | 3,163.55 | +757.8% | |
| USDC auf ETH | Neue Adressen (Millionen, kumuliert) | 0.02 | 25.80 | +116545.5% |
| Transaktionen (Millionen, kumuliert) | 0.05 | 146.39 | +295302.2% |
Bestände und Zirkulation
Die linke Gruppe zeigt Anteile am Angebot; die rechte den impliziten USD-Wert dieser Bestände in Milliarden. Beide Spalten „Änderung“ geben relative prozentuale Veränderungen an; Prozentpunkte messen den absoluten Unterschied zwischen Anteilen. Der Anteil der größten Ethereum-Adressen fällt beispielsweise von 99,82 % auf 69,37 %: um 30,45 Prozentpunkte beziehungsweise 30,5 % gegenüber 2018.
| Asset | Indikator | Anteil am Angebot (%) | Impliziter Wert (Mrd. USD) | ||||
|---|---|---|---|---|---|---|---|
| 2018 | 2025 | Änderung (%) | 2018 | 2025 | Änderung (%) | ||
| BTC | Oberste 10 % der Adressen | 98.94% | 98.83% | -0.1% | 63.68 | 1,727.28 | +2612.4% |
| Auf Börsen | 8.79% | 12.46% | +41.7% | 5.66 | 217.71 | +3746.9% | |
| Asset-Inaktivität | 98.57% | 97,93 % | -0.6% | 63.44 | 1,711.45 | +2597.7% | |
| ETH | Oberste 10 % der Adressen | 99.82% | 69.37% | -30.5% | 13.59 | 249.85 | +1737.9% |
| Auf Börsen | 16.95% | 11.78% | -30.5% | 2.31 | 42.44 | +1738.5% | |
| Asset-Inaktivität | 91.45% | 90.19% | -1.4% | 12.45 | 324.82 | +2508.3% | |
| USDC auf ETH | Oberste 10 % der Adressen | 99.99% | 99.85% | -0.1% | 0.25 | 51.63 | +20491.1% |
| Auf Börsen | 45.17% | 20.61% | -54.4% | 0.11 | 10.66 | +9308.7% | |
| Asset-Inaktivität | 68.96% | 68.70% | -0.4% | 0.17 | 35.52 | +20442.9% | |
Was der Vergleich zeigt
Ledger-Daten wachsen
Der Größenindikator des Ethereum-Ledgers steigt von 69,02 auf 1.411,29 GB, etwa das 20,4-Fache des Werts von 2018. Dieser wachsende historische Datenbestand motiviert die Untersuchung begrenzter Persistenz mit Audit- und Wiederherstellungsanforderungen.
Inaktivität bleibt hoch
Bitcoins Inaktivitätsindikator liegt 2025 weiterhin bei 97,93 %, gegenüber 98,57 % im Jahr 2018. Infrastrukturwachstum kann mit anhaltender Inaktivität einhergehen und lädt dazu ein, den Zusammenhang mit der Zirkulation näher zu untersuchen.
Anteile und Werte unterscheiden sich
Der Ethereum-Anteil auf Börsen sinkt von 16,95 % auf 11,78 %, während sein impliziter Wert von 2,31 auf 42,44 Milliarden USD steigt. Ein kleinerer Angebotsanteil kann einen höheren Dollarwert haben: Die beiden Gruppen beantworten unterschiedliche Fragen.
Diese Momentaufnahmen beschreiben Entwicklungen. Um einen möglichen wirtschaftlichen Effekt des Ablaufs ursächlich nachzuweisen, wäre weitere Forschung nötig. Konzentration, Börsenbestände und Inaktivität hängen von Verwahrung, Adresswiederverwendung und Verbuchung ab. Fehlende Infrastrukturmetriken sind nicht anwendbar oder nicht als vergleichbare Reihen verfügbar; kumulierte Zählwerte und Periodenendbestände bleiben getrennt.
Forschungsfragen
Vier Fragen verbinden Lebensdauersemantik, Durchsetzungsebene, messbare Vorteile und Kosten sowie begrenzte nachgelagerte Validierung. RQ1–RQ3 bilden den technischen Kern; RQ4 berücksichtigt nur Entwürfe, die dessen Korrektheits-, Prüfbarkeits- und Wiederherstellungskriterien erfüllen.
Semantik
Was bedeutet eine Lebensdauerregel?
Gültigkeit, Ablauf, Verlängerung, Prüfbarkeit und Wiederherstellung unter ausdrücklichen Annahmen zu Zeit, Auslösung, Finalität und begrenzter Persistenz spezifizieren. Jedes Lebenszyklusereignis soll eine eindeutige Bedeutung erhalten, die formale und ausführbare Modelle prüfen können.
Verortung
Wo soll die Regel gelten?
Die Durchsetzung auf System-, Vertrags-, Wallet- oder Dienstebene vergleichen. Eine Ebene wird nur beibehalten, wenn sie die festgelegten Invarianten erhält und Grenzfall-Konformitätstests besteht; eine höhere Ebene bleibt eine Möglichkeit, wenn native Durchsetzung technisch nicht tragfähig ist.
Evaluation
Welche Vorteile und Kosten entstehen?
Unter kontrollierten ablauforientierten Lasten die Vorteile begrenzter Persistenz mit zusätzlichen Verifikations-, Wiederherstellungs- und Betriebskosten vergleichen. Ausdrückliche Referenzen ohne Ablauf oder auf höheren Ebenen verwenden und Ergebnisse anhand szenariospezifischer Kostenrahmen und Messunsicherheit beurteilen.
Einsetzbarkeit
Welche Entwürfe lassen sich einsetzen?
Für Entwürfe, die die technischen Kriterien erfüllen, untersuchen, welche Durchsetzungsebenen unter Transparenz-, Prüfbarkeits-, Wiederherstellungs- und Verfahrensanforderungen zulässig bleiben. Die Validierung bleibt im festen Projektkontext; Referenzen zu regulierten Zahlungen setzen die Grenzen des Vergleichs.
Von der Frage zum Nachweis
Forschungsmethode und Arbeitspakete
Das Projekt folgt einem Weg von der Semantik zu belastbaren Nachweisen. Eine Evidenzkarte legt Annahmen und Referenzen fest; formale und ausführbare Semantik definiert die Prüfungen; ein begrenzter Prototyp demonstriert die beibehaltenen Ebenen; kontrollierte Experimente vergleichen Verhalten, Kosten und Grenzen.
Fester technischer Kontext
Native Ledger-Operationen mit ablaufabhängiger Gültigkeit und Verlängerung
RQ1 · RQ2 · RQ3Technischer Kern
RQ4Nachgelagerte Validierung
WP1Evidence Atlas
RQ1–RQ4: Grundlagen
WP2Semantic Reference
RQ1 + Modellierung für RQ3
WP3Proof of Concept
RQ1–RQ2
WP4Evaluation Bench
RQ3–RQ4 + Ebenenvergleiche für RQ2
WP3 · Prototyp-KomponentenKonsensTokenomicsLedger mit Ablaufregeln
Evaluation verfeinert Semantik und Baselines
Folgen Sie dem festen technischen Kontext über die Forschungsfragen zu den vier verbundenen Ergebnissen. Jedes Arbeitspaket zeigt seine RQ-Abdeckung; die Evaluation verfeinert Semantik und Baselines. Der Prototyp verbindet Konsens, Tokenomics und den Ledger mit Ablaufregeln.
WP1 / GEPLANTE ARBEIT
Gültigkeitsregeln und Durchsetzungsschichten
Bestehende Regeln zur Gültigkeitsdauer dokumentieren: was abläuft, welche Schicht die Regel durchsetzt und welche Annahmen erforderlich sind. Der Atlas liefert die Evidenz und die Vergleichsgrenzen für die weiteren Arbeiten.
Das gesamte Forschungsteam beginnt mit diesem gemeinsamen Rahmen.
GEPLANTES ERGEBNIS
CIRCULA Evidence Atlas
Annotierte Evidenz · Taxonomie der Gültigkeitsregeln · Vergleichsgrenzen
WP2 / GEPLANTE ARBEIT
Semantik von Ablauf, Verlängerung und Wiederherstellung
Ausgabe, Übertragung, Ablauf, Verlängerung, Anfechtung, Abwicklung und Wiederherstellung formalisieren. Modellieren, welche Informationen aufbewahrt oder verworfen werden und unter welchen Annahmen Überprüfung oder Wiederherstellung möglich ist. Eine deterministische ausführbare Referenz und Konformitätsszenarien entwickeln.
Das Modell legt seine Annahmen zu Zeit und Finalität offen.
GEPLANTES ERGEBNIS
CIRCULA Semantic Reference
Formale Semantik · Ausführbare Referenz · Konformitätsszenarien
WP3 / GEPLANTE ARBEIT
Ein begrenzter Registerprototyp
Die ausgewählte Semantik in einem minimalen Knoten oder kleinen Testbed implementieren. Ablaufbezogene Primitive und begrenzte Persistenz untersuchen und prüfen, welche Überprüfungs- oder Wiederherstellungsschnittstellen nach dem Ablauf unterstützt werden können.
Konformitätsprüfungen bestimmen, welche Entwürfe zur Evaluation gelangen.
GEPLANTES ERGEBNIS
CIRCULA Proof of Concept
Begrenzter Prototyp · Konformitätsprüfungen · Schnittstellen für Prüfung und Wiederherstellung
WP4 / GEPLANTE ARBEIT
Kontrollierte Vergleiche mit Referenzen
Ausgewählte Entwürfe unter kontrollierten Arbeitslasten mit expliziten Referenzen vergleichen. Kosten für Persistenz, Überprüfung und Wiederherstellung messen; institutionelle und Adoptionsbedingungen in den ausgewählten Kontexten untersuchen.
Unsicherheiten, Einschränkungen und negative Ergebnisse dokumentieren.
GEPLANTES ERGEBNIS
CIRCULA Evaluation Bench
Kontrollierte Vergleiche · Reproduzierbare Konfigurationen · Evidenz-Snapshots
Wie die Evaluation den Entwurf verfeinert
Die Evaluation gehört zu einem internen wissenschaftlichen Prüfzyklus. Konformitätsfehler führen zur Revision von Semantik oder Implementierungsentscheidungen; Experimente können Referenzen, beobachtbare Größen und Einsatzgrenzen verfeinern. Nur Entwürfe, die Korrektheits-, Prüfbarkeits- und Wiederherstellungsanforderungen erfüllen, werden weitergeführt. Versionierte Forschungsartefakte dokumentieren diese Entscheidungen.
Ergebnisse entdecken