ZKP e dVPN: Verifica del Traffico con Zero-Knowledge Proofs

Il problema del logging dei dati nei sistemi tradizionali

Vi siete mai chiesti perché affidiamo ogni nostro segreto digitale a una società sconosciuta con sede in un altro paese? A pensarci bene, è piuttosto assurdo. Paghiamo per la nostra privacy, ma in realtà stiamo solo spostando i nostri dati dal "secchio" del fornitore di servizi internet (ISP) a quello di un fornitore VPN.

Il problema principale è che la maggior parte dei servizi dichiara di adottare politiche "no-logs", ma non esiste alcun modo concreto per verificarlo. È, nel migliore dei casi, una promessa basata sulla fiducia.

• Il rischio "Honeypot": I server centralizzati sono bersagli enormi. Se un governo o un hacker riesce a violarli, ottiene l'accesso ai dati di tutti gli utenti in un colpo solo.
• Promesse infrante: Abbiamo assistito a numerosi casi in cui fornitori "no-log" hanno consegnato i dati degli utenti sotto la pressione delle autorità.
• Metadati nascosti: Anche quando non registrano il "traffico" vero e proprio, spesso conservano timestamp o indirizzi IP per scopi di "risoluzione dei problemi", informazioni che possono comunque essere utilizzate per identificarvi.

Le VPN decentralizzate (dVPN) cercano di risolvere questo problema utilizzando una rete peer-to-peer (P2P) in cui persone comuni condividono la propria larghezza di banda in eccesso. Tuttavia, il sistema non è ancora perfetto. Se da un lato le dVPN eliminano la centralizzazione, dall'altro introducono un nuovo problema di fiducia: l'operatore del singolo nodo. Poiché i vostri dati vengono instradati da un utente privato, sorge la preoccupazione che quest'ultimo possa spiare il vostro traffico.

Come mostrato nel Diagramma 1, il flusso di dati si sposta da un hub centrale a una rete mesh distribuita, dove la connessione rimbalza attraverso molteplici nodi individuali invece di passare per un unico grande server aziendale.

Secondo un rapporto del 2024 di Top10VPN, molti dei principali servizi mantengono ancora politiche di logging "vaghe", nonostante il marketing affermi il contrario. In una dVPN, il timore è che l'operatore del nodo possa effettuare il "packet sniffing". Inoltre, la rete deve poter dimostrare che un nodo ha effettivamente fornito il servizio promesso, senza però avere visibilità su ciò che l'utente stava facendo.

Quindi, come possiamo dimostrare che il traffico è avvenuto senza guardare effettivamente i dati scambiati? È qui che entrano in gioco le prove a conoscenza zero (Zero-Knowledge Proofs), rendendo il tutto estremamente interessante.

Che cosa sono, in concreto, le Zero-Knowledge Proof (ZKP)?

Immaginate di voler dimostrare a un amico di possedere la chiave di uno scrigno blindato, ma senza mostrargli la chiave né rivelargli cosa contiene. Come potreste fare senza consegnargli l'oggetto?

Questa è, in sostanza, la "magia" delle Zero-Knowledge Proof (ZKP) o prove a conoscenza zero. Si tratta di un metodo crittografico in cui una parte (il prover, o dimostratore) può provare a un'altra parte (il verifier, o verificatore) che un'affermazione è vera, senza rivelare alcuna informazione oltre alla validità dell'affermazione stessa.

Per visualizzarlo, pensate a una grotta circolare con una porta segreta sul fondo che richiede una password per aprirsi. Se volessi dimostrarvi di conoscere la password senza rivelarvela, potrei entrare nella grotta e voi mi vedreste uscire dal lato opposto. Non avreste sentito la password, ma sapreste con certezza che devo averla usata per attraversare il passaggio.

Ecco alcuni ambiti di applicazione:

• Finanza: Le banche possono verificare che abbiate fondi sufficienti per un mutuo senza visualizzare l'intero storico delle transazioni o il saldo esatto.
• Sanità: Un ricercatore può confermare che un paziente possiede uno specifico marcatore genetico per uno studio senza mai vedere il nome del paziente o altre cartelle cliniche riservate.
• Commercio: Dimostrare di avere più di 18 anni per acquistare un prodotto online senza condividere la data di nascita esatta o l'indirizzo di casa.
• Traffico di Rete: Dimostrare che un pacchetto dati è stato inviato dal punto A al punto B senza rivelare il contenuto del messaggio o l'identità del mittente.

Il Diagramma 2 illustra questa logica, mostrando come il "Prover" invii una prova matematica al "Verifier" per confermare la veridicità di un'affermazione senza condividere i dati sottostanti.

Secondo Chainlink, i sistemi ZKP come gli zk-SNARK stanno diventando lo standard di riferimento per la privacy perché sono "non interattivi": ciò significa che la prova consiste in un unico piccolo frammento di dati inviato una sola volta.

Nel mondo delle dVPN (VPN decentralizzate), questo rappresenta una svolta epocale. Significa che un nodo può dimostrare di aver instradato correttamente i vostri dati senza mai "vedere" i pacchetti dati stessi. Ma come si applica concretamente questa tecnologia al complesso traffico internet? È qui che la tecnologia diventa ancora più affascinante.

Implementazione della ZKP nel Marketplace della Banda

Ma come facciamo, in concreto, a pagare qualcuno per la sua larghezza di banda senza sapere cosa stia inviando o dove sia diretto il traffico? Sembra un paradosso: dimostrare che un lavoro è stato eseguito mantenendo il contenuto del lavoro stesso totalmente segreto.

In un marketplace della banda, utilizziamo gli zk-SNARK per verificare che un nodo abbia effettivamente trasferito, ad esempio, 500 MB di dati per un utente. Il nodo fornisce una "prova" (proof) che gli header dei pacchetti corrispondano al protocollo e alle dimensioni previste, ma il payload effettivo — che si tratti di email, password o meme di gatti — rimane criptato e invisibile al nodo.

• Validazione dei Pacchetti: La rete controlla che i pacchetti abbiano la dimensione e la frequenza corrette senza sbirciare all'interno. Questo impedisce ai nodi di inviare dati "spazzatura" vuoti solo per fare farming di ricompense.
• Protezione Sybil: Garantisce che una singola persona non stia gestendo 100 nodi falsi sulla stessa macchina per "condividere" banda con se stessa. Questo è possibile perché la ZKP può dimostrare che un nodo possiede una firma hardware univoca o una "Proof of Contribution" (Prova di Contributo) senza rivelare l'identità specifica del nodo.
• Privacy First: Anche se l'operatore di un nodo è un esperto di informatica, non può vedere il tuo IP di destinazione perché la prova convalida solo il fatto che il trasferimento sia avvenuto, non i suoi dettagli.

Secondo le ricerche di Ingo Research, gli zk-SNARK consentono una verifica "succinta" (succinct), il che significa che la blockchain non viene appesantita da file enormi; si limita a controllare una prova minuscola.

È qui che entrano in gioco i soldi (o i token). Utilizziamo gli smart contract come escrow automatici e imparziali. Una volta verificata la ZKP, il contratto sblocca automaticamente il pagamento al fornitore del nodo.

Un report del 2023 di Messari sulle DePIN (Decentralized Physical Infrastructure Networks) — che è solo un modo ricercato per definire reti costruite e possedute dagli utenti invece che dalle grandi aziende — suggerisce che gli incentivi tramite token siano l'unico modo per scalare le reti P2P e competere con i grandi ISP (Internet Service Provider).

Il Diagramma 3 mostra il ciclo del marketplace: l'utente richiede banda, il nodo la fornisce, viene generata una ZKP per dimostrare il lavoro svolto e lo smart contract eroga la ricompensa.

In sostanza, è come un distributore automatico "trustless". Inserisci una richiesta, il nodo esegue il lavoro, la matematica lo dimostra e il pagamento avviene istantaneamente. Non serve alcun intermediario per "approvare" la transazione.

Nel prossimo paragrafo, analizzeremo gli ostacoli tecnici, come l'utilizzo della CPU e la latenza, che rendono difficile l'implementazione di tutto questo nel mondo reale.

Ostacoli tecnici e il futuro delle DePIN

Se questa tecnologia è così rivoluzionaria, perché non la stiamo già usando tutti? La verità è che "dimostrare" qualcosa senza rivelarne il contenuto è un’operazione che richiede un enorme sforzo computazionale.

Generare una prova a conoscenza zero (ZKP) non è esattamente un lavoro "leggero". Sebbene la verifica di una prova sia istantanea, chi la crea — ovvero l'operatore del nodo — deve farsi carico di un carico di lavoro notevole. Su un normale laptop, questo può causare picchi di utilizzo della CPU e rallentamenti percepibili.

• Sovraccarico di elaborazione (Processing Overhead): La creazione di zk-SNARK richiede calcoli matematici complessi che possono rallentare il traffico in tempo reale. Se una dVPN trasmette dati alla velocità di un vecchio modem 56k, nessuno vorrà usarla.
• Problemi di latenza: In una rete P2P, ogni millisecondo è fondamentale. L'aggiunta di un "passaggio di verifica" a ogni pacchetto di dati può risultare frustrante per i gamer o per chi effettua videochiamate.
• Ottimizzazione: Gli sviluppatori stanno lavorando su "prove ricorsive" e sull'accelerazione hardware (sfruttando le GPU) per far sì che tutto questo avvenga in background, senza che l'utente se ne accorga.

Secondo un blog tecnico del 2023 di a16z crypto, l'efficienza del "prover" (colui che genera la prova) rappresenta uno dei principali colli di bottiglia per la scalabilità di questi sistemi di privacy.

Nonostante le sfide, l'obiettivo finale è una rete che i colossi del Big Tech non possano semplicemente "spegnere". Mettendo a fattor comune la larghezza di banda di migliaia di abitazioni private, creiamo un web distribuito che è praticamente impossibile da censurare.

• Resistenza alla censura: Poiché non esiste un server centrale da bloccare, una rete DePIN continua a funzionare anche se un governo tenta di staccare la spina.
• Portata globale: Utilizzando l'indirizzo IP di un'abitazione reale, diventa molto più difficile per i siti di streaming o per i firewall identificarti ed escluderti come "utente VPN".

In tutta onestà, è un po' come il gioco del gatto col topo. Tuttavia, man mano che la tecnologia diventerà più snella e performante, questi strumenti P2P inizieranno a essere reattivi e veloci tanto quanto i servizi centralizzati che utilizziamo oggi.

Come Partecipare: L'Esperienza Utente

Per l'utente medio, utilizzare una dVPN potenziata da prove a conoscenza zero (ZKP) non è affatto diverso dall'usare una normale applicazione. Si scarica il client, si preme "connetti" e tutta la complessità matematica viene gestita in background. Il vero punto di svolta, però, è il potenziale di guadagno.

Se disponi di una connessione internet veloce a casa che resta inutilizzata mentre dormi, puoi attivare un nodo. In sostanza, lasciando il dispositivo acceso, il protocollo DePIN (Decentralized Physical Infrastructure Networks) ti ricompensa in token per la larghezza di banda condivisa. Non si tratta di un metodo per "arricchirsi velocemente", ma è un modo concreto per trasformare il costo del tuo abbonamento internet mensile in una piccola rendita passiva, contribuendo contemporaneamente alla creazione di un web più privato e libero.

Conclusione: Un Internet "Trustless" è Possibile

Siamo davvero arrivati al punto in cui la "fiducia" si riduce a una semplice equazione matematica? Sembra che stiamo finalmente superando l'era delle dubbie promesse "no-log", quelle che nessun utente poteva mai verificare concretamente.

Integrando le prove a conoscenza zero (zkp) con le reti decentralizzate, stiamo costruendo un web dove la privacy non è un optional da acquistare, ma la base stessa dell'infrastruttura. Si tratta di sottrarre il potere ai grandi ISP per restituirlo a un mercato peer-to-peer (P2P) trasparente.

• Verifica anziché Fiducia: Non è più necessario "credere" a un provider; il protocollo blockchain dimostra che il lavoro è stato eseguito correttamente senza mai accedere ai tuoi dati sensibili.
• La Sharing Economy della Banda: Le persone comuni possono ottenere ricompense fornendo la propria larghezza di banda in eccesso, seguendo un modello simile a quello di Airbnb per le stanze inutilizzate.
• Resilienza Globale: Secondo un report del 2023 di Syari (un aggregatore di dati DePIN), le infrastrutture decentralizzate sono molto più difficili da censurare o abbattere rispetto ai server centralizzati tradizionali.

Sia chiaro, la tecnologia è ancora in una fase iniziale, talvolta complessa e con un carico computazionale non indifferente, ma la direzione è tracciata. Ci stiamo muovendo verso un internet privato per impostazione predefinita e, onestamente, era ora. Continuate a esplorare queste innovazioni e magari considerate l'idea di attivare un nodo voi stessi: è il modo migliore per toccare con mano il futuro della rete.