💻 computer science

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

Dit artikel introduceert Selective Disclosure Authorization Schemes (SDAS) en hun Ethereum-instantiatie, ZK-Compliance, om granulaire, herroepbare regelgevende naleving op publieke grootboeken mogelijk te maken door zero-knowledge bewijzen te binden aan specifieke on-chain verzenders, waardoor risico's op front-running en bewijshergebruik worden beperkt terwijl de gegevensprivacy behouden blijft.

Oorspronkelijke auteurs: Supriya Khadka, Sanchari Das

Gepubliceerd 2026-06-23

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Supriya Khadka, Sanchari Das

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je een openbaar grootboek voor (zoals een blockchain) als een gigantische, transparante glazen wand waar iedereen elke transactie kan zien. Dit is geweldig voor eerlijkheid, maar verschrikkelijk voor de privacy. Als je moet bewijzen dat je ouder bent dan 18 om een digitale club binnen te mogen, dwingt de huidige manier je om je werkelijke geboortedatum tegen de hele wereld te schreeuwen. Je moet ofwel je geheim onthullen, of je komt er niet in.

Dit paper stelt een nieuwe manier voor om dit probleem op te lossen met behoud van een "goocheltruc" genaamd Zero-Knowledge Proofs (ZKP's), gecombineerd met een strikte beveiligingsregel om dieven ervan te weerhouden je truc te stelen.

Hier is de uitleg van hun oplossing, ZK-Compliance, met behulp van eenvoudige analogieën:

1. Het Probleem: De "Glazen Wand" en de "Dief"

De Transparantieval: In een normale blockchain, als je wilt bewijzen dat je aan de voorwaarden voldoet (bijv. "Ik ben ouder dan 18"), moet je meestal je echte gegevens op de wand plaatsen. Zodra ze daar staan, zijn ze permanent en zichtbaar voor iedereen.
Het Venster van de Dief: Zelfs als je een "goocheltruc" (een ZKP) gebruikt om te bewijzen dat je ouder bent dan 18 zonder je geboortedatum te tonen, is er een vertraging. Je genereert het bewijs op je computer, maar het moet door een publieke wachtkamer (de "mempool" of het geheugenveld) reizen voordat het wordt vastgelegd.
De Aanval: Een dief die in die wachtkamer staat, kan jouw geldige bewijs zien, het grijpen en voor de deur van de club rennen om zich voor te doen als degene die het bewijs heeft gegenereerd. Dit wordt "front-running" genoemd.

2. De Oplossing: De "Polsband" die Alleen Jou Past

De auteurs hebben een systeem ontwikkeld genaamd SDAS (Selective Disclosure Authorization Scheme). Zie dit als een slim polsbandjes-systeem voor de digitale club.

De Goocheltruc (Het Bewijs): In plaats van je geboorteakte te laten zien, gebruik je een speciaal computerprogramma (een "circuit") om een digitaal bonnetje te genereren. Dit bonnetje bewijst: "Ja, deze persoon is ouder dan 18," maar het bevat nul informatie over wie die persoon is of wanneer diegene is geboren.
De Beveiligingslijm (Sender Binding): Dit is de belangrijkste innovatie van het paper. Het systeem neemt dat digitale bonnetje en "lijmt" het aan jouw specifieke digitale wallet-adres (jouw unieke ID).
- De Analogie: Stel je voor dat het bonnetje een ticket is. In het oude systeem kon iedereen een verloren ticket oppakken en gebruiken. In dit nieuwe systeem wordt het ticket gedrukt met een hologram waarop staat: "Dit ticket werkt alleen als het wordt vastgehouden door Alice."
- Als een dief probeert jouw ticket te pakken en het met zijn eigen ID te gebruiken, komt het hologram niet overeen en wijst de clubbeveiliger (het smart contract) het direct af.

3. Hoe het Werkt in het Echte Leven (De "Verlenen, Verifiëren, Intrekken"-cyclus)

Het paper heeft dit getest op een testversie van Ethereum (Sepolia) en creëerde een driestappenproces:

Verlenen (De Goocheltruc): Je gaat naar je browser, en een klein programma (dat in minder dan 200 milliseconden draait — sneller dan een knipoog) maakt jouw bewijs aan. Het controleert je geboortejaar tegen de leeftijdsgrens, voegt een geheim "zout" toe (zoals een willekeurige specerij om raden te voorkomen) en koppelt het bewijs aan je wallet. Je stuurt dit naar de club.
Verifiëren (De Controle van de Beveiliger): Het smart contract van de club controleert twee dingen:
- Is de wiskunde op het bewijs correct? (Heb je echt bewezen dat je ouder bent dan 18?)
- Cruciaal: Komt het bewijs overeen met de persoon die het vasthoudt? (Is het wallet-adres op het bewijs hetzelfde als degene die de transactie verzendt?)
- Als beide overeenkomen, mag je naar binnen. Als een dief jouw bewijs probeert te gebruiken, mislukt de controle omdat de "lijm" niet overeenkomt met hun wallet.
Intrekken (De Snede): Als je de club wilt verlaten of wilt stoppen met het delen van toegang aan de dApp, kun je op een knop drukken om je polsbandje te "snijden". Het systeem verwijdert je toegangsrecord. De club weet dat je weg bent, maar ze weten nog steeds niet je geboortedatum.

4. De Resultaten: Snel en Goedkoop

De auteurs hebben een prototype gebouwd en dit getest. Dit is wat zij vonden:

Snelheid: Het genereren van het bewijs op een gewone laptop duurt minder dan 200 milliseconden. Het is snel genoeg voor een normale website.
Kosten: Het controleren van het bewijs op de blockchain kost ongeveer 240.000 "gas"-units (de munteenheid die wordt gebruikt om blockchain-transacties te betalen). Hoewel het niet gratis is, is het een vaste, voorspelbare kostenpost die bewijst dat het systeem praktisch bruikbaar is.
Beveiliging: In hun tests, toen ze probeerden een dief te simuleren die een bewijs steelt en het vanuit een andere wallet gebruikt, blokkeerde het systeem de transactie telkens succesvol.

Samenvatting

Dit paper introduceert een manier om te bewijzen dat je de regels volgt (zoals oud genoeg zijn) op een publieke, transparante blockchain zonder je geheimen te onthullen. De belangrijkste innovatie is het koppelen van het bewijs aan de specifieke persoon die het verzendt, zodat zelfs als een dief het bewijs steelt terwijl het in de rij staat, hij het niet kan gebruiken omdat de "slot" op het bewijs alleen past op de sleutel van de oorspronkelijke eigenaar.

De auteurs noemen dit ZK-Compliance, en ze laten zien dat het snel en veilig werkt, waardoor een "transparantieval" wordt omgezet in een privacy-beschermend beveiligingssysteem.

Technische Samenvatting: Privacy-behoudende Compliance op Publieke Ledgers via Selectieve Disclosure Autorisatie-schema's

Probleemstelling
Publieke gedistribueerde ledgers, zoals Ethereum, handhaven integriteit door middel van radicale transparantie, wat botst met de principes van dataminimalisatie die vereist zijn voor regelgevende naleving (compliance). Hoewel Zero-Knowledge Proofs (ZKP's) theoretisch gebruikers in staat stellen om beweringen te leveren (bijv. leeftijd of woonplaats) zonder de onderliggende gegevens te onthullen, kampen bestaande constructies met kritieke adversariële beperkingen in smart contract-omgevingen. Specifiek creëert de asynchrone aard van blockchain-transacties een kwetsbaarheid: bewijzen die off-chain worden gegenereerd, worden vóór inclusie ingediend in een publieke mempool. Deze vertraging stelt aanvallers in staat om geldige bewijzen te observeren en deze te "front-runnen" of te hergebruiken in andere transactiecontexten (bijv. vanaf een ander afzenderadres of naar een ander contract). Standaard ZKP's garanderen kennis van de getuige (witness), maar binden het bewijs inherent niet aan de specifieke on-chain afzender, wat een "transparantievat" creëert waarbij overmatige onthulling of bewijshergebruik de privacy en de integriteit van de autorisatie in gevaar brengt.

Methodologie: Selective Disclosure Authorization Schemes (SDAS)
Om deze hiaten aan te pakken, formaliseren de auteurs Selective Disclosure Authorization Schemes (SDAS), een cryptografisch primitief ontworpen voor granulaire, herroepbare compliance-controles die de onderliggende getuigen (witnesses) niet onthullen. Het framework behandelt autorisatie niet als een staatloze presentatie van een bewijs, maar als een verifieerbare toestandsverandering (state transition) gebonden aan een specifiek executiecontext.

Formeel Model: Het SDAS-model definieert een executiecontext-tuple $\Gamma = (\chi_{addr}, \chi_{chain}, \chi_{contract})$ , overeenkomend met de Ethereum Virtual Machine-variabelen msg.sender, block.chainid en address(this). Een geldig autorisatiebewijs moet een relatie $R(w, \Gamma)$ attesteren, wat ervoor zorgt dat het bewijs cryptografisch gebonden is aan deze coördinatieruimte.
Security Definities: Het artikel introduceert twee kernaspecten van beveiliging:
- Ledger-Bound Attribute Unlinkability: Garandeert dat een on-chain autorisatieverslag geen informatie onthult over de specifieke onderliggende getuige (bijv. geboortejaar), waarbij onderscheid wordt gemaakt tussen transactionele koppelbaarheid (het adres) en attribuutkoppelbaarheid.
- Context-Aware Sender Binding: Garandeert dat een bewijs dat is gegenereerd voor een specifieke context niet kan worden hergebruikt in een andere context of door een andere afzender.
ZK-Compliance Prototype: De auteurs implementeren SDAS als ZK-Compliance, een Ethereum-gebaseerd systeem dat een door de gebruiker gecontroleerde "Grant, Verify, Revoke"-levenscyclus realiseert.
- Circuit Design: Het systeem gebruikt een 14-constraint Circom-circuit (AgeCheck) gebaseerd op het Groth16-schema over de BN128-curve. Het circuit neemt publieke inputs (huidig jaar, leeftijdsdrempel, aanvragend adres) en private witnesses (geboortejaar, willekeurige salt). Cruciaal is dat het de publieke adres-input ( $x_{addr}$ ) beperkt zodat het circuit het afzenderadres consumeert, waardoor het bewijs ongeldig is als het door een andere msg.sender wordt ingediend.
- Execution Flow: De client genereert het bewijs lokaal met behulp van SnarkJS, bindt het publieke adres aan de wallet, en dient een ondertekende transactie in. De on-chain verifieerder controleert eerst of het gebonden adres overeenkomt met msg.sender voordat de cryptografische verificatie plaatsvindt, waarbij direct wordt teruggekeerd (revert) bij een mismatch.

Belangrijkste Bijdragen

Formalisering van SDAS: Het artikel introduceert een nieuwe autorisatiearchitectuur die de geldigheid van attributen scheidt van staatshalve on-chain autorisatie, waarbij autorisatie wordt gemodelleerd als een verifieerbare toestandsverandering.
Context-Aware Binding: De auteurs definiëren en implementeren Context-Aware Sender Binding, een mechanisme dat zero-knowledge bewijzen verankert aan de uitvoerende msg.sender om mempool front-running en bewijshergebruik-aanvallen te neutraliseren.
Praktische Implementatie: Het werk presenteert ZK-Compliance, een browser-native Ethereum-prototype dat de "Grant, Verify, Revoke"-levenscyclus operationaliseert zonder afhankelijk te zijn van persistente identiteitsbewaarders.

Experimentele Resultaten
De auteurs hebben ZK-Compliance geëvalueerd op het Sepolia testnetwerk:

Client-Side Performance: Bewijsgeneratie (witness generatie + bewijsconstructie) werd uitgevoerd in minder dan 200 ms (specifiek 184 ms) op een consumentenwaardige MacBook Air (M2, 16GB RAM) met behulp van WebAssembly.
On-Chain Kosten: De verificatietransactie kostte 240.512 gas, inclusief het verankeren van de afzender, BN128 pairing-verificatie en de opslag van het toegangsrecord.
Security Validatie: Simulaties bevestigden dat wanneer een adversariële wallet probeerde een onderschept bewijs van een ander adres te hergebruiken, het contract de transactie weigerde vanwege de mismatch in de afzender, waardoor ongeautoriseerde toegangsoverdracht succesvol werd voorkomen.

Significantie en Claims
Het artikel claimt dat ZK-Compliance de haalbaarheid van sender-bound selectieve disclosure autorisatie op publieke ledgers aantoont. Door autorisatie te behandelen als een context-gebonden toestandsverandering in plaats van een staatloos bewijs, vermindert het systeem de afhankelijkheid van gecentraliseerde identiteitsrepositories terwijl strikte attribuutprivacy behouden blijft. De auteurs stellen dat deze aanpak een praktische weg biedt voor regelgevende naleving (bijv. leeftijdverificatie) die controleerbaar, tijdsgebonden en herroepbaar is, zonder gevoelige gebruikersgegevens bloot te stellen aan de publieke ledger of kwetsbaar te maken voor mempool-gebaseerde replay-aanvallen.

Beperkingen
De auteurs merken op dat het huidige prototype zich primair richt op sender binding; cross-chain en cross-contract binding (verankering aan block.chainid en address(this)) blijven extensies voor toekomstig werk. Daarnaast implementeert de huidige revocatie-mechanisme nog geen stateful nullifiers (bijv. met behulp van Poseidon hashes) om de reactivatie van ingetrokken toegang via verouderde bewijzen te voorkomen, een noodzakelijke functie voor productie-implementatie.

1. Het Probleem: De "Glazen Wand" en de "Dief"

2. De Oplossing: De "Polsband" die Alleen Jou Past

3. Hoe het Werkt in het Echte Leven (De "Verlenen, Verifiëren, Intrekken"-cyclus)

4. De Resultaten: Snel en Goedkoop

Samenvatting

Meer zoals dit