💻 computer science

Federated Sovereign Transport Protocol (FSTP): Verifiable Coordination Without Disclosure

Questo articolo introduce il Federated Sovereign Transport Protocol (FSTP), uno strato di sincronizzazione implementato in Rust per reti federate che garantisce strutturalmente la confinatezza dei dati, l'inalterabilità delle identità e la registrazione a prova di manomissione per consentire una coordinazione verificabile senza esporre i dati interni dei nodi.

Autori originali: Ramón Soto C. (Department of Accounting, University of Sonora), Liz Soto (Department of Mathematics, University of Sonora)

Pubblicato 2026-07-02

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Ramón Soto C. (Department of Accounting, University of Sonora), Liz Soto (Department of Mathematics, University of Sonora)

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immaginate un gruppo di diverse organizzazioni — come un sindacato, un partito politico e una banca regolamentata — che vogliono collaborare a un grande progetto. Hanno bisogno di coordinarsi e dimostrare di aver fatto la propria parte, ma sono legalmente o eticamente proibiti di condividere i propri documenti interni privati (come elenchi di membri, votazioni segrete o note di riunioni interne) tra di loro.

I sistemi attuali per connettere questi gruppi sono come una "casa di vetro". Se inviate un messaggio, l'altra parte può vedere la busta e, se sono furbi, potrebbero sbirciare dentro la lettera anche se non era vostra intenzione. Si affidano a un "sistema basato sull'onore" in cui l'altro server promette di non guardare.

Questo documento presenta FSTP (Federated Sovereign Transport Protocol), un nuovo modo per far comunicare questi gruppi che trasforma il sistema basato sull'onore in un blocco strutturale. Ecco come funziona, usando semplici analogie:

1. Il "Guardiano Severo" (L'Agente di Sincronizzazione)

Immaginate il computer di ogni organizzazione come una fortezza. All'interno, hanno due stanze:

Il Caveau: Dove risiedono tutti i dati grezzi e segreti (elenchi di membri, votazioni).
La Sala Postale: Dove vengono preparati i messaggi ufficiali e pubblici.

Nei vecchi sistemi, un lavoratore poteva accidentalmente (o intenzionalmente) prendere un documento dal Caveau e metterlo nella Sala Postale. In FSTP, la "Sala Postale" è sorvegliata da un Guardiano Severo (chiamato Agente di Sincronizzazione).

Questo Guardiano non è solo una guardia che controlla i documenti d'identità; è come una macchina di fabbrica costruita con uno stampo specifico. La macchina è progettata in modo che solo forme specifiche e pre-approvate (come "Hash di Eventi" o "Credenziali Verificabili") possano entrare nel foro di uscita. Se qualcuno prova a forzare un "Documento Segreto" (che ha la "forma sbagliata") nella macchina, la macchina si blocca fismente e rifiuta di funzionare.

Il documento spiega che questo non è un comando che i lavoratori devono ricordare; è integrato nel codice stesso. Se il codice tenta di inviare un segreto, il compilatore del computer (la macchina che costruisce il software) lo ferma prima ancora che il software venga avviato. È impossibile far trapelare accidentalmente dei dati perché la "forma sbagliata" semplicemente non può esistere nel messaggio in uscita.

2. La "Maschera Monouso" (Identità Contestuale)

Di solito, se parli con due gruppi diversi, possono capire che sei la stessa persona perché usi lo stesso nome o ID. Questo è come indossare il proprio volto in ogni stanza in cui si entra.

FSTP fornisce a ogni organizzazione un Creatore di Maschere Magiche.

Quando parli con il Sindacato, indossi una maschera che dice "Membro del Sindacato".
Quando parli con la Banca, indossi una maschera completamente diversa che dice "Cliente della Banca".

Queste maschere sono matematicamente collegate alla tua identità reale, ma appaiono completamente diverse a chiunque altro. Anche se il Sindacato e la Banca confrontano le note, non possono capire che "Membro del Sindacato" e "Cliente della Banca" siano la stessa persona. Questo evita il "collasso del contesto", dove la tua vita privata in un gruppo viene accidentalmente confusa con la tua vita pubblica in un altro.

3. Il "Registro a Tenuta di Manomissione con Gomma per Cancellare" (Blocklace)

Per dimostrare di aver svolto il proprio lavoro, le organizzazioni hanno bisogno di un registro storico condiviso. Di solito, questi registri sono come una catena di maglie di carta. Se vuoi cancellare un pezzo di carta da in mezzo alla catena, devi tagliare la catena, il che rompe l'intero sistema. Questo rende impossibile eliminare dati privati mantenendo però la prova che quei dati esistessero.

FSTP utilizza un sistema chiamato Blocklace, che è più simile a un albero di etichette pendenti.

Ogni etichetta punta a quella precedente tramite un filo.
Se hai bisogno di eliminare un documento privato (come un nome da un elenco), non tagli il filo. Devi solo bruciare la carta all'interno dell'etichetta.
L'etichetta stessa rimane appesa all'albero, ancora collegata al resto della catena.

Questo è chiamato un "puntatore sospeso" (dangling pointer). Il record dimostra che qualcosa è accaduto in quel momento, e la catena rimane integra e a tenuta di manomissione, ma il contenuto privato è sparito per sempre. Ciò consente alle organizzazioni di soddisfare le leggi che impongono di "cancellare i miei dati" senza rompere la prova che l'evento sia avvenuto.

Il Risultato: "Prova Senza Esposizione"

Il documento afferma che con questi tre strumenti, un auditor esterno può avvicinarsi al gruppo e dire:
"Posso vedere che il Sindacato ha votato, la Banca ha votato e voi entrambi siete concordi su un risultato. Posso verificare le vostre firme e che la catena non è stata manomessa."

Ma l'auditor non può vedere su cosa il Sindacato ha votato, chi ha votato o cosa dicevano le note interne della Banca. Le organizzazioni ottengono il beneficio di lavorare insieme e dimostrare la propria integrità, senza mai dover mostrare le proprie carte segrete sul tavolo.

Perché Questo è Importante

Il documento sottolinea che questa non è solo una teoria; sta venendo costruita in una piattaforma reale chiamata Velyzor per istituzioni che necessitano di alta sicurezza. Il codice è open-source, il che significa che chiunque può controllare il "Guardiano Severo" per assicurarsi che faccia davvero quanto dichiarato.

In breve, FSTP costruisce un ponte tra isole private dove è possibile stringersi la mano e scambiarsi buste sigillate, ma nessuno potrà mai vedere cosa c'è dentro le buste a meno che il proprietario non scelga di aprirle.

Sintesi Tecnica: Protocollo di Trasporto Sovrano Federato (FSTP)

Definizione del Problema

Gli attuali protocolli di rete federati (ad esempio, ActivityPub, Matrix) consentono la coordinazione decentralizzata ma si affidano alla politica dell'operatore piuttosto che a vincoli strutturali per l'applicazione del confinamento dei dati. In questi sistemi, sebbene siano definiti i formati dei messaggi e le semantiche di consegna, non esiste un meccanismo che impedisca a un server conforme di emettere dati interni (ad esempio, registri di deliberazione, voti dei membri) nella federazione. Di conseguenza, la privacy dei dati per i partecipanti istituzionali — come sindacati, partiti politici o imprese regolamentate — dipende dalla fiducia nell'osservanza della policy da parte dell'operatore piuttosto che dal protocollo stesso. Inoltre, i modelli di identità esistenti spesso si basano su identificatori globalmente risolvibili, portando al "collasso del contesto" (context collapse), dove distinti contesti sociali o istituzionali vengono appiattiti, permettendo la correlazione cross-context delle identità degli utenti. Infine, le architetture a registro lineare (ad esempio, le blockchain) faticano a conciliare il requisito di tracce di audit immutabili con gli obblighi legali di cancellazione dei dati (ad esempio, GDPR), poiché la cancellazione dei dati interrompe l'integrità della catena di hash.

Metodologia

Il documento introduce il Federated Sovereign Transport Protocol (FSTP), un confine di sincronizzazione e uno strato di trasporto progettato per reti federate con requisiti di privacy eterogenei. La metodologia si basa su tre primitive fondamentali:

L'Agente di Sincronizzazione (SA - Synchronization Agent):
- Agisce come l'interfaccia esclusiva tra il archivio dati interno di un nodo ( $D_{raw}$ ) e la rete federata ( $D_{pub}$ ).
- Confinamento al Tempo di Compilazione: Implementato in Rust, l'SA impone il confinamento dei dati tramite il sistema di tipi. Utilizza un'enumerazione chiusa (FstpMessage) che rappresenta solo i tipi di output autorizzati. Poiché Rust richiede il pattern matching esaustivo e i tipi di dati interni non sono membri di questa enumerazione, il compilatore rifiuta staticamente qualsiasi percorso di codice che tenti di costruire un messaggio di federazione a partire da dati interni grezzi. Ciò trasforma il confinamento dei dati da un controllo a runtime in una garanzia strutturale a tempo di compilazione.
- Macchina a Stati: L'agente transita attraverso stati (idle, validazione, composizione, trasmissione, logging). Qualsiasi violazione dell'invariante di confinamento ( $m \cap D_{raw} = \emptyset$ ) innesca un percorso di errore che registra la violazione e resetta l'agente.
Modello di Identità Contestuale:
- Affronta il problema della correlazione cross-context. Ogni entità possiede un'Identità Globale (GII) ma deriva un'Identità Contestuale (CII) unica per ogni relazione di federazione utilizzando una funzione unidirezionale parametrizzata dal contesto della relazione.
- Unlinkability Strutturale: La CII è stabile all'interno di una specifica relazione, ma non può essere collegata alla GII o ad altre CII in altre relazioni senza la cooperazione dell'entità. Ciò impedisce strutturalmente il collasso del contesto.
- Minima Divulgazione: Le credenziali verificabili vengono presentate sotto la specifica CII, divulgando solo le affermazioni necessarie per tale interazione.
Substrato di Eventi Blocklace:
- Sostituisce i log lineari append-only con un grafo aciclico diretto (DAG) di blocchi firmati.
- Ordinamento Parziale: Permette a eventi concorrenti di esistere come rami paralleli senza una serializzazione forzata, preservando la struttura temporale delle decisioni distribuite.
- Compatibilità con la Cancellazione: Il Blocklace memorizza puntatori hash agli eventi anziché gli eventi stessi. Per soddisfare gli obblighi di cancellazione dei dati, il contenuto viene eliminato dal data store, lasciando un "puntatore pendente" (dangling pointer): la struttura del blocco rimane intatta con il suo hash originale, preservando la prova di manomissione della catena di hash pur rimuovendo il contenuto sensibile.
- Efficienza: La sincronizzazione avviene tramite scambio di frontiera (frontier exchange). Il costo è proporzionale alla differenza simmetrica ( $\Delta$ ) tra gli stati dei nodi.

Contributi Chiave

Confinamento dei Dati Strutturale: Il documento dimostra che il confinamento dei dati può essere imposto dal protocollo stesso piuttosto che dalla policy dell'operatore. Sfruttando il sistema di tipi di Rust, l'FSTP garantisce che i dati interni grezzi non possano essere emessi, anche da un peer conforme ma avversario.
Prova Senza Esposizione: Il protocollo consente a un partecipante alla federazione di verificare che un processo sia avvenuto, che una credenziale sia autentica e che un esito sia integro, senza accedere ai dati interni che hanno prodotto tali artefatti.
Risoluzione del Conflitto Cancellazione-Integrità: Il meccanismo di "puntatore pendente" del Blocklace fornisce una soluzione strutturale all'incompatibilità tra tracce di audit immutabili e diritti di cancellazione dei dati, un limite intrinseco nei design di registri lineari.
Isolamento Contestuale: Il protocollo impedisce strutturalmente la correlazione delle identità attraverso diverse relazioni di federazione, affrontando un difetto fondamentale di privacy dei sistemi federati esistenti.

Risultati

Il documento presenta benchmark empirici per l'implementazione di riferimento (scritta in Rust) per validare le affermazioni di efficienza del substrato Blocklace:

Costo di Emissione: Il tempo per generare i delta di sincronizzazione (sync_delta) scala linearmente con la differenza simmetrica ( $\Delta$ ). Il throughput rimane stabile a circa 2.3 Melem/s indipendentemente dalla dimensione di $\Delta$ .
Indipendenza dalla Dimensione della Storia: Il costo di emissione è statisticamente insensibile alla dimensione della storia condivisa ( $N$ ), anche quando $N$ aumenta di 50 volte (da 100 a 5.000 blocchi).
Costo di Ricezione: Dopo aver ottimizzato il meccanismo di aggiornamento della cache della frontiera in modo incrementale, il costo di ricezione (merge_blocks) scala anch'esso linearmente con $\Delta$ . L'implementazione iniziale soffriva di un overhead $O(N)$ dovuto alla ricostruzione completa della cache, che è stato ridotto del 91–98% nella versione ottimizzata.
Caso di Studio: Uno scenario di governance a tre istituzioni dimostra che un auditor esterno può verificare la legittimità di una decisione collettiva confrontando un record di deliberazione divulgato con un hash nel Blocklace, senza richiedere l'accesso ai record di deliberazione delle altre istituzioni partecipanti.

Significato e Rivendicazioni

Il documento posiziona l'FSTP non come una pura proposta accademica, ma come lo strato di trasporto inter-nodo per Velyzor, una piattaforma di governance per istituzioni con requisiti di riservatezza elevati.

Il significato primario rivendicato è lo spostamento della sovranità dei dati da un'opzione di configurazione a una conseguenza strutturale del deployment. Il protocollo non richiede che i nodi siano "decentralizzati" in senso filosofico; piuttosto, l'atto di distribuire un nodo conforme con l'agente di sincronizzazione garantisce strutturalmente che i dati interni rimangano interni.

Gli autori sottolineano che l'argomento di sicurezza si basa sulla natura open-source dell'implementazione di riferimento (licenza Apache 2.0). La garanzia di confinamento dipende dalla capacità di qualsiasi peer della federazione di ispezionare, compilare e verificare il codice sorgente per assicurarsi che l'enumerazione FstpMessage non sia stata modificata per consentire l'emissione di dati grezzi.

Il documento conclude che l'FSTP colma una lacuna critica nelle reti federate fornendo uno strato di trasporto che supporta simultaneamente requisiti di privacy eterogenei, isolamento dell'identità strutturale e conformità normativa (specificamente riguardo alla cancellazione dei dati), proprietà che i protocolli esistenti affrontano solo parzialmente o per nulla. Il lavoro futuro identifica la quantificazione formale della fuga di metadati del traffico e il benchmarking empirico in condizioni di rete realistiche con connettività intermittente.