ZBA-SU: A Novel Zero-Knowledge-Proof and Blockchain Integrated Methodology for Secure IoT Software Updates

In dem riesigen, unsichtbaren Netzwerk des Internets der Dinge verlassen sich Milliarden kleiner Geräte – von Verkehrssensoren bis hin zu Fabriksteuerungen – auf Software-Updates, um sicher und funktionsfähig zu bleiben. Diese Updates sind das digitale Äquivalent zum Wechseln eines Schlosses oder zum Abdichten eines Lochs in einem Damm; ohne sie werden die Geräte anfällig für Hacker, die sie kapern oder abschalten können. Die Bereitstellung dieser Updates ist jedoch ein schwieriger Balanceakt. Wenn ein Gerät einfach nach einem Update fragt, muss es oft seine Identität, seinen Standort und seine spezifischen Fähigkeiten offenlegen, um dem Server, der den Patch sendet, diese Informationen mitzuteilen. Dies schafft ein Datenschutzrisiko, da ein Datensatz darüber, was ein Gerät ist und wo es sich befindet, dazu verwendet werden könnte, es zu verfolgen oder gezielt anzugreifen. Versucht das System hingegen, die Identität des Geräts zu gut zu verbergen, wird es schwierig zu verifizieren, ob das Gerät tatsächlich berechtigt ist, das Update zu erhalten, was potenziell bösartigen Akteuren ermöglicht, sich einzuschleichen. Die Herausforderung für Ingenieure besteht darin, ein System zu schaffen, das bestätigt, dass ein Gerät für eine neue Softwareversion berechtigt ist, ohne es zu zwingen, seinen privaten Identitätsausweis zu zeigen, und gleichzeitig sicherzustellen, dass das Update selbst während des Transports nicht manipuliert werden kann.

Forscher am Hunan Communication Polytechnic haben einen neuen Ansatz namens ZBA-SU entwickelt, um genau dieses Dilemma zu lösen. Ihre Methode kombiniert drei unterschiedliche Technologien, um einen sicheren, privaten und manipulationssicheren Update-Prozess zu schaffen. Erstens verwenden sie eine kryptografische Technik, die als Zero-Knowledge-Proof bekannt ist, die es einem Gerät ermöglicht, mathematisch zu beweisen, dass es die Anforderungen für ein Update erfüllt, ohne die tatsächlichen Details seiner Identität oder seiner aktuellen Softwareversion preiszugeben. Zweitens setzen sie eine Blockchain ein, ein digitales Register, das jeden Schritt der Transaktion in einer Weise aufzeichnet, die nicht geändert oder gelöscht werden kann, wodurch sichergestellt wird, dass die Historie, wer wann ein Update erhalten hat, permanent und transparent ist. Drittens verwenden sie eine spezialisierte Form der Verschlüsselung, die die Update-Datei so fest verschließt, dass nur ein Gerät mit den korrekten Attributen sie entschlüsseln und installieren kann. Durch das Verweben dieser drei Fäden hat das Team ein System geschaffen, in dem ein Gerät sagen kann: „Ich bin berechtigt zu aktualisieren“, ohne jemals sagen zu müssen: „Ich bin ein Sensor in Gebäude A, der Version 2.1 ausführt.“

Um zu testen, ob dieses komplexe System tatsächlich auf den kleinen, leistungsschwachen Chips, die in realen Geräten zu finden sind, funktionieren kann, baute das Team eine Simulation unter Verwendung einer Vielzahl von Hardware, einschließlich Raspberry Pi Computern und ESP32-Mikrocontrollern. Sie erstellten eine private Version eines Blockchain-Netzwerks, das als sicheres Register fungiert, und richteten ein verteiltes Speichersystem ein, um die Update-Dateien zu halten. In ihren Experimenten simulierten sie tausende Update-Anfragen und ließen die Geräte ihre Berechtigung mittels der Zero-Knowledge-Methode beweisen. Die Ergebnisse zeigten, dass das System wie vorgesehen funktionierte. Ein Gerät konnte einen Beweis seiner Berechtigung in etwa 1,8 Sekunden generieren, und das Netzwerk konnte diesen Beweis in weniger als drei Sekunden verifizieren. Entscheidend war, dass das System das Abfließen sensibler Geräteinformationen im Vergleich zu traditionellen Methoden um 97 Prozent reduzierte. Obwohl der Prozess etwas langsamer als Standard-Updates ohne Verschlüsselung war, war der Kompromiss ein massiver Gewinn an Privatsphäre und Sicherheit, wobei das System Versuche, Identitäten zu fälschen oder alte Update-Anfragen abzuspielen, erfolgreich blockierte.

Die Forscher untersuchten auch, wie das System mit den Kosten und der Geschwindigkeit beim Betrieb in einem echten, öffentlichen Netzwerk umgehen würde. Sie simulierten Szenarien, in denen der Netzwerkverkehr hoch war und die Transaktionsgebühren schwankten, und fanden heraus, dass das System robust blieb, auch wenn die Zeit zur Bestätigung eines Updates zunahm. In einem groß angelegten Test mit tausend Geräten behielt das System eine Erfolgsquote von 97,9 Prozent bei, was bewies, dass es das für Smart Cities oder Industrieanlagen erforderliche Volumen bewältigen kann. Die Studie hebt hervor, dass der Rechenaufwand, der zur Generierung dieser Privatsphäre-Beweise erforderlich ist, zwar höher als bei Standardprüfungen ist, aber für Geräte, die nicht jede Sekunde aktualisiert werden müssen, aber dennoch sicher sein müssen, wenn sie es tun, handhabbar bleibt. Das Team merkte an, dass das System für die kleinsten, am stärksten eingeschränkten Geräte die schwere Mathematik an ein nahegelegenes Gateway auslagern kann, um sicherzustellen, dass selbst die kleinsten Sensoren teilnehmen können, ohne ihre Batterien zu entleeren.

Letztendlich zeigt die Arbeit, dass es möglich ist, sowohl Privatsphäre als auch Sicherheit in der chaotischen Welt der vernetzten Geräte zu haben. Das ZBA-SU-Framework verlässt sich nicht auf einen einzigen vertrauenswürdigen Server, um zu entscheiden, wer ein Update erhält, noch zwingt es Geräte dazu, ihre Geheimnisse der Welt zu verkünden. Stattdessen schafft es einen digitalen Handschlag, bei dem die Berechtigung durch Mathematik verifiziert wird, die Aufzeichnung des Handschlags in Stein auf einer Blockchain gemeißelt ist und das Update selbst hinter einem Schlüssel verschlossen ist, den nur das richtige Gerät halten kann. Die Forscher kommen zu dem Schluss, dass die Technologie noch nicht perfekt ist und weitere Verfeinerungen benötigt, um die schnellsten Netzwerke und die kleinsten Chips zu bewältigen, aber sie bietet einen gangbaren Weg in die Zukunft. Indem sie beweisen, dass privatsphäre-wahrende Updates machbar sind, legt die Studie nahe, dass die nächste Generation von Smart Cities und industriellen Systemen aktualisiert werden kann, ohne die Anonymität oder Sicherheit der Geräte zu gefährden, die sie antreiben.