Constant-Rate Certified Deletion
Dieses Paper präsentiert ein einheitliches Framework, das eine breite Klasse kryptographischer Primitiven auf Upgrade zur Unterstützung von Constant-Rate Certified Deletion im Plain Model ohne zusätzliche Annahmen hebt und damit die ersten Konstruktionen erreicht, die eine ewige Sicherheit gewährleisten und öffentliche Verifizierbarkeit unter Standard-Härteannahmen ermöglichen.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
In der modernen digitalen Welt ist das Recht auf Vergessenwerden ein rechtliches Konzept, das mehr verlangt als nur das Löschen einer Datei; es erfordert den Beweis, dass die Daten wirklich verschwunden sind. Dies ist eine grundlegende Herausforderung, da klassische Informationen, wie eine Textnachricht oder ein Foto, endlos kopiert werden können. Selbst wenn eine Datei mit einem geheimen Code gesperrt ist, könnte ein zukünftiger Durchbruch in der Computertechnik oder ein geleakter Schlüssel einem Angreifer ermöglichen, sie zu entsperren und den ursprünglichen Inhalt wiederherzustellen. Der einzige Weg, zu garantieren, dass Daten gelöscht wurden, besteht darin, sich auf die Gesetze der Physik zu verlassen, speziell auf die seltsamen Regeln der Quantenmechanik. In der Quantenwelt verhält sich Information anders: Sie kann nicht perfekt kopiert werden, und der Akt der Messung stört sie unweigerlich. Diese zerstörerische Natur bietet eine einzigartige Gelegenheit: Wenn ein Stück Information in einem Quantenzustand gespeichert ist, kann man einen Nutzer dazu zwingen, es auf eine bestimmte Weise zu messen, um zu beweisen, dass er es zerstört hat, wodurch ihm keine Möglichkeit bleibt, die ursprüngliche Information wiederherzustellen.
Jahrelang haben Forscher an einer Methode namens „Certified Deletion“ gearbeitet, die es einem Nutzer ermöglicht, ein Zertifikat zu erstellen, das beweist, dass er ein Geheimnis gelöscht hat. Ein großes Hindernis war jedoch stets die Effizienz. Frühere Methoden erforderten eine gewaltige Menge an Quantenspeicherung, um selbst eine winzige Menge an Daten zu schützen. Um ein einziges Bit an Information zu verschlüsseln, benötigten diese älteren Schemata eine Anzahl von Quantenteilchen, die linear mit dem Sicherheitsniveau wuchs, was das System für große Nachrichten unpraktisch machte. Es war, als versuche man, eine Postkarte zu versenden, aber man bräuchte ein ganzes Lager voller Schiffscontainer, nur um die Tinte auf dem Papier zu schützen. Diese Ineffizienz bedeutete, dass das Konzept zwar theoretisch fundiert, aber für reale Anwendungen wie sichere Nachrichtenübermittlung oder Cloud-Speicherung zu schwerfällig war.
Ein Team von Forschern hat dieses Problem nun gelöst, indem es einen neuen Rahmen entwickelt hat, der eine „Constant-Rate Certified Deletion“ erreicht. Das bedeutet, dass die Menge der benötigten Quantenspeicherung direkt proportional zur Größe der Nachricht wächst, anstatt mit den Sicherheitsanforderungen zu explodieren. In ihrem neuen System ist der Overhead minimal; für eine große Nachricht ist die benötigte Quantendatengröße nur geringfügig größer als die Nachricht selbst, was eine Effizienzrate ermöglicht, die in Standardumgebungen zuvor als unmöglich galt. Sie erreichten dies durch die Schaffung einer einheitlichen Methode, die für eine Vielzahl kryptografischer Werkzeuge funktioniert, einschließlich Systemen, die für die Public-Key-Verschlüsselung, den attributbasierten Zugriff und die vollhomomorphe Verschlüsselung – welche Berechnungen auf verschlüsselten Daten ermöglicht – verwendet werden.
Die Forscher demonstrierten, dass ihr Ansatz für zwei verschiedene Arten von Quantenkodierungen funktioniert. Die erste Art basiert auf einer Methode, die dem berühmten BB84-Protokoll ähnelt, welches zur sicheren Schlüsselverteilung eingesetzt wird. Die zweite Art nutzt komplexere Strukturen, die als „Subspace Coset States“ bekannt sind und fortgeschrittenere Funktionen wie „Blind Delegation“ und sicheres Software-Leasing ermöglichen. In beiden Fällen erlaubt der neue Rahmen, dass die Nachricht verschlüsselt und anschließend gelöscht werden kann, wobei ein Zertifikat erstellt wird, das verifiziert werden kann, ohne dass derjenige, der die Löschung durchführt, vertraut werden muss. Entscheidend ist, dass diese Effizienz erreicht wird, ohne neue, unbewiesene Annahmen über die Schwierigkeit mathematischer Probleme einzuführen; sie stützt sich lediglich auf dieselben Grundlagen, die auch die ursprünglichen kryptografischen Schemata verwendeten.
Über die bloße Beschleunigung und Verkleinerung des Prozesses hinaus zeigten die Forscher auch, wie man die Verifizierung der Löschung öffentlich machen kann. In vielen Sicherheitsszenarien reicht es nicht aus, dass nur der Absender weiß, dass die Daten weg sind; ein Dritter oder ein öffentlicher Auditor sollte in der Lage sein, die Löschung zu verifizieren, ohne Zugriff auf geheime Schlüssel zu benötigen. Frühere Versuche, dieses Feature der öffentlichen Verifizierung hinzuzufügen, zerstörten die Effizienzgewinne, da sie eine lineare Menge an zusätzlichen Daten erforderten, was die Vorteile zunichtemachte. Die Forscher überwanden dies durch den Einsatz einer Technik, die auf „Constrained Signatures“ basiert – einer Art digitaler Signatur, die von jedem verifiziert werden kann, aber nur unter spezifischen Bedingungen erstellt werden kann. Durch die Kombination dieser Technik mit ihrem Constant-Rate-Framework schufen sie ein System, in dem jeder verifizieren kann, dass Daten gelöscht wurden, und das System dennoch effizient genug bleibt, um große Nachrichten zu verarbeiten.
Die Arbeit liefert eine einheitliche Lösung, die eine breite Klasse kryptografischer Primitiven aufwertet, um eine hocheffiziente, verifizierbare Löschung zu unterstützen. Erstmals ist es möglich, ein System zu haben, bei dem die für den Schutz einer Nachricht benötigten Quantendaten etwa so groß sind wie die Nachricht selbst, während gleichzeitig garantiert wird, dass die Daten nachweislich gelöscht werden können. Dieser Durchbruch beseitigt den erheblichen Overhead, der Certified Deletion zuvor unpraktisch machte, und ebnet den Weg dafür, dass diese quantensicheren Funktionen in zukünftige Technologien zur Wahrung der Privatsphäre integriert werden können. Die Forscher bewiesen, dass diese Ergebnisse selbst gegenüber Angreifern mit unbegrenzter Rechenleistung Bestand haben, sofern das Löschzertifikat erfolgreich verifiziert wurde, was sicherstellt, dass die Daten für immer verschwunden sind – auf eine Weise, die klassische Systeme niemals erreichen können.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.