Constant-Rate Certified Deletion
Dit artikel presenteert een verenigd kader dat een brede klasse van cryptografische primitieven upgrade om constante-snelheid gecertificeerde verwijdering te ondersteunen in het plain model zonder aanvullende aannames, waarbij de eerste dergelijke constructies worden bereikt die eeuwige veiligheid behouden en publieke verifieerbaarheid mogelijk maken onder standaard hardheidsaannames.
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
In de moderne digitale wereld is het recht om vergeten te worden een juridisch concept dat meer vraagt dan alleen het verwijderen van een bestand; het vereist bewijs dat de gegevens werkelijk weg zijn. Dit is een fundamentele uitdaging omdat klassieke informatie, zoals een tekstbericht of een foto, eindeloos gekopieerd kan worden. Zelfs als een bestand is vergrendeld met een geheime code, zou een toekomstige doorbraak in de computertechnologie of een gelekt sleutelbestand de mogelijkheid bieden aan een tegenstander om het te ontgrendelen en de oorspronkelijke inhoud te herstellen. De enige manier om te garanderen dat gegevens zijn gewist, is door te vertrouwen op de wetten van de fysica, specifnicer de vreemde regels van de kwantummechanica. In de kwantumwereld gedraagt informatie zich anders: het kan niet perfect worden gekopieerd, en de handeling van het meten ervan verstoort het onvermijdelijk. Deze destructieve aard biedt een unieke kans: als een stukje data is opgeslagen in een kwantumtoestand, kan men een gebruiker dwingen om het op een specifieke manier te meten om te bewijzen dat het heeft vernietigd, waardoor de gebruiker geen enkele manier meer heeft om de oorspronkelijke informatie te herstellen.
Jarenlang hebben onderzoekers gewerkt aan een methode genaamd gecertificeerde verwijdering (certified deletion), die een gebruiker in staat stelt een certificaat te genereren dat bewijst dat hij een geheim heeft verwijderd. Een grote hindernis was echter altijd de efficiëntie geweest. Eerdere methoden vereisten een enorme hoeveelheid kwantumopslag om zelfs een minimale hoeveelheid data te beschermen. Om één bit aan informatie te versleutelen, hadden deze oudere schema's een aantal kwantumdeeltjes nodig dat lineair groeide met het beveiligingsniveau, wat het systeem onpraktisch maakte voor grote berichten. Het was alsof men een ansichtkaart wilde versturen, maar een magazijn vol zeecontainers nodig had om slechts de inkt op het papier te beschermen. Deze inefficiëntie betekende dat hoewel het concept theoretisch solide was, het te zwaar was voor praktische toepassingen in de echte wereld, zoals beveiligde messaging of cloudopslag.
Een team van onderzoekers heeft dit probleem nu opgelost door een nieuw framework te ontwikkelen dat constante-snelheid gecertificeerde verwijdering (constant-rate certified deletion) bereikt. Dit betekent dat de hoeveelheid kwantumopslag die nodig is, recht evenredig groeit met de grootte van het bericht, in plaats van dat deze explodeert met de beveiligingseisen. In hun nieuwe systeem is de overhead minimaal; voor een groot bericht is de benodigde kwantumdata slechts iets groter dan het bericht zelf, waardoor een efficiëntiesnelheid wordt bereikt die voorheen in standaardomgevingen onmogelijk werd geacht. Ze bereikten dit door een verenigde methode te creëren die werkt voor een breed scala aan cryptografische instrumenten, waaronder systemen die worden gebruikt voor publieke-sleutelencryptie, attribuutgebaseerde toegang en volledig homomorfe encryptie, wat berekeningen op versleutelde data mogelijk maakt.
De onderzoekers hebben aangetoond dat hun aanpak werkt voor twee verschillende soorten kwantumcoderingen. Het eerste type berust op een methode die vergelijkbaar is met het beroemde BB84-protocol, dat wordt gebruikt voor veilige sleuteldistributie. Het tweede type gebruikt complexere structuren die bekend staan als subspace coset states, die geavanceerdere functies mogelijk maken zoals blind delegatie en veilige software-leasing. In beide gevallen maakt het nieuwe framework het mogelijk om het bericht te versleutelen en vervolgens te verwijderen met een certificaat dat geverifieerd kan worden zonder dat men de persoon die de verwijdering uitvoert, hoeft te vertrouwen. Cruciaal is dat deze efficiëntie wordt bereikt zonder nieuwe, onbewezen aannames te introduceren over de moeilijkheid van wiskundige problemen; het steunt enkel op dezelfde fundamenten als de oorspronkelijke cryptografische schema's gebruikten.
Naast het sneller en lichter maken van het proces, hebben de onderzoekers ook aangetoond hoe ze de verificatie van de verwijdering publiek kunnen maken. In veel beveiligingsscenario's is het niet voldoende dat alleen de verzender weet dat de data weg is; een derde partij of een publieke auditor moet ook in staat zijn de verwijdering te verifiëren zonder toegang te nodig te hebben tot geheime sleutels. Eerdere pogingen om deze publieke verificatiefunctie toe te voegen, vernietigden de efficiëntievoordelen, waarbij een lineaire hoeveelheid extra data nodig was die de voordelen tenietdeed. De onderzoekers overwonnen dit door een techniek te gebruiken die gebruikmaakt van constrained signatures (beperkte handtekeningen), een type digitale handtekening dat door iedereen geverifieerd kan worden, maar alleen kan worden gecreëerd onder specifieke condities. Door dit te combineren met hun constant-rate framework, creëerden zij een systeem waarbij iedereen kan verifiëren dat data is verwijderd, terwijl het systeem efficiënt genoeg blijft om grote berichten te verwerken.
Het werk biedt een verenigde oplossing die een brede klasse van cryptografische primitieven upgradet om deze hoog-efficiënte, verifieerbare verwijdering te ondersteunen. Voor het eerst is het mogelijk om een systeem te hebben waarbij de kwantumdata die nodig is om een bericht te beschermen, ongeveer even groot is als het bericht zelf, terwijl er nog steeds wordt gegarandeerd dat de data bewezen kan worden gewist. Deze doorbraak elimineert de aanzienlijke overhead die gecertificeerde verwijdering voorheen onpraktisch maakte, en opent de deur voor de integratie van deze kwantumveilige functies in toekomstige privacy-beschermende technologieën. De onderzoekers hebben bewezen dat deze resultaten standhouden, zelfs tegenover tegenstanders met onbeperkte rekenkracht, mits het verwijderingscertificaat succesvol wordt geverifieerd, wat garandeert dat de data voor altijd weg is op een manier die klassieke systemen nooit kunnen bereiken.
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.