Structural Dependency Analysis for Masked NTT Hardware: Scalable Pre-Silicon Verification of Post-Quantum Cryptographic Accelerators
Dit artikel introduceert een schaalbaar vier-traps verificatiekader dat structurele afhankelijkheidsanalyse combineert met geavanceerde SADC-methoden om effectief first-order masking-beveiliging te bewijzen voor grote, productieve post-kwantum cryptografische versnellers zoals ML-KEM, waardoor de handmatige review van miljoenen cellen wordt gereduceerd tot een beperkt aantal geverifieerde kandidaten met wiskundige certificaten.
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 voor dat je een supergeheime kluis bouwt voor de toekomst. Deze kluis moet bestand zijn tegen hackers die in de toekomst kwantumcomputers hebben, machines die nu nog ondenkbaar krachtig zijn. Om deze kluis veilig te maken, gebruiken ingenieurs een truc: ze delen het geheim op in twee of meer losse stukjes (zoals een recept dat je in twee enveloppen stopt). Als een hacker maar één enveloppje kan stelen, ziet hij niets. Dit heet "maskering".
Het probleem is: hoe weet je zeker dat je deze enveloppen nooit per ongeluk weer bij elkaar hebt gelegd op een plek waar een hacker ze kan zien?
Dit paper introduceert een nieuwe tool, genaamd QANARY (vernoemd naar de vogels die vroeger in kolenmijnen werden gebruikt om gevaar te signaleren). QANARY is een slimme, snelle controleurs die kijkt naar de blauwdrukken van deze digitale kluis voordat hij gebouwd is.
Hier is hoe het werkt, vertaald naar alledaagse taal:
1. Het Grote Probleem: De "Kluizenvol"
De digitale kluis die ze onderzochten (de "Adams Bridge") is enorm. Het bevat meer dan 1,1 miljoen bouwstenen (transistors).
- De oude manier: Bestaande controleurs waren als een detective die elke steen één voor één met een vergrootglas bekijkt. Op een ontwerp van deze grootte zou die detective duizenden jaren nodig hebben. Ze hielden het alleen bij kleine stukjes (zoals een enkele deur of raam).
- Het risico: Als je alleen kleine stukjes checkt, mis je misschien dat twee losse stukjes van het geheim, die verderop in de machine samenkomen, weer een nieuw geheim vormen.
2. De Oplossing: QANARY's Vier-Stappen Plan
QANARY werkt als een slimme filter die in vier stappen werkt, van "snel en grof" naar "langzaam en precies".
Stap 1: De Snelle Scan (Structurale Analyse)
Stel je voor dat QANARY een drone is die over de fabrieksvloer vliegt. Hij kijkt niet naar de inhoud van de enveloppen, maar alleen naar de rode en blauwe kabels.
- Hij zoekt naar plekken waar een rode kabel (stukje 1) en een blauwe kabel (stukje 2) samenkomen in één draad.
- Als ze samenkomen, zegt de drone: "Acht! Hier is een gevaar!"
- Snelheid: Dit gaat razendsnel. Voor het hele ontwerp van 1,1 miljoen stenen duurde het slechts 8,7 seconden.
- Nadeel: De drone is soms te voorzichtig. Hij ziet twee kabels samenkomen en denkt "Gevaar!", terwijl ze in werkelijkheid misschien door een slimme wiskundige truc toch veilig blijven. Dit zijn "valse alarmen".
Stap 2: De Tijdreis (Multi-Cycle Analyse)
Soms komen de kabels niet in hetzelfde moment samen, maar in verschillende momenten (bijvoorbeeld: rode kabel in seconde 1, blauwe kabel in seconde 2).
- QANARY kijkt nu ook door de tijd heen. Hij ziet dat de rode kabel in een opslagkastje (register) gaat, en de blauwe kabel komt later langs en pakt die op.
- Hierdoor vond QANARY 12 extra gevaarlijke plekken die de snelle scan had gemist.
Stap 3: De Slimme Filter (SADC)
Nu hebben we duizenden "valse alarmen" van de snelle scan. We kunnen niet alles handmatig controleren. Dus QANARY gebruikt een slimme wiskundige filter.
- Hij vraagt zich af: "Als ik dit stukje geheim verandert, verandert de uitkomst van deze draad dan?"
- Als het antwoord "Nee" is (de draad is onafhankelijk van het geheim), dan is het veilig, ook al zagen de kabels er raar uit.
- Het resultaat: Op een belangrijk onderdeel (de "Barrett-reductie") kon QANARY 198 van de 363 alarmen als "veilig" verklaren. Hij bewees wiskundig dat ze veilig waren.
Stap 4: De Dubbele Check (Twee Rekenaars)
Om zeker te zijn dat hun eigen software geen fouten maakt, gebruiken ze twee verschillende wiskundige rekenaars (Z3 en CVC5).
- Het is alsof je twee verschillende rekenmeesters laat controleren of de som klopt.
- Ze kwamen 100% overeen op alle 363 gevallen. Geen enkele meningsverschil.
3. Waarom is dit belangrijk?
Vroeger moesten ingenieurs handmatig duizenden lijnen code controleren om te zien of hun kluis veilig was. Dat was als het zoeken naar een naald in een hooiberg.
Met QANARY:
- Schaalbaarheid: Het werkt op ontwerpen die 100 keer groter zijn dan wat voorheen mogelijk was.
- Efficiëntie: In plaats van 363 mogelijke problemen te bekijken, kunnen ingenieurs zich nu focussen op slechts 165 echte verdachten. De rest is veilig bewezen.
- Pre-Silicon: Dit gebeurt voordat de chip fysiek wordt gemaakt. Als er een fout is, kunnen ze de blauwdruk aanpassen zonder miljoenen euro's te verliezen op gebrekkige hardware.
Samenvattend
QANARY is als een super-snelle, slimme inspecteur die eerst snel door een enorme fabriek loopt om alle mogelijke lekken te vinden. Vervolgens gebruikt hij slimme wiskunde om te bewijzen welke van die "lekken" eigenlijk veilig zijn. Wat overblijft, is een kleine, beheersbare lijst van echte problemen die ingenieurs kunnen oplossen.
Dit zorgt ervoor dat de cryptografische kluis voor de toekomst (Post-Quantum Cryptografie) niet alleen sterk is in theorie, maar ook veilig is in de praktijk, voordat hij zelfs maar gebouwd is.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.