Technische Zusammenfassung: Proof of Useful Attestation (PoUA)

1. Problemstellung

Die Arbeit identifiziert eine fundamentale Fehlausrichtung in Konsensmechanismen für „attestationsnative Ketten" – Blockchains, deren primäre wirtschaftliche Aktivität die Produktion und Verifizierung kryptografischer Attestationen ist (z. B. Nachweis der Inhaltsprovenienz, Zuordnung von KI-Ausgaben, Rückverfolgbarkeit in Lieferketten).

Bestehende Proof-of-Stake-Systeme (PoS) sind für zustandsübergreifende Operationen mit allgemeinem Zweck konzipiert. In diesen Systemen erhalten Validatoren Gebühren, unabhängig davon, ob sie die spezifische Anwendungsarbeitslast korrekt verarbeiten oder sie selektiv zensieren. Folglich kann ein Angreifer mit ausreichendem Kapital Anteile erwerben, bestimmte Attestationsschemata zensieren oder MEV aus der Neuordnung von Attestationen extrahieren, ohne dass dies standardmäßige Slashing-Bedingungen auslöst. Die ökonomische Sicherheit der Kette bleibt gegenüber der Korrektheit ihrer dominierenden Arbeitslast gleichgültig.

Die Arbeit argumentiert, dass eine Kette, die Attestationsverträge auf einer allgemeinen L1 hostet, die Arbeitslast nicht effektiv verteidigen kann, da die Konsensanreize von der Attestationsarbeit selbst entkoppelt sind.

2. Methodik: Proof of Useful Attestation (PoUA)

PoUA ist eine Konsens-Gewichtungsprimitive, die den Einfluss eines Validators direkt an seine Historie der Verarbeitung valider Attestationsarbeit bindet. Sie ist kein Ersatz für die zugrundeliegende BFT-Primitive (z. B. Tendermint-artige optimistische Finalität), sondern eine Schicht, die die Berechnung des Validatorgewichts modifiziert.

Kernmechanismus

Das Validatorgewicht ($w_v$) wird als Produkt aus gebundenem Einsatz ($s_v$) und einem nicht übertragbaren Reputationsscore ($r_v$) berechnet:
$$w_v(t) = s_v(t) \cdot r_v(t)$$

• Reputationssammlung: Die Reputation wächst basierend auf dem Beitrag des Validators zur Verarbeitung valider Attestationen. Die Update-Funktion ist additiv und begrenzt:
  $$r_v(t+E) = \text{clip}_{[r_{min}, r_{max}]}(r_v(t) + \eta \cdot g_v(t) - \lambda \cdot b_v(t))$$
  Dabei ist $g_v$ ein gebührengewichtetes Maß für die Verarbeitung valider Attestationen (aufgeteilt zwischen den Rollen des Proposers und des Voters) und $b_v$ ein Score für Fehlverhalten.
• Nicht-Übertragbarkeit: Die Reputation ist inhärent mit der Identität des Validators auf der Kette verbunden und kann nicht übertragen oder entbündelt werden.
• Begrenztes Intervall: $r_{min} > 0$ stellt sicher, dass neue Validatoren ein von Null verschiedenes Gewicht haben (Verhinderung eines Cold-Start-Ausschlusses), während $r_{max} < \infty$ eine unkontrollierte Konzentration von Macht verhindert.

Verteidigung gegen zusammengesetzte Angreifer

Die Arbeit adressiert den „zusammengesetzten Angreifer" (ein Angreifer mit sowohl Kapital als auch der Fähigkeit, Attestor-Sets und Absenderadressen zu kontrollieren, um Reputation zu farmen). PoUA setzt eine sechsschichtige Verteidigung ein:

1. Schicht 1 (Formal): Ausschluss von Attestationen, bei denen die Absenderadresse gleich der Adresse des Proposers ist.
2. Schicht 2 (Formal): Ausschluss von Attestationen, bei denen die Absenderadresse innerhalb eines Transaktionsgraphen-Abstands $d$ vom Proposer liegt (Verhinderung einfacher Mittelweiterleitung).
3. Schicht 3 (Ökonomisch): Ein Bruchteil $\tau_{burn}$ jeder Attestationsgebühr wird an eine nicht wiederherstellbare Adresse gesendet (z. B. eine Burn-Adresse). Dies erzeugt eine formale untere Grenze für die Kosten zur Reputationsschleiferei.
4. Schicht 4 (Heuristisch): Statistische Erkennung von Schleifmustern (Schemakonkentrations, Graphendichte).
5. Schicht 5 (Governance): Ein Einspruchsverfahren für falsch-positive Ergebnisse.
6. Schicht 6 (Zukunft): Zero-Knowledge-Beweise für die Unabhängigkeit des Stake-Graphen.

3. Hauptbeiträge

Formale Sicherheit und Kosten-zu-Angriff-Aufschlag

Die Arbeit leitet einen formalen Kosten-zu-Angriff-Aufschlag ($\kappa$) gegen einen kapitalgesteuerten Angreifer her. In einer gesunden Kette im stationären Zustand werden die Kosten, einen Anteil $\rho$ des Konsensgewichts zu erwerben, mit dem Verhältnis der durchschnittlichen ehrlichen Reputation zur minimalen Reputation multipliziert:
$$\kappa = \frac{\bar{r}_H}{r_{min}}$$
Mit empfohlenen Parametern ($r_{max}/r_{min} \in [4, 10]$) bietet PoUA einen 4-fachen bis 10-fachen multiplikativen Aufschlag auf die Kosten-zu-Angriff im Vergleich zu äquivalenten reinen PoS-Ketten. Dieser „Graben" wird in Abschnitt 5.3 formalisiert.

Untere Schranke für Schleifkosten (Lemma 1)

Ein zentraler Beitrag ist Lemma 1, das eine formale untere Schranke für die nicht wiederherstellbaren Gebühren festlegt, die ein zusammengesetzter Angreifer zahlen muss, um Reputation zu schleifen. Selbst wenn ein Angreifer die Schichten 1 und 2 umgeht, stellt die Burn in Schicht 3 sicher:
$$F_{net, \text{per member}} \geq \frac{\tau_{burn} \cdot \Delta r}{\eta \cdot \alpha_{eff}(m, k)}$$
Dies wandelt die Verteidigung gegen Reputationsfarmen von einem rein heuristischen Argument in ein ökonomisches um.

Anreizausrichtung

Die Arbeit modelliert Validatoren als Gewinnmaximierer. Sie argumentiert, dass, da Reputation nicht übertragbar ist und zukünftige Einnahmen (via Blockbelohnungen und Gebühren) repräsentiert, das Slashing eines Validators nicht nur seinen aktuellen Bond, sondern auch seinen zukünftigen Einnahmestrom zerstört. Diese „zeitgesperrte" Anreizausrichtung fehlt in reinen PoS-Systemen.

Implementierung und Integration

Die Arbeit liefert eine konkrete Integrations specification für das Sovereign SDK-Rollup-Framework und detailliert:

• Modifikationen bei der Validatorauswahl und Gewichtung der Stimmen.
• Speicherung des Reputationszustands (32 Bytes pro Validator).
• Adaptive Mechanismen zur Neukalibrierung der Parameter für $\tau_{burn}$, $\eta$ und $\lambda$, um Gebührenmarktabweichungen ohne Governance-Eingriffe zu bewältigen.

4. Ergebnisse und Validierung

Die Arbeit präsentiert Ergebnisse, die aus einem Referenzsimulator (prototypes/poua-sim/) abgeleitet wurden:

• Kosten-zu-Angriff: Monte-Carlo-Simulationen bestätigen die analytischen $\kappa$-Kurven und zeigen, dass der 4-fache bis 10-fache Aufschlag über verschiedene Größen des Validatorsets hinweg (50 bis 1000 Validatoren) gilt.
• Schichtweise Verteidigung: Strategie-Such-Heatmaps zeigen, dass zwar einzelne Verteidigungsschichten (z. B. nur Schicht 1) umgangen werden können, die Kombination aller Schichten jedoch die Belohnung für Schleifstrategien auf das Basisniveau ($r_{min}$) kollabieren lässt.
• Übergangszustände: Die Arbeit quantifiziert die „Aufwärm"- und „Erholungs"-Perioden, in denen der Aufschlag niedriger als die Obergrenze des stationären Zustands ist, und liefert operative Leitlinien für den Start der Kette und die Erholung nach einem Slashing.

5. Bedeutung und Behauptungen

Die Arbeit positioniert PoUA nicht als neue kryptografische Primitive, sondern als Synthese bestehender Konzepte (reputationsgewichteter Konsens, Proof-of-Useful-Work und Restaking), die speziell für attestationsnative Ketten zugeschnitten sind.

• Bescheidene Behauptungen: Die Autoren stellen ausdrücklich fest, dass PoUA keinen vollständigen kryptografischen Sicherheitsbeweis für alle rationalen Abweichungen liefert. Die Verteidigung gegen zusammengesetzte Angreifer stützt sich auf eine formale ökonomische Untergrenze (Lemma 1), die durch heuristische Erkennung (Schicht 4) und Governance (Schicht 5) unterstützt wird.
• Umfang: Der Mechanismus ist für Ketten konzipiert, bei denen die Arbeitslast die Produktion von Attestationen ist. Die Arbeit schließt explizit allgemeine Smart Contracts aus und argumentiert, dass deren Hinzufügung den spezifischen Sicherheitsgraben, den PoUA bietet, verwässern würde.
• Differenzierung: Im Gegensatz zu Restaking (EigenLayer), das Einsatzmittel von einer Primärkette wiederverwendet, konstruiert PoUA einen nativen Konsensmechanismus, bei dem das Sicherheitsbudget auf die Attestationsarbeitslast abgestimmt und mit ihr ausgerichtet ist. Im Gegensatz zu Proof of Useful Work (Filecoin/Helium) erfordert es keine externe Hardware-Attestation; die „nützliche Arbeit" ist auf Protokollebene durch Signaturverifizierung überprüfbar.

Die Arbeit schließt, dass PoUA ein verteidigungsfähiges Sicherheitsprofil für attestationsnative Ketten bietet, das generische L1s nicht replizieren können, ohne ihre Konsensschicht neu zu bauen, vorausgesetzt, der Mechanismus wird durch Devnet-Kalibrierung und externe Prüfung auf Belastbarkeit getestet.