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

Nella vasta e invisibile rete dell'Internet delle Cose, miliardi di piccoli dispositivi — dai sensori di traffico ai controller di fabbrica — si affidano agli aggiornamenti software per rimanere sicuri e funzionali. Questi aggiornamenti sono l'equivalente digitale del cambiare una serratura o di tappare un buco in una diga; senza di essi, i dispositivi diventano vulnerabili ad hacker che possono dirottarli o spegnerli. Tuttavia, la distribuzione di questi aggiornamenti è un delicato gioco di equilibrio. Se un dispositivo richiede semplicemente un aggiornamento, spesso deve rivelare la sua identità, la sua posizione e le sue capacità specifiche al server che invia la patch. Ciò crea un rischio per la privacy, poiché una registrazione di cosa sia un dispositivo e di dove si trovi potrebbe essere utilizzata per tracciarlo o prenderlo di mira. Al contrario, se il sistema tenta di nascondere troppo bene l'identità del dispositivo, diventa difficile verificare che il dispositivo sia effettivamente autorizzato a ricevere l'aggiornamento, permettendo potenzialmente ad attori malevoli di infiltrarsi. La sfida per gli ingegneri è creare un sistema che confermi che un dispositivo è idoneo per una nuova versione del software senza costringerlo a mostrare il suo documento d'identità privato, il tutto garantendo che l'aggiornamento stesso non possa essere manomesso durante il transito.

I ricercatori dell'Hunan Communication Polytechnic hanno sviluppato un nuovo approccio chiamato ZBA-SU per risolvere questo specifico dilemma. Il loro metodo combina tre tecnologie distinte per creare un processo di aggiornamento sicuro, privato e a prova di manomissione. Primo, utilizzano una tecnica crittografica nota come prova a conoscenza zero (zero-knowledge proof), che consente a un dispositivo di dimostrare matematicamente di soddisfare i requisiti per un aggiornamento senza rivelare i dettagli effettivi della sua identità o della sua versione software attuale. Secondo, impiegano una blockchain, un registro digitale che registra ogni fase della transazione in modo che non possa essere alterata o cancellata, garantendo che la cronologia di chi ha ricevuto un aggiornamento e quando sia permanente e trasparente. Terzo, utilizzano una forma specializzata di crittografia che blocca il file di aggiornamento così strettamente che solo un dispositivo con il set corretto di attributi può sbloccarlo e installarlo. Intrecciando questi tre fili, il team ha creato un sistema in cui un dispositivo può dire: "Mi è permesso aggiornarmi", senza mai dire: "Sono un sensore nell'Edificio A con la versione 2.1".

Per testare se questo complesso sistema potesse effettivamente funzionare sui piccoli chip a basso consumo presenti nei dispositivi reali, il team ha costruito una simulazione utilizzando una varietà di hardware, inclusi computer Raspberry Pi e microcontrollori ESP32. Hanno creato una versione privata di una rete blockchain per fungere da registro sicuro e hanno configurato un sistema di archiviazione distribuita per ospitare i file di aggiornamento. Nei loro esperimenti, hanno simulato migliaia di richieste di aggiornamento, chiedendo ai dispositivi di provare la propria idoneità utilizzando il metodo a conoscenza zero. I risultati hanno mostrato che il sistema funzionava come previsto. Un dispositivo poteva generare una prova della propria idoneità in circa 1,8 secondi, e la rete poteva verificare tale prova in meno di tre secondi. Fondamentalmente, il sistema ha ridotto la fuga di informazioni sensibili sui dispositivi del 97 percento rispetto ai metodi tradizionali. Sebbene il processo fosse leggermente più lento rispetto agli aggiornamenti standard non criptati, il compromesso era un enorme guadagno in privacy e sicurezza, con il sistema che bloccava con successo i tentativi di falsificazione delle identità o di riproduzione di vecchie richieste di aggiornamento.

I ricercatori hanno anche esaminato come il sistema gestirebbe i costi e la velocità di funzionamento su una rete reale e pubblica. Hanno simulato scenari in cui il traffico di rete era intenso e le commissioni di transazione fluttuavano, riscontrando che, sebbene il tempo per confermare un aggiornamento aumentasse, il sistema rimaneva robusto. In un test su larga scala che coinvolgeva mille dispositivi, il sistema ha mantenuto un tasso di successo del 97,9 percento, dimostrando di poter gestire il volume richiesto da una smart city o da un impianto industriale. Lo studio evidenzia che, sebbene lo sforzo computazionale richiesto per generare queste prove di privacy sia superiore ai controlli standard, esso è gestibile per i dispositivi che non devono aggiornarsi ogni secondo ma che devono essere sicuri quando lo fanno. Il team ha osservato che, per i dispositivi più piccoli e limitati, il sistema può delegare la matematica pesante a un gateway vicino, garantendo che anche i sensori più minuscoli possano partecipare senza esaurire le batterie.

In definitiva, il lavoro dimostra che è possibile avere sia la privacy che la sicurezza nel mondo caotico dei dispositivi connessi. Il framework ZBA-SU non si affida a un singolo server fidato per decidere chi riceve un aggiornamento, né costringe i dispositivi a trasmettere i propri segreti al mondo. Invezione, crea una stretta di mano digitale in cui l'idoneità è verificata attraverso la matematica, la registrazione della stretta di mano è scritta nella pietra su una blockchain e l'aggiornamento stesso è chiuso dietro una chiave che solo il dispositivo giusto può detenere. I ricercatori concludono che, sebbene la tecnologia non sia ancora perfetta e richieda ulteriori perfezionamenti per gestire le reti più veloci e i chip più piccoli, essa offre una via percorribile per mettere in sicurezza l'infrastruttura del futuro. Dimostrando che gli aggiornamenti che preservano la privacy sono fattibili, lo studio suggerisce che la prossima generazione di città intelligenti e sistemi industriali può essere aggiornata senza compromettere l'anonimato o la sicurezza dei dispositivi che li alimentano.