Leichtgewichtige und datenschutzbewahrende delegierbare Speicherbeweise mit Daten-Dynamik in der Cloud-Speicherung

Cloud-Speicherung ist heutzutage weit verbreitet, was die Belastung der Benutzer durch lokale Datenspeicherung verringert. Gleichzeitig hat die Frage, wie die Sicherheit und Integrität der ausgelagerten Daten, die auf einem Cloud-Speicherserver gespeichert sind, gewährleistet werden kann, auch enorme Aufmerksamkeit von Forschern auf sich gezogen. Speicherbeweise (POS) sind die Haupttechnik, die eingeführt wurde, um dieses Problem zu lösen. Öffentlich verifiable POS, die es einer dritten Partei ermöglichen, die Datenintegrität im Namen des Datenbesitzers zu überprüfen, verbessert signifikant die Skalierbarkeit des Cloud-Dienstes. Allerdings sind die meisten bestehenden öffentlich verifiable POS-Schemata extrem langsam bei der Berechnung von Authentifizierungstags für alle Datenblöcke aufgrund vieler kostspieliger Gruppenexponentiationen, oft viel langsamer als die typische Netzwerk-Uploadgeschwindigkeit, und wird damit zum Engpass der Setup-Phase des POS-Schemas. In diesem Artikel schlagen wir eine neue Variantenformulierung namens "Delegierbare Speicherbeweise (DPOS)" vor. Dann konstruieren wir ein leichtgewichtiges, datenschutzbewahrendes DPOS-Schema, das auf der einen Seite so effizient ist wie private POS-Schemata und auf der anderen Seite einen Dritten Prüfer unterstützen kann und die Prüfer jederzeit wechseln kann, nahe den Funktionalitäten der öffentlich verifizierbaren POS-Schemata. Im Vergleich zu traditionellen öffentlich verifiable POS-Schemata beschleunigen wir den Tag-Generierungsprozess um mindestens mehrere hundert Mal, ohne die Effizienz in irgendeinem anderen Aspekt zu opfern. Darüber hinaus erweitern wir unser Schema, um vollständig dynamische Operationen mit hoher Effizienz zu unterstützen, wodurch die Berechnung eines Datenupdates auf O(log n) reduziert und gleichzeitig nur konstante Kommunikationskosten erforderlich werden. Wir beweisen, dass unser Schema robust und datenschutzbewahrend gegenüber dem Prüfer im Standardmodell ist. Experimentelle Ergebnisse verifizieren die effiziente Leistung unseres Schemas.