Binding PQC to Copyleft via QGPL and Evaluating Quantum-Safe Distribution Integrity
Dit artikel introduceert de Quantum General Public License (QGPL) v3.0, die post-kwantum cryptografische integriteit voor open wetenschap-distributies verplicht stelt, en demonstreert de praktische haalbaarheid ervan door middel van een hybride ondertekeningsschema dat de langetermijnauthenticiteit van artefacten op standaardhardware zonder gecentraliseerde infrastructuur waarborgt.
Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (https://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 kostbare, handgeschreven brief stuurt naar een vriend in de toekomst. Je verzegelt hem in een tijdcapsule en begraaft hem in de achtertuin, in het vertrouwen dat het papier over vijftig jaar nog hetzelfde is en de inkt nog steeds die van jou is. Al eeuwenlang gebruiken we "digitale zegels" (cryptografie) om dit te doen voor computerbestanden. We voorzien ons digitale werk van een unieke wiskundige stempel die bewijst: "Ik heb dit geschreven, en niemand heeft er ook maar één bit aan veranderd."
Maar er komt een angstaanjagende wending aan. Wetenschappers voorspellen dat er in de niet-zo-ver weg toekomst een nieuw soort supercomputer, een "quantumcomputer", gebouwd zal worden. Deze machines zullen zo krachtig zijn dat ze de oude digitale zegels die we vandaag gebruiken, kunnen breken, zoals het kraken van een kluis met een meestersleutel. Dit betekent dat een sluwe hacker je tijdcapsule kan stelen, de brief erin kan vervangen door een vervalsing, en vervolgens een quantumcomputer kan gebruiken om een nieuwe zegel te vervalsen die er volkomen echt uitziet. Het enge is dat dit niet alleen over geheimen gaat; het gaat over waarheid. Als we de zegels op onze wetenschappelijke data, software en geschiedenis niet meer kunnen vertrouwen, verliezen we misschien het vermogen om te weten wat echt is en wat een vervalsing is, zelfs decennia later nog.
Dit is het probleem waar een team onderzoekers van de Kaunas University of Technology in Litouwen een oplossing voor zoekt. Ze proberen niet alleen een sterker slot te bouwen; ze proberen de regels van het spel volledig te veranderen. Ze vragen zich af: Wat als de wet zelf vereist dat we een slot gebruiken dat quantumcomputers niet kunnen breken?
Het Quantum-Proof Regelboek
De onderzoekers, Šarūnas Grigaliūnas, Rasa Brūzgienė en Daina Gudonienė, hebben een nieuw pakket regels gemaakt genaamd de Quantum General Public License (QGPL). Denk hierbij aan een speciaal contract voor het delen van digitale schatten. Normaal gesproken, wanneer je een stuk software of een wetenschappelijke dataset deelt, voeg je een licentie toe die zegt: "Je mag dit gebruiken, maar als je het verandert en opnieuw deelt, moet je jouw wijzigingen ook delen." Dit wordt "copyleft" genoemd.
De QGPL voegt een superkrachtige nieuwe voorwaarde toe aan dit contract: Als je dit bestand wilt delen, moet je bewijzen dat het niet is aangepast door een toekomstige quantumcomputer.
Om dit werkend te krijgen, hebben ze een toolkit gebouwd die fungeert als een "digitale tijdcapsule" met twee lagen bescherming:
- Het Zware Zegel (PQ): Ze gebruiken een nieuw type digitale handtekening genaamd ML-DSA (een lattice-gebaseerde handtekening) die ontworpen is om onbreekbaar te zijn, zelfs voor quantumcomputers.
- Het Reservezegel (Klassiek): Ze houden ook het oude, vertrouwde zegel (zoals Ed25519) aan voor het geval mensen nog niet klaar zijn voor de nieuwe versie.
Hier zit de slimme kant aan: de nieuwe regel stelt dat je het zware, quantum-proof zegel moet hebben. Het oude zegel is optioneel. Als het oude zegel in de toekomst breekt, houdt het zware zegel nog steeds stand. Maar als je alleen het oude zegel hebt, zegt de licentie: "Sorry, je kunt dit niet delen." Dit dwingt iedereen om hun bescherming te upgraden terwijl ze het bestand doorgeven.
Hoe het werkt in de echte wereld
Het team heeft niet alleen regels geschreven; ze hebben een werkend prototype gebouwd om te zien of het praktisch is. Ze hebben hun systeem getest op een standaard computerchip (een Apple ARM64-chip) om te zien hoe snel en zwaar het zou zijn.
De Snelheidstest:
Ze ontdekten dat het aanbrengen van het nieuwe quantum-proof zegel ongelooflijk snel gaat. Het duurt ongeveer 0,72 milliseconde om een bestand te ondertekenen en 0,37 milliseconde om het te controleren. Om dit in perspectief te plaatsen: dat is sneller dan een knipoog. Zelfs toen ze het oude zegel als back-up toevoegden, vertraagde het hele proces slechts met een fractie van een milliseconde (minder dan 0,3 ms).
De Grootte-test:
Een zorg was dat deze nieuwe zegels enorm zouden zijn, waardoor bestanden te groot zouden worden om te delen. De onderzoekers ontdekten dat voor een enkel bestand de extra "metadata" (de informatie over het zegel) ongeveer 10,8 KiB bedraagt. Als je een minuscuul bestand deelt (zoals een tekst van 181 bytes), lijkt dit groot. Maar als je een groot bestand deelt (zoals een afbeelding van 1 MiB), is de extra ruimte minder dan 1%. Nog beter: als je 1.000 bestanden samenvoegt in één pakket, daalt de "kosten" van het zegel naar slechts 148 bytes per bestand. Het is alsoals het betalen van een vast verzendtarief voor een doos met 1.000 artikelen in plaats van voor elk item afzonderlijk te betalen.
De "Wat als"-test:
Ze testten ook wat er gebeurt als er iets misgaat.
- Als het bestand verandert: Het systeem wijst het direct af.
- Als het oude zegel corrupt is: Het systeem kan het bestand nog steeds verifiëren met alleen het nieuwe quantum-proof zegel.
- Als de sleutel wordt gestolen: Ze hebben een "root key"-systeem gebouwd. Stel je een meester sleutel voor die in een kluis wordt bewaard (offline) en de sleutels ondertekent die voor het dagelijkse werk worden gebruikt. Als een dagelijkse sleutel wordt gestolen, kan de kluis een nieuwe uitgeven en de oude intrekken zonder dat de centrale kluis hoeft te worden aangepast. Dit zorgt ervoor dat het systeem blijft werken, zelfs als het internet uitvalt of als een centrale autoriteit verdwijnt.
Het Oordeel
De onderzoekers concludeerden dat deze "licentie-gepropageerde integriteit" praktisch is. Ze hebben bewezen dat je mensen wettelijk kunt verplichten om quantum-proof beveiliging te gebruiken zonder computers te vertragen of het internet te verstoppen met enorme bestanden.
Ze zijn echter voorzichtig in wat ze niet hebben bewezen. Ze hebben niet bewezen dat deze licentie in elke rechtbank in elk land stand zal houden (dat is een juridische vraag voor advocaten, geen wiskundige vraag). Ze hebben ook niet bewezen dat quantumcomputers deze specifieke nieuwe zegels niet uiteindelijk zullen breken, hoewel de huidige wiskunde suggereert dat ze dat voor zeer lange tijd niet zullen doen.
Kortom, het artikel laat zien dat we onze digitale geschiedenis in een toekomstbestendige deken kunnen wikkelen. Door de eis om deze deken te gebruiken onderdeel te maken van de deelregels zelf, kunnen we ervoor zorgen dat zelfs wanneer de quantumcomputers arriveren, de waarheid van onze wetenschappelijke ontdekkingen en software veilig, verifieerbaar en van ons blijft. Het is een manier om tegen de toekomst te zeggen: "We hebben dit gebouwd om te blijven bestaan, en we hebben ervoor gezorgd dat je het kunt controleren."
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.