🔢 mathematics

Correlation Bounds and Markov Analysis for Ring-Oscillator TRNGs: A Joint Validation Framework

Dit artikel introduceert een nieuw raamwerk voor de gezamenlijke validatie van Ring-Oscillator TRNG's dat de theoretische correlatiemaat $C_k$ en het empirische entropie-assessment van Maurer koppelt aan Markov-ketentransities, waardoor een vereenvoudigde, gecombineerde kwaliteitsmeting voor cryptografische toepassingen mogelijk wordt gemaakt.

Oorspronkelijke auteurs: Miguel Alcocer, Ana Isabel Gómez, Domingo Gomez-Perez

Gepubliceerd 2026-03-17

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Miguel Alcocer, Ana Isabel Gómez, Domingo Gomez-Perez

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 slot hebt dat zo veilig is dat niemand het ooit kan openen, tenzij je de juiste sleutel hebt. In de digitale wereld zijn die sleutels willekeurige getallen. Als die getallen niet echt willekeurig zijn (als ze een patroon hebben), kunnen hackers de sleutel raden en je systeem kraken.

Dit artikel gaat over het bouwen van een machine die echte willekeurige getallen maakt, specifiek met behulp van kleine elektronische schakelingen die heen en weer trillen (zogenaamde "ring-oscillators"). De auteurs, Miguel, Ana en Domingo, hebben een nieuwe manier bedacht om te controleren of deze machines echt goed werken.

Hier is de uitleg in gewone taal, met een paar leuke vergelijkingen:

1. Het Probleem: De "Valse" Willekeur

Stel je voor dat je een munt wilt opgooien om te beslissen wie er mag beginnen. Als de munt perfect rond is en je gooit hem normaal, is het resultaat echt willekeurig (50% kop, 50% munt).

Maar wat als je munt een beetje scheef is? Of wat als je hem op een manier gooit die altijd hetzelfde patroon geeft? Dan denk je dat het willekeurig is, maar in werkelijkheid kun je het resultaat voorspellen. In de elektronica gebeuren er soortgelijke dingen: de trillingen van de schakelingen zijn niet altijd perfect. Soms zijn ze te voorspelbaar.

Tot nu toe hadden wetenschappers twee verschillende manieren om te kijken of een munt "eerlijk" was:

Manier A (De Maurer-test): Kijkt of de reeks getallen makkelijk te comprimeren is (zoals een ZIP-bestand). Als je het kunt comprimeren, is er een patroon.
Manier B (De Correlatiemeting): Kijkt of een getal invloed heeft op het volgende getal. Als je een '1' ziet, is de kans dan groter dat de volgende ook een '1' is?

Het probleem was: niemand wist of deze twee testen met elkaar te maken hadden. Het was alsof je twee verschillende dokters had die twee verschillende tests deden, maar niemand wist of ze hetzelfde ziektebeeld zagen.

2. De Oplossing: Een Nieuwe "Dubbelcheck"

De auteurs in dit artikel hebben een brug geslagen tussen deze twee testen. Ze hebben ontdekt dat als de ene test (de correlatie) goed is, de andere test (de Maurer-test) bijna altijd ook goed is.

Ze hebben een gezamenlijk controleframe bedacht. In plaats van twee aparte tests te doen, kun je nu kijken naar de combinatie.

De Analogie: Stel je voor dat je een auto wilt testen. Je kunt kijken naar de remmen (test A) en naar de banden (test B). De auteurs zeggen: "Als de remmen perfect werken, zijn de banden ook bijna altijd in orde." Je hoeft ze niet meer apart te testen; als je ziet dat de remmen goed zijn, weet je dat de auto veilig is.

3. Hoe werkt hun machine? (De "Teller" in plaats van de "Schakelaar")

De meeste oude machines keken direct naar het signaal van de trillende schakeling (als een schakelaar die aan/uit gaat). Dit gaf vaak een slecht resultaat, alsof je een munt gooit die vastzit aan de rand.

De auteurs gebruiken een slimme truc: in plaats van te kijken wanneer de schakeling overgaat, tellen ze hoe vaak hij trilt in een bepaalde tijd.

De Vergelijking: Stel je voor dat je twee renners hebt die rond een baan rennen.
- Oude methode: Je kijkt alleen of renner A net voorbij renner B is op het moment dat je kijkt. Dat is heel toevallig en onbetrouwbaar.
- Nieuwe methode (Tellen): Je telt hoeveel rondjes renner A heeft gedaan in 10 seconden. Omdat renner A een beetje trilt door de hitte (thermische ruis), is het aantal rondjes elke keer net iets anders. Die kleine variatie is de bron van de echte willekeur.

Ze hebben ontdekt dat deze "teller-methode" veel beter werkt dan de oude "kijk-methode". De willekeur is veel zuiverder.

4. Wat hebben ze bewezen?

Ze hebben hun theorie getest met computersimulaties (met een open-source programma genaamd OpenTRNG).

Ze zagen dat hun nieuwe methode (het tellen van trillingen) resulteerde in getallen die veel minder voorspelbaar waren dan de oude methoden.
Ze zagen een heel sterke link: hoe beter de correlatiemeting (hoe minder voorspelbaar), hoe beter de Maurer-test (hoe meer willekeur).
Ze hebben zelfs bewezen dat hun machines beter presteren dan wat de theorie eerder voorspelde. Het is alsof je een auto bouwt die sneller rijdt dan de snelheidslimiet die in de wet staat.

5. Waarom is dit belangrijk voor jou?

Voor de gemiddelde gebruiker betekent dit dat de beveiliging van je bankrekening, je wachtwoorden en je privéberichten veiliger wordt.

Voorontwikkelaars: Ze hoeven niet meer urenlang verschillende tests te doen. Ze kunnen nu snel zien of hun ontwerp goed is door naar deze twee cijfers te kijken.
Voor ons: Het betekent dat de "sleutels" die onze digitale wereld beschermen, echt onkraakbaar zijn, omdat ze gebaseerd zijn op de onvoorspelbare natuur van hitte en trillingen, en niet op een voorspelbaar computerprogramma.

Kortom: De auteurs hebben een nieuwe, snellere en betrouwbaardere manier gevonden om te controleren of onze digitale sloten echt veilig zijn, door te laten zien dat twee verschillende meetmethoden eigenlijk naar hetzelfde kijken. En ze hebben bewezen dat hun nieuwe manier van bouwen (het tellen van trillingen) de beste is.

Probleemstelling

Ware Willekeurige Getallengeneratoren (TRNG's) op basis van ringoscillatoren (RO-TRNG's) zijn essentieel voor cryptografische toepassingen, maar vereisen strenge statistische validatie om hun kwaliteit te garanderen. Hoewel er verschillende meetmethoden bestaan, ontbreekt er tot nu toe een onderlinge correlatie tussen deze metrics:

Mauduit-Sárközy $k$ -de orde correlatiemaatstaf ( $C_k$ ): Biedt theoretische bovengrenzen voor pseudorandomness.
Maurer's Universele Statistische Test: Biedt een empirische schatting van entropie via een Z-score.
Markov-ketens: Worden gebruikt om overgangskansen en entropie te modelleren.

Bestaand werk heeft deze metrics niet met elkaar verbonden. Er is geen eerdere studie die de Maurer Z-score empirisch relateert aan de 2e-orde correlatiemaatstaf ( $C_2$ ) of onderzoekt of RO-TRNG's voldoen aan de ideale theoretische verdeling voor deze maten. Dit gebrek aan een gezamenlijk validatiekader bemoeilijkt het efficiënt testen van nieuwe ontwerpen.

Methodologie

De auteurs hebben een gezamenlijk validatiekader ontwikkeld dat theoretische afleidingen combineert met computationele simulaties:

Theoretische Analyse:
- Er werd een wiskundige relatie afgeleid tussen de Mauduit-Sárközy correlatiemaatstaf ( $C_k$ ) en de overgangskansen van Markov-ketens met hoge orde.
- Er werd een theoretische bovengrens afgeleid die de Maurer-test ( $f_{TU}$ ) relateert aan de correlatiefunctie van orde $k$ .
- De auteurs gebruiken de verbeterde Schmidt-bodem (in plaats van de oudere Alon-bodem) als referentiepunt voor de verwachte correlatie.
Computationele Implementatie (OpenTRNG):
- Het onderzoek maakt gebruik van het open-source framework OpenTRNG.
- Er werden verschillende ontwerpen getest, waaronder de Elementary Ring Oscillator (ERO) en de Coherent Sampling Ring Oscillator (COSO).
- Dataverzameling: Er werden 58 verschillende parameterconfiguraties getest door variaties in oscillatorfrequenties ( $f_1, f_2$ ), referentiefrequentie ( $f_{ref}$ ) en XOR-accumulatie-diepte ( $n$ ).
- Datageneratie: Voor elke configuratie werden $10^5$ bits gegenereerd.
- Extraction Methode: In plaats van directe bit-sampling (wat vaak slechte randomiteit geeft), werd een differential counter-based approach gebruikt. Hierbij worden de periodes van de oscillatoren geteld en worden de minst significante bits (LSB) van twee tellers via XOR gecombineerd. Dit cancelt gemeenschappelijke jitter en isoleert thermische ruis.
Validatie:
- Voor elke gegenereerde reeks werden zowel de 2e-orde correlatie ( $C_2$ ) als de Maurer Z-score berekend.
- De resultaten werden vergeleken met een "ideale ruisvrije" simulatie (die faalt in randomiteitstests) en met hardware-baselines.

Belangrijkste Bijdragen

Eerste Empirische Link: De auteurs presenteren de eerste studie die een sterke positieve correlatie aantoont tussen de Maurer Z-score en de off-peak 2e-orde correlatie ( $C_2$ ).
Wiskundige Relaties: Er zijn expliciete formules afgeleid die $C_k$ verbinden met de overgangskansen van $k$ -de orde Markov-ketens en de Maurer-test. Dit creëert een brug tussen combinatorische en probabilistische evaluatie.
Unificatie van Metrics: Het paper stelt een unificatiekader voor waarbij lage Maurer Z-scores en lage $C_2$ -waarden samen een kwaliteitscertificering vormen voor TRNG-uitvoer.

Resultaten

De computationele resultaten tonen de volgende bevindingen:

Sterke Correlatie: Er is een zeer sterke positieve correlatie gevonden tussen de Maurer Z-score en $C_2$ (Pearson $r = 0.95$ ).
Prestatieverbetering door Tellen: De gebruikte teller-methode (counter-based) presteerde aanzienlijk beter dan directe bit-sampling.
- Directe sampling: $C_2 = 0.34$ , $Z = -2.1$ (faalde de test).
- Teller-methode: $C_2 = 0.009$ , $|Z| < 1$ (haalde de test). Dit komt overeen met een verbetering van ongeveer 40x in $C_2$ .
Schmidt's Bound: Praktische implementaties met XOR-accumulatie ( $n \geq 4$ ) halen waarden voor $C_2$ die 2 tot 3 keer lager liggen dan de verbeterde theoretische Schmidt-bodem. Voor $N=10^5$ en $k=2$ ligt de Schmidt-bodem rond $0.021$, terwijl de beste configuraties $C_2 < 0.01$ halen.
Run Statistics: De gemiddelde runlengte van de bits in de geoptimaliseerde hardware-baseline ( $\mu \approx 2.0$ ) komt overeen met de theoretische verwachting voor een willekeurige reeks, wat direct correleert met de verlaagde $C_2$ -waarden.

Beteeknis en Conclusie

Dit onderzoek biedt TRNG-ontwerpers een unificatiekader voor kwaliteitsbeoordeling:

Vereenvoudiging: Ontwerpers hoeven niet langer uitgebreide test suites (zoals NIST of AIS31) te draaien voor elke iteratie. In plaats daarvan kunnen ze $C_2$ (via FFT-autocorrelatie) en de Maurer Z-score berekenen.
Validatieprotocol: Configuraties die voldoen aan $C_2 < 0.01$ en $|Z| < 2$ hebben een zeer hoge kans om te slagen in uitgebreide test suites. Afwijkingen in één van deze metrics wijzen direct op ontwerpfouten.
Toekomstperspectief: Het werk legt de basis voor verdere onderzoek naar architectuurspecifieke correlatiegrenzen en de uitbreiding naar meerbronnen XOR-accumulatie en hogere-orde correlaties.

Kortom, het paper bewijst dat een combinatie van correlatiegrenzen en entropietests een robuust en efficiënt middel is om de kwaliteit van Ring-Oscillator TRNG's te valideren.