ZK-ACE: Identity-Centric Zero-Knowledge Authorization for Post-Quantum Blockchain Systems

Dit paper introduceert ZK-ACE, een identiteitsgerichte authorisatielaag voor post-kwantum blockchains die de noodzaak van kilobyte-grote handtekeningartefacten elimineert door deze te vervangen door compacte, identiteitsgebonden zero-knowledge bewijzen, wat leidt tot een orde van grootte reductie in consensus-data en verbeterde schaalbaarheid.

De kern

Stel je voor dat je een zeer waardevol bezit (zoals een huis of een grote som geld) wilt verplaatsen via een digitaal netwerk. Om dit veilig te doen, moet je een handtekening plaatsen.

In de wereld van blockchain is dit momenteel een beetje zoals het posten van een gigantisch, zwaar pakketje voor elke transactie. De nieuwe "post-quantum" handtekeningen (die bestand zijn tegen supercomputers van de toekomst) zijn echter zo zwaar dat ze het hele postnetwerk (de blockchain) vertragen en duur maken.

Dit artikel introduceert ZK-ACE, een slimme oplossing die dit probleem oplost. Hier is hoe het werkt, vertaald naar alledaagse taal:

1. Het Probleem: De "Zware Pakketjes"

Stel je voor dat je een briefje wilt sturen om te zeggen: "Ik, Jan, mag dit geld verplaatsen."

• De oude manier: Je moet een handtekening zetten. Maar de nieuwe, quantum-bewuste handtekeningen zijn zo groot dat ze 30 tot 40 keer zwaarder zijn dan een gewone handtekening. Het is alsof je in plaats van een postkaartje een baksteen moet meenemen voor elke boodschap. Dit maakt het netwerk traag en duur.
• De eerste oplossing (die niet werkt): Mensen dachten: "Laten we die zware handtekening verbergen in een doos (een 'Zero-Knowledge Proof') en alleen de doos sturen." Het probleem is dat om die doos te maken, je de zware baksteen toch eerst moet verwerken. Het probleem is dus verplaatst, niet opgelost.

2. De Oplossing: ZK-ACE (De "Identiteitsbewijs" Methode)

ZK-ACE zegt: "Waarom sturen we überhaupt die zware handtekening? Laten we in plaats daarvan bewijzen dat we de juiste persoon zijn."

Het werkt als een magische identiteitskaart in plaats van een handtekening.

• De Identiteitsbewijs (De Commitment): Iedereen heeft een unieke, onveranderlijke "identiteits-ID" die op het netwerk staat geregistreerd. Dit is als een vingerafdruk die je op de muur plakt.
• De Magische Doos (De ZK-Proof): In plaats van je handtekening te tonen, doe je je identiteitsbewijs in een magische, ondoorzichtige doos. Je zegt tegen de bewaker: "Ik kan bewijzen dat ik de eigenaar ben van die ID op de muur en dat ik toestemming geef voor deze specifieke transactie, zonder mijn identiteitsbewijs of handtekening te laten zien."
• Het Resultaat: De bewaker (het blockchain-netwerk) opent de doos en ziet een klein, lichtgewicht bewijsje (een paar honderd bytes) in plaats van de zware baksteen (de handtekening van enkele kilobytes).

3. Hoe werkt de "Magie"? (De Analogie van de Sleutel)

Stel je voor dat je een huis hebt met een zeer complexe, onbreekbare slot (de cryptografie).

• Huidige situatie: Om te bewijzen dat je het huis mag openen, moet je de hele sleutelbundel (de handtekening) tonen. Die bundel is enorm groot.
• ZK-ACE situatie: Je hebt een Deterministische Identiteit. Dit betekent dat je identiteit altijd op exact dezelfde manier wordt gegenereerd uit een geheime "moedersleutel" (die je nooit deelt).
  • Je zegt: "Ik heb de moedersleutel. Als ik die in mijn machine stop met de juiste instellingen, komt er exact dezelfde sleutel uit die past bij de ID op de muur."
  • Je bewijst dit in de magische doos zonder de moedersleutel of de nieuwe sleutel te tonen.
  • Het netwerk ziet alleen: "Ja, deze persoon heeft de juiste moedersleutel en mag deze transactie doen."

4. Waarom is dit zo slim?

• Lichtgewicht: In plaats van een baksteen (de handtekening) te sturen, stuur je een postkaartje (het bewijs). Dit maakt het netwerk 10 tot 20 keer sneller en goedkoper.
• Veiligheid: Het is net zo veilig als de zware handtekening, maar zonder het gewicht. Het bewijst dat je de eigenaar bent, zonder je geheimen prijs te geven.
• Toekomstbestendig: Het maakt het systeem klaar voor de toekomst (quantumcomputers) zonder dat het nu al traag wordt.

5. Extra Slimme Trucs

Het systeem heeft ook ingebouwde beveiliging tegen trucs:

• Geen dubbele uitgaven: Het zorgt ervoor dat je niet twee keer dezelfde "magische doos" kunt gebruiken voor twee verschillende transacties (alsof je een ticket twee keer gebruikt).
• Geen verplaatsing: Je kunt je bewijs niet stelen en op een ander netwerk gebruiken (zoals een paspoort dat alleen in één land werkt).

Conclusie

ZK-ACE is een nieuwe manier om te zeggen: "Ik mag dit doen" op een blockchain.
In plaats van een zware, kwetsbare handtekening te tonen, bewijzen we met een slimme, lichte magische doos dat we de juiste persoon zijn. Hierdoor kunnen blockchains in de toekomst veilig zijn tegen quantumcomputers, maar toch snel, goedkoop en schaalbaar blijven. Het is alsof we van het vervoeren van bakstenen zijn overgestapt op het vervoeren van brieven, terwijl de beveiliging even sterk blijft.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het paper "ZK-ACE: Identity-Centric Zero-Knowledge Authorization for Post-Quantum Blockchain Systems" in het Nederlands.

1. Het Probleem: Schaalbaarheid en Post-Quantum Cryptografie

De standaardisatie van post-quantum cryptografie (PQC) door NIST, met name op basis van roosters (lattice-based) zoals ML-DSA (Dilithium), is noodzakelijk voor langetermijnveiligheid tegen quantum-aanvallen. Echter, de directe toepassing van deze signaturen op blockchains creëert een fundamenteel schaalbaarheidsprobleem:

• Grote Signatuurgrootte: PQC-sigaturen zijn aanzienlijk groter dan klassieke sigaturen. Een ML-DSA-signatuur (NIST niveau 2) is ongeveer 2,4 KB, vergeleken met 64 bytes voor Ed25519 of 71 bytes voor ECDSA. Dit is een toename van 30-40 keer per transactie.
• On-chain Overhead: In blockchain-systemen moeten alle consensusdeelnemers deze sigaturen verifiëren en opslaan. De grote datagrootte leidt tot een explosieve groei van de ledger, hogere transactiekosten en lagere doorvoer, vooral in rollup-architecturen waar datakosten expliciet worden geprijsd.
• Beperkingen van ZK-Verificatie: Een veelvoorkomende oplossing is het verplaatsen van de verificatie naar een Zero-Knowledge (ZK) circuit. Echter, het verifiëren van rooster-sigaturen binnen een ZK-circuit vereist complexe, hoge-dimensionale algebraïsche operaties. Dit resulteert in circuits met miljoenen constraints, wat de bewijskosten (prover cost) enorm verhoogt en de schaalbaarheidproblematiek slechts verplaatst van on-chain data naar off-chain rekenkracht.

2. Methodologie: Van Signaturen naar Identiteit

Het paper introduceert ZK-ACE (Zero-Knowledge Authorization for Cryptographic Entities), een fundamenteel nieuw autorisatiemodel dat de focus verschuift van het verifiëren van een specifiek cryptografisch signatuur-object naar het bewijzen van een autorisatie-identiteit.

Kernprincipes:

• Deterministische Identiteitsafleiding (DIDP): Het systeem gaat uit van een "black box" primitief (DIDP) dat een stabiele, deterministische mapping biedt van een geheime Root Entropy Value (REV) naar context-specifieke cryptografische sleutels. De REV wordt nooit opgeslagen of onthuld.
• Identiteitscommitment: In plaats van een publieke sleutel of signatuur, slaat de blockchain een compacte Identity Commitment (IDcom) op, afgeleid van de REV.
• Zero-Knowledge Bewijs: De bewijzer (prover) genereert een ZK-bewijs dat aantoont dat:
  1. Zij de controle hebben over een REV die overeenkomt met de on-chain IDcom.
  2. De transactie is geautoriseerd door de identiteit die aan deze REV is gekoppeld.
  3. De transactie voldoet aan replay-preventie regels (bijv. unieke nonce of nullifier).
• Geen Sigatuurverificatie in het Circuit: Cruciaal is dat het ZK-circuit geen post-quantum signatuurverificatie uitvoert. Het bewijst alleen dat de autorisatie-voorwaarde semantisch waar is, gebaseerd op de deterministische afleiding van de sleutels.

Het Circuit:
Het circuit bevat slechts een handvol constraints (ongeveer 1.100–1.400 R1CS constraints) die voornamelijk bestaan uit ZK-vriendelijke hash-berekeningen (bijv. Poseidon). Dit is drie ordes van grootte kleiner dan een circuit dat een ML-DSA-verificatie zou uitvoeren.

3. Belangrijkste Bijdragen

Het paper levert de volgende technische bijdragen:

1. ZK-ACE Architectuur: Een autorisatielaag die transactionele sigatuur-objecten volledig vervangt door identiteitsgebonden ZK-bewijzen.
2. Data Model: Een model dat kilobyte-grote sigaturen vervangt door constante grootte verificatiematerialen (een compacte commitment en een ZK-bewijs).
3. Formele Specificatie: Een complete circuit-constraint specificatie met publieke inputs, private witnesses en vijf kernconstraints (consistentie, afleiding, binding, replay-preventie, domeinseparatie).
4. Veiligheidsbewijzen: Formele, spelgebaseerde (game-based) definities en reductie-bewijzen voor:
   • Authorization Soundness: Een aanvaller kan geen geldig bewijs genereren zonder de onderliggende REV.
   • Replay Resistance: Voorkoming van het opnieuw gebruiken van autorisaties (via Nonce-registers of Nullifier-sets).
   • Substitution Resistance: Voorkoming van het koppelen van een geldig bewijs aan een andere transactie.
   • Cross-Domain Separation: Voorkoming van het hergebruik van bewijzen over verschillende blockchains of domeinen.
5. Schaalbaarheid: Ondersteuning voor batch-aggregatie en recursieve bewijscompositie, compatibel met Account Abstraction (bijv. ERC-4337) en Rollup-architecturen.

4. Resultaten en Data Accounting

De auteurs voeren een structurele data-accounting uit (zonder experimentele benchmarks, puur op protocolniveau):

• Datareductie: Directe vergelijking toont een reductie van 10x tot 20x in de on-chain autorisatie-data per transactie.
  • PQC Model: ~3.700 – 7.200 bytes (Signatuur + Publieke Sleutel).
  • ZK-ACE Model: ~320 – 450 bytes (Commitment + ZK-bewijs + Publieke Inputs).
• Circuit Efficiency: Het circuit vereist slechts ~1.400 constraints, wat bewijsgeneratie haalbaar maakt op consumentenhardware, in tegenstelling tot de miljoenen constraints die nodig zijn voor lattice-verificatie.
• Veiligheid: De veiligheid is gebaseerd op standaard aannames (kennis-soundness van het bewijsstelsel, botsingsresistentie van hashes, en de moeilijkheid om de REV te herleiden uit publieke data).

5. Betekenis en Conclusie

ZK-ACE biedt een paradigmaverschuiving voor post-quantum blockchains:

• Oplossing voor de "Bottleneck": Het lost het schaalbaarheidsprobleem van PQC op door de noodzaak om grote signatuur-objecten in de consensuslaag te verwerken, volledig te elimineren.
• Semantische Verschuiving: Het behandelt autorisatie als een semantische eigenschap ("wie heeft dit goedgekeurd?") in plaats van een implementatie-afhankelijke verificatie ("is dit signatuur geldig?").
• Toekomstbestendigheid: Het ontwerp is proof-system-agnostisch en identiteitscommitments zijn onafhankelijk van het specifieke ZK-systeem, wat upgrades en migraties vergemakkelijkt zonder identiteitsrotatie.

Kortom, ZK-ACE maakt post-quantum beveiligde blockchains schaalbaar door de zware last van signatuurverificatie te vervangen door efficiënte, identiteitsgebonden zero-knowledge bewijzen, zonder in te leveren op cryptografische veiligheid.