Finality Before Disclosure for Ledger Authenticators in the Quantum Random Oracle Model
Dieses Paper führt das Konzept der Ledger-Authentifikatoren und ein entsprechendes Unfälschbarkeitsmodell () zur Absicherung reaktiver Autorisierungsprotokolle in öffentlichen Ledgern ein, wobei eine Multi-User-Quantensicherheitsgrenze im Quantum Random Oracle Model bewiesen wird, die adversarielles Ordering, Zensur und die kritische Anforderung der Schließung der Beweisberechtigung vor der Offenlegung von Anmeldedaten berücksichtigt.
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 digitalen Welt ist ein Ledger schlichtweg ein gemeinsames Register darüber, wer was besitzt und was geschehen ist. Man kann ihn sich wie ein öffentliches Notizbuch vorstellen, in dem jede Transaktion aufgeschrieben, verifiziert und zur Historie hinzugefügt wird. Jahrzehntelang beruhte die Sicherheit dieser Notizbücher auf einem einzigen, portablen Schlüssel: einer digitalen Signatur. Ähnlich wie eine physische Unterschrift auf einem Scheck bewies dieses digitale Merkmal, dass der Besitzer eine bestimmte Aktion autorisiert hatte. Das System war so konzipiert, dass jeder die Signatur mithilfe eines öffentlichen Schlüssels überprüfen konnte, ohne die Historie des Kontos oder den Zeitpunkt der Transaktion kennen zu müssen. Dies funktionierte gut für einfache Überweisungen, aber moderne digitale Ledger sind komplexer geworden. Sie verwalten nun Zustände, ordnen Ereignisse und verlassen sich auf die Finalität des Datensatzes – den Punkt, an dem eine Transaktion als unveränderlich und permanent gilt. Das alte Modell einer eigenständigen Signatur begann unzureichend zu werden für diese neuen, reaktiven Systeme, in denen die Gültigkeit einer Aktion davon abhängen kann, was unmittelbar zuvor geschah oder wie das Netzwerk über die Reihenfolge der Ereignisse entschied.
Dieser Wandel schuf eine neue Herausforderung für die Sicherheit, insbesondere im Hinblick auf eine Zukunft, in der leistungsstarke Quantencomputer die derzeitigen Verschlüsselungsmethoden brechen könnten. Die Forscher Maja Lie und Benjamin Marsh stellten eine grundlegende Frage: Wenn ein digitaler Ledger eine Änderung autorisiert, wie viel dieser Sicherheit entstammt dem vom Nutzer gehaltenen geheimen Schlüssel und wie viel entstammt der öffentlichen Historie des Ledgers selbst? In vielen modernen Systemen leistet der Ledger mehr als nur das Tragen einer Signatur; er hilft zu entscheiden, ob eine Aktion gültig ist, indem er die Zeitlinie, die Reihenfolge der Ereignisse und den Endzustand des Kontos prüft. Die Autoren erkannten, dass Standard-Sicherheitstests, die Signaturen als isolierte Objekte behandeln, die einzigartigen Gefahren dieser Umgebung übersehen. Sie identifizierten, dass ein Angreifer potenziell die Zeit zwischen der Offenlegung eines Geheimnisses und dessen offizieller Aufzeichnung ausnutzen oder die Fähigkeit nutzen könnte, Transaktionen zu verzögern und umzuordnen, um eine Fälschung zu erstellen.
Um dies zu lösen, entwickelten die Forscher einen neuen Rahmen namens „Ledger Authenticator“. Dies ist ein Modell, das den gesamten Prozess der Autorisierung als ein Spiel gegen die Historie des Ledgers betrachtet, statt lediglich als eine Prüfung einer Signatur. Sie führten einen spezifischen Test ein, genannt LA-EUF, der ein Szenario simuliert, in dem ein Angreifer jede ehrliche Transaktion beobachten kann, bevor sie aufgezeichnet wird, deren Aufnahme verzögert und sogar die Sequenz der Ereignisse neu ordnet. Das Ziel dieses Tests ist es zu sehen, ob der Angreifer das System dazu bringen kann, eine neue, unautorisierte Aktion unter Verwendung eines Geheimnisses zu akzeptieren, das gerade erst offenbart wurde. Das Paper beweist, dass die Sicherheit für bestimmte Arten von Protokollen auf einer spezifischen Bedingung beruht: Der Ledger muss die Liste der möglichen Aktionen „schließen“, bevor das Geheimnis offenbart wird. Wenn das System erlaubt, dass nach der Offenlegung des Geheimnisses neue Aktionen erstellt werden, ist der Ledger verwundbar. Wenn das System jedoch die Liste der gültigen Aktionen basierend auf dem endgültigen, unveränderlichen Zustand des Ledgers fixiert, bevor das Geheimnis durchsickert, bleibt das System sicher.
Die Forscher demonstrierten, dass dieser Ansatz funktioniert, indem sie einen „Commit, Close, Reveal“-Prozess (Verpflichtung, Abschluss, Offenlegung) definierten. Bei dieser Methode verpflichtet sich ein Nutzer zuerst zu einer Aktion und wartet, bis der Ledger ein spezifisches Zeitfenster finalisiert hat. Erst nachdem dieses Fenster geschlossen und die Liste der gültigen Verpflichtungen fixiert wurde, offenbart der Nutzer das Geheimnis. Dies stellt sicher, dass selbst wenn ein Angreifer das Geheimnis sieht, er keine neue, gültige Aktion erstellen kann, da der Ledger die Regeln für diesen Moment bereits festgeschrieben hat. Die Autoren lieferten einen mathematischen Beweis, der zeigt, dass diese Methode selbst gegen Quantencomputer sicher ist, sofern das System diesen strengen Zeitungs- und Finalitätsregeln folgt. Sie zeigten, dass die Sicherheit des Systems nicht nur von der Stärke des geheimen Schlüssels abhängt, sondern von dem präzisen Moment, in dem der Ledger entscheidet, was erlaubt ist.
Die Studie klärte auch die Grenzen dieses Ansatzes auf. Sie fand heraus, dass, wenn ein Protokoll auf einem einzelnen Ereignis basiert, das nicht von der Historie des Ledgers abhängt, es im Wesentlichen zu einem Standard-Signaturverfahren zurückfällt und den zusätzlichen Schutz verliert, den der Ledger bieten könnte. Umgekehrt ist ein Protokoll inhärent unsicher, wenn es erlaubt, dass ein Geheimnis nach dessen Offenlegung wiederverwendet oder an eine andere Aktion gebunden wird, es sei denn, der Ledger hat die Liste der gültigen Aktionen bereits eingefroren. Die Forscher bewiesen, dass sie durch die Trennung der Sicherheit des Systems von der Geschwindigkeit, mit der es Transaktionen verarbeitet, eine robuste Verteidigung schaffen konnten. Sie zeigten, dass Sicherheit garantiert werden kann, selbst wenn das Netzwerk langsam ist oder ein Angreifer versucht, ehrliche Transaktionen zu zensieren, solange der Endzustand des Ledgers verwendet wird, um die Regeln festzulegen, bevor Geheimnisse exponiert werden.
Diese Arbeit bietet einen klaren Weg nach vorn für den Aufbau sicherer digitaler Ledger in einer Post-Quanten-Welt. Sie geht über die bloße Idee hinaus, alte Signaturen einfach durch neue, quantenresistente Signaturen zu ersetzen. Stattdessen legt sie nahe, dass der Ledger selbst ein aktiver Teilnehmer am Sicherheitsargument sein sollte, indem er seine öffentliche, finalisierte Historie nutzt, um Betrug zu verhindern. Die Erkenntnisse der Forscher legen nahe, dass die sichersten Systeme jene sein werden, die das Timing zwischen der Offenlegung von Geheimnissen und dem Moment, in dem die Regeln des Spiels in Stein gemeißelt sind, sorgfältig verwalten. Auf diese Weise stellen sie sicher, dass der Ledger ein vertrauenswürdiges Register bleibt, das in der Lage ist, selbst hochentwickelten Angriffen zu widerstehen, ohne darauf zu hoffen, dass ein Geheimnis niemals erraten wird. Das Ergebnis ist eine resilientere Art der Verwaltung digitalen Vertrauens, bei der die Historie des Systems ebenso wichtig ist wie der Schlüssel, der sie beginnt.
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.