💻 computer science

Privacy-Preserving Compliance on Public Ledgers via Selective Disclosure Authorization Schemes

Dieses Paper führt Selective Disclosure Authorization Schemes (SDAS) und deren Ethereum-Instanziierung, ZK-Compliance, ein, um eine granulare, widerrufbare regulatorische Compliance auf öffentlichen Ledgern zu ermöglichen, indem Zero-Knowledge-Proofs an spezifische On-Chain-Sender gebunden werden, wodurch die Risiken von Front-Running und Proof-Reuse gemindert werden, während die Datensouveränität gewahrt bleibt.

Ursprüngliche Autoren: Supriya Khadka, Sanchari Das

Veröffentlicht 2026-06-23

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Supriya Khadka, Sanchari Das

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 ein öffentliches Kassenbuch (wie eine Blockchain) als eine riesige, transparente Glaswand vor, an der jeder jede Transaktion sehen kann. Das ist gut für die Ehrlichkeit, aber schrecklich für die Privatsphäre. Wenn Sie beweisen müssen, dass Sie über 18 Jahre alt sind, um einen digitalen Club zu betreten, zwingt Sie die aktuelle Methode dazu, Ihr tatsächliches Geburtsdatum der ganzen Welt entgegenzuschreien. Sie müssen entweder Ihr Geheimnis preisgeben oder Sie kommen nicht rein.

Dieses Paper schlägt einen neuen Weg vor, um dieses Problem mit einem „Zaubertrick“ namens Zero-Knowledge Proofs (ZKPs) zu lösen, kombiniert mit einer strengen Sicherheitsregel, um Diebe daran zu hindere, Ihren Trick zu stehlen.

Hier ist die Aufschlüsselung ihrer Lösung, ZK-Compliance, unter Verwendung einfacher Analogien:

1. Das Problem: Die „Glaswand“ und der „Dieb“

Die Transparenzfalle: In einer normalen Blockchain müssen Sie, wenn Sie beweisen wollen, dass Sie berechtigt sind (z. B. „Ich bin über 18“), normalerweise Ihre echten Daten an die Wand posten. Sob's einmal dort ist, ist es permanent und für jeden sichtbar.
Das Fenster des Diebes: Selbst wenn Sie einen „Zaubertrick“ (einen ZKP) verwenden, um zu beweisen, dass Sie über 18 sind, ohne Ihr Geburtsdatum zu zeigen, gibt es eine Verzögerung. Sie erstellen den Beweis auf Ihrem Computer, aber er muss durch einen öffentlichen Wartesaal (den „Mempool“) reisen, bevor er aufgezeichnet wird.
Der Angriff: Ein Dieb, der in diesem Wartesaal steht, kann Ihren gültigen Beweis sehen, ihn schnappen und vor der Clubtür ankommen, um sich als derjenige auszugeben, der den Beweis generiert hat. Dies wird als „Front-Running“ bezeichnet.

2. Die Lösung: Das „Armband“, das nur Ihnen passt

Die Autoren haben ein System namens SDAS (Selective Disclosure Authorization Scheme) entwickelt. Stellen Sie sich das wie ein intelligentes Armband-System für den digitalen Club vor.

Der Zaubertrick (Der Beweis): Anstatt Ihr Geburtszertifikat zu zeigen, verwenden Sie ein spezielles Computerprogramm (einen „Circuit“), um einen digitalen Beleg zu erstellen. Dieser Beleg beweist: „Ja, diese Person ist über 18“, enthält aber null Informationen darüber, wer diese Person ist oder wann sie geboren wurde.
Der Sicherheitskleber (Sender Binding): Dies ist die Hauptinnovation des Papers. Das System nimmt diesen digitalen Beleg und „klebt“ ihn an Ihre spezifische digitale Wallet-Adresse (Ihre eindeutige ID).
- Die Analogie: Stellen Sie sich vor, der Beleg ist ein Ticket. Im alten System konnte jeder ein herabgefallenes Ticket aufheben und benutzen. In diesem neuen System wird das Ticket mit einem Hologramm bedruckt, das sagt: „Dieses Ticket funktioniert nur, wenn es von Alice gehalten wird.“
- Wenn ein Dieb versucht, Ihr Ticket zu schnappen und mit seiner eigenen ID zu verwenden, passt das Hologramm nicht und der Club-Türsteher (der Smart Contract) lehnt es sofort ab.

3. Wie es im echten Leben funktioniert (Der „Grant, Verify, Revoke“-Zyklus)

Das Paper hat dies auf einer Testversion von Ethereum (Sepolia) getestet und einen dreistufigen Prozess erstellt:

Grant (Die Zaubershow): Sie gehen zu Ihrem Browser, und ein kleines Programm (das in weniger als 200 Millisekunden läuft – schneller als ein Blinzeln) erstellt Ihren Beweis. Es prüft Ihr Geburtsjahr gegen das Alterslimit, fügt ein geheimes „Salt“ hinzu (wie ein zufälliges Gewürz, um Raten zu verhindern) und bindet den Beweis an Ihre Wallet. Sie senden dies an den Club.
Verify (Der Türsteher-Check): Der Smart Contract des Clubs prüft zwei Dinge:
- Ist die Mathematik des Beweises korrekt? (Haben Sie wirklich bewiesen, dass Sie über 18 sind?)
- Entscheidend: Passt der Beweis zu der Person, die ihn hält? (Ist die Wallet-Adresse auf dem Beweis dieselbe wie diejenige, die die Transaktion sendet?)
- Wenn beides übereinstimmt, kommen Sie rein. Wenn ein Dieb versucht, Ihren Beweis zu benutzen, schlägt die Prüfung fehl, weil der „Kleber“ nicht zu seiner Wallet passt.
Revoke (Der Schnitt): Wenn Sie den Club verlassen oder den Zugriff der dApp einschränken wollen, können Sie einen Knopf drücken, um Ihr Armband zu „schneiden“. Das System löscht Ihren Zugriffsdatensatz. Der Club weiß, dass Sie gegangen sind, aber er weiß immer noch nicht Ihr Geburtsdatum.

4. Die Ergebnisse: Schnell und günstig

Die Autoren haben einen Prototyp gebaut und ihn getestet. Hier ist, was sie herausgefunden haben:

Geschwindigkeit: Das Erstellen des Beweises auf einem normalen Laptop dauert weniger als 200 Millisekunden. Es ist schnell genug für eine normale Website.
Kosten: Das Überprüfen des Beweises auf der Blockchain kostet etwa 240.000 „Gas“-Einheiten (die Währung, mit der Blockchain-Transaktionen bezahlt werden). Es ist zwar nicht kostenlos, aber es ist ein fester, vorhersehbarer Kostenfaktor, der beweist, dass das System praktikabel ist.
Sicherheit: In ihren Tests, als sie versuchten, einen Diebstahl zu simulieren, bei dem ein Beweis gestohlen und von einer anderen Wallet aus verwendet wurde, blockierte das System die Transaktion jedes Mal erfolgreich.

Zusammenfassung

Dieses Paper führt einen Weg ein, um zu beweisen, dass man die Regeln befolgt (z. B. alt genug zu sein), auf einer öffentlichen, transparenten Blockchain, ohne seine Geheimnisse zu verraten. Die entscheidende Innovation ist das Binden des Beweises an die spezifische Person, die ihn sendet, sodass selbst wenn ein Dieb den Beweis stiehlt, während er in der Schlange steht, er ihn nicht verwenden kann, da das „Schloss“ auf dem Beweis nur zur „Taste“ des ursprünglichen Besitzers passt.

Die Autoren nennen dies ZK-Compliance, und sie zeigen, dass es schnell und sicher funktioniert und so eine „Transparenzfalle“ in ein privatsphäre-wahrendes Sicherheitssystem verwandelt.

Technisches Resümee: Datenschutzwahrende Compliance auf öffentlichen Ledgern mittels selektiver Offenlegungs-Autorisierungsschemata

Problemstellung
Öffentliche verteilte Ledger wie Ethereum erzwingen Integrität durch radikale Transparenz, was im Konflikt mit den Prinzipien der Datenminimierung steht, die für die regulatorische Compliance erforderlich sind. Während Zero-Knowledge-Proofs (ZKPs) theoretisch ermöglichen, Aussagen (z. B. Alter oder Wohnsitz) zu beweisen, ohne die zugrunde liegenden Daten preiszugeben, stehen bestehende Konstruktionen vor kritischen adversariellen Einschränkungen in Smart-Contract-Umgebungen. Insbesondere die asynchrone Natur von Blockchain-Transaktionen schafft eine Schwachstelle: Off-Chain generierte Beweise werden vor ihrer Aufnahme in den Block in einem öffentlichen Mempool übermittelt. Diese Verzögerung ermöglicht es Angreifern, gültige Beweise zu beobachten und diese in anderen Transaktionskontexten (z. B. von einer anderen Absenderadresse oder an einen anderen Vertrag) „vorwegzunehmen“ (Front-Running) oder zu replizieren (Replay-Attacken). Standard-ZKPs garantieren zwar das Wissen über den Witness, binden den Beweis jedoch nicht inhärent an den spezifischen On-Chain-Absender, was eine „Transparenzfalle“ schafft, in der Überoffenlegung oder die Wiederverwendung von Beweisen die Privatsphäre und die Integrität der Autorisierung gefährdet.

Methodik: Selektive Offenlegungs-Autorisierungsschemata (SDAS)
Um diese Lücken zu schließen, formalisieren die Autoren Selektive Offenlegungs-Autorisierungsschemata (Selective Disclosure Authorization Schemes, SDAS), ein kryptographisches Primitiv, das für granulare, widerrufbare Compliance-Prüfungen konzipiert ist, ohne die zugrunde liegenden Witness-Daten offenzulegen. Das Framework behandelt Autorisierung nicht als zustandslose Beweiskonstruktion, sondern als verifizierbaren Zustandsübergang, der an einen spezifischen Ausführungskontext gebunden ist.

Formales Modell: Das SDAS-Modell definiert einen Ausführungskontext-Tupel $\Gamma = (\chi_{addr}, \chi_{chain}, \chi_{contract})$ , entsprechend den Ethereum Virtual Machine Variablen msg.sender, block.chainid und address(this). Ein gültiger Autorisierungsbeweis muss eine Relation $R(w, \Gamma)$ attestieren, wodurch sichergestellt wird, dass der Beweis kryptographisch an diesen Koordinatenraum gebunden ist.
Sicherheitsdefinitionen: Das Paper führt zwei zentrale Sicherheitseigenschaften ein:
- Ledger-gebundene Attribut-Unverknüpfbarkeit (Ledger-Bound Attribute Unlinkability): Stellt sicher, dass ein On-Chain-Autorisierungsdatensatz keine Informationen über den spezifischen zugrunde liegenden Witness (z. B. Geburtsjahr) preisgibt, wobei zwischen transaktionaler Verknüpfbarkeit (die Adresse) und Attribut-Verknüpfbarkeit unterschieden wird.
- Kontextsensitive Absenderbindung (Context-Aware Sender Binding): Stellt sicher, dass ein für einen spezifischen Kontext generierter Beweis nicht in einem anderen Kontext oder durch einen anderen Absender wiederverwendet werden kann.
ZK-Compliance-Prototyp: Die Autoren instanziieren SDAS als ZK-Compliance, ein Ethereum-basiertes System, das einen nutzergesteuerten „Grant, Verify, Revoke“-Lebenszyklus implementiert.
- Schaltkreis-Design (Circuit Design): Das System verwendet einen 14-Constraint-Circom-Schaltkreis (AgeCheck), der auf dem Groth16-Schema über der BN128-Kurve basiert. Der Schaltkreis nimmt öffentliche Eingaben (aktuelles Jahr, Altersgrenze, anfragende Adresse) und private Witnesses (Geburtsjahr, zufälliges Salt) entgegen. Entscheidend ist, dass er die öffentliche Adresse ( $x_{addr}$ ) einschränkt, sodass der Schaltkreis die Adresse des Absenders konsumiert, was den Beweis ungültig macht, falls er von einem anderen msg.sender eingereicht wird.
- Ausführungsablauf: Der Client generiert den Beweis lokal mittels SnarkJS, bindet die öffentliche Adresse an das Wallet und übermittelt eine signierte Transaktion. Der On-Chain-Verifier prüft zuerst, ob die gebundene Adresse mit msg.sender übereinstimmt, bevor er die kryptographische Verifizierung durchführt, und bricht sofort ab (revert), falls eine Diskrepanz vorliegt.

Wesentliche Beiträge

Formalisierung von SDAS: Das Paper führt eine neue Autorisierungsarchitektur ein, die die Attribut-Validität von der zustandsbasierten On-Chain-Autorisierung trennt und Autorisierung als verifizierbaren Zustandsübergang modelliert.
Kontextsensitive Bindung: Die Autoren definieren und implementieren die Kontextsensitive Absenderbindung, einen Mechanismus, der Zero-Knowledge-Beweise an den ausführenden msg.sender verankert, um Mempool-Front-Running und Beweis-Wiederverwendungsangriffe zu neutralisieren.
Praktische Instanziierung: Die Arbeit präsentiert ZK-Compliance, einen browser-nativen Ethereum-Prototypen, der den „Grant, Verify, Revoke“-Lebenszyklus operationalisiert, ohne auf persistente Identitätsverwahrer angewiesen zu sein.

Experimentelle Ergebnisse
Die Autoren evaluierten ZK-Compliance im Sepolia-Testnetzwerk:

Client-seitige Performance: Die Beweiserstellung (Witness-Generierung + Beweiskonstruktion) wurde auf weniger als 200 ms (speziell 184 ms) auf einem Consumer-Grade MacBook Air (M2, 16 GB RAM) unter Verwendung von WebAssembly ausgeführt.
On-Chain-Kosten: Die Verifizierungstransaktion kostete 240.512 Gas, was das Absender-Anchoring, die BN128-Pairing-Verifizierung und die Speicherung des Zugriffsdatensatzes abdeckt.
Sicherheitsvalidierung: Simulationen bestätigten, dass, wenn ein adversarielles Wallet versuchte, einen erbeuteten Beweis von einer anderen Adresse wiederzuverwenden, der Contract die Transaktion aufgrund des Absender-Mismatch ablehnte, wodurch die unbefugte Übertragung des Zugriffs erfolgreich verhindert wurde.

Bedeutung und Ansprüche
Das Paper behauptet, dass ZK-Compliance die Machbarkeit von sender-gebundener selektiver Offenlegungs-Autorisierung auf öffentlichen Ledgern demonstriert. Indem Autorisierung als ein kontextgebundener Zustandsübergang und nicht als ein zustandsloser Beweis behandelt wird, reduziert das System die Abhängigkeit von zentralisierten Identitäts-Repositories bei gleichzeitiger Wahrung strikter Attribut-Privatsphäre. Die Autoren führen aus, dass dieser Ansatz einen praktischen Weg für die regulatorische Compliance (z. B. Altersverifizierung) bietet, der auditierbar, zeitlich begrenzt und widerrufbar ist, ohne sensible Nutzerdaten dem öffentlichen Ledger auszusetzen oder anfällig für Mempool-basierte Replay-Angriffe zu sein.

Limitierungen
Die Autoren merken an, dass sich der aktuelle Prototyp primär auf die Absenderbindung konzentriert; Cross-Chain- und Cross-Contract-Bindungen (Verankerung an block.chainid und address(this)) bleiben Erweiterungen für zukünftige Arbeiten. Zudem implementiert der aktuelle Widerrufsmechanismus zwar das Löschen des Zustands, nutzt aber noch keine zustandsbasierten Nullifier (z. B. unter Verwendung von Poseidon-Hashes), um die Reaktivierung des widerrufenen Zugriffs durch veraltete Beweise zu verhindern – eine notwendige Funktion für den produktiven Einsatz.