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

In het uitgestrekte, onzichtbare netwerk van het Internet of Things vertrouwen miljarden kleine apparaten—van verkeerssensoren tot fabriekscontrollers—op software-updates om veilig en functioneel te blijven. Deze updates zijn de digitale tegenhanger van het vervangen van een slot of het dichten van een gat in een dam; zonder deze updates worden apparaten kwetsbaar voor hackers die ze kunnen kapen of uitschakelen. Het leveren van deze updates is echter een delicaat evenwicht. Als een apparaat simpelweg om een update vraagt, moet het vaak zijn identiteit, locatie en specifieke capaciteiten onthullen aan de server die de patch verzendt. Dit creëert een privacyrisico, aangezien een registratie van wat een apparaat is en waar het zich bevindt, gebruikt kan worden om het te volgen of te targeten. Omgekeerd, als het systeem probeert de identiteit van het apparaat te goed verbergen, wordt het moeilijk om te verifiëren of het apparaat daadwerkelijk gerechtigd is om de update te ontvangen, wat potentieel kwaadwillenden de kans geeft om binnen te glippen. De uitdaging voor ingenieurs is om een systeem te creëren dat bevestigt dat een apparaat in aanmerking komt voor een nieuwe softwareversie zonder het apparaat te dwingen zijn private ID-kaart te tonen, terwijl er tegelijkertijd wordt gewaarborgd dat de update zelf niet tijdens het transport kan worden aangepast.

Onderzoekers aan het Hunan Communication Polytechnic hebben een nieuwe aanpak ontwikkeld genaamd ZBA-SU om dit specifieke dilemma op te lossen. Hun methode combineert drie verschillende technologieën om een veilig, privaat en ongeëvenaard updateproces te creëren. Ten eerste gebruiken ze een cryptografische techniek die bekend staat als een zero-knowledge proof, die een apparaat in staat stelt om wiskundig te bewijzen dat het aan de vereisten voor een update voldoet zonder de werkelijke details van zijn identiteit of huidige softwareversie te onthullen. Ten tweede maken ze gebruik van een blockchain, een digitale grootboek dat elke stap van de transactie op een manier vastlegt die niet kan worden gewijzigd of verwijderd, waardoor de geschiedenis van wie een update heeft ontvangen en wanneer, permanent en transparant is. Ten derde gebruiken ze een gespecialiseerde vorm van encryptie die het updatebestand zo strak vergrendelt dat alleen een apparaat met de juiste set attributen het kan ontgrendelen en installeren. Door deze drie draden samen te weven, creëerde het team een systeem waarbij een apparaat kan zeggen: "Ik ben gemachtigd om te updaten," zonder ooit te zeggen: "Ik ben een sensor in Gebouw A die versie 2.1 draait."

Om te testen of dit complexe systeem daadwerkelijk zou kunnen werken op de kleine, energiezuinige chips die in real-world apparaten worden gevonden, bouwde het team een simulatie met behulp van een verscheidenheid aan hardware, waaronder Raspberry Pi-computers en ESP32-microcontrollers. Ze creëerden een private versie van een blockchain-netwerk om als het veilige grootboek te fungeren en zetten een gedistribueerd opslagsysteem op om de updatebestanden te bewaren. In hun experimenten simuleerden ze duizenden updateverzoeken, waarbij ze apparaten vroegen om hun geschiktheid te bewijzen met de zero-knowledge methode. De resultaten toonden aan dat het systeem werkte zoals bedoeld. Een apparaat kon een bewijs van zijn geschiktheid genereren in ongeveer 1,8 seconden, en het netwerk kon dat bewijs verifiëren in minder dan drie seconden. Cruciaal was dat het systeem het lekken van gevoelige apparaatgegevens met 97 procent verminderde vergeleken met traditionele methoden. Hoewel het proces iets langzamer was dan standaard, onversleutelde updates, was de ruilhandel een enorme winst in privacy en beveiliging, waarbij het systeem succesvol pogingen blokkeerde om identiteiten te vervalsen of oude updateverzoeken te herhalen.

De onderzoekers onderzochten ook hoe het systeem om zou gaan met de kosten en snelheid van het draaien op een echt, publiek netwerk. Ze simuleerden scenario's waarin het netwerkverkeer zwaar was en de transactiekosten fluctueerden, en ontdekten dat hoewel de tijd om een update te bevestigen zou toenemen, het systeem robuust bleef. In een grootschalige test met duizend apparaten behield het systeem een succespercentage van 97,9 procent, wat bewees dat het de volumes kan aan die nodig zijn voor een smart city of een industriële plant. De studie benadrukt dat hoewel de computationele inspanning die nodig is om deze privacybewijzen te genereren hoger is dan standaard controles, het beheersbaar is voor apparaten die niet elke seconde hoeven te updaten, maar wel veilig moeten zijn wanneer ze dat doen. Het team merkte op dat voor de kleinste, meest beperkte apparaten het systeem de zware wiskunde kan uitbesteden aan een nabijgelegen gateway, zodat zelfs de kleinste sensoren kunnen deelnemen zonder hun batterijen leeg te trekken.

Uiteindelijk demonstreert het werk dat het mogelijk is om zowel privacy als beveiliging te hebben in de chaotische wereld van verbonden apparaten. Het ZBA-SU-framework vertrouwt niet op één enkele vertrouwde server om te beslissen wie een update krijgt, noch dwingt het apparaten om hun geheimen aan de wereld te verkondigen. In plaats daarvan creëert het een digitale handdruk waarbij geschiktheid wordt geverifieerd door middel van wiskunde, het verslag van de handdruk in steen is gegraveerd op een blockchain, en de update zelf is vergrendeld achter een sleutel die alleen het juiste apparaat kan vasthouden. De onderzoekers concluderen dat hoewel de technologie nog niet perfect is en verdere verfijning vereist om de snelste netwerken en de kleinste chips aan te kunnen, het een levensvatbaar pad biedt voor de beveiliging van de infrastructuur van de toekomst. Door te bewijzen dat privacy-bewarende updates haalbaar zijn, suggereert de studie dat de volgende generatie slimme steden en industriële systemen kan worden bijgewerkt zonder de anonimiteit of veiligheid van de apparaten die hen aandrijven in gevaar te brengen.