Riepilogo Tecnico: Intercloud – Coerenza Eventuale per Economie Decentralizzate tramite Consenso dell'Effetto Paralizzante

1. Enunciato del Problema

Il documento individua due inefficienze fondamentali nelle attuali reti economiche decentralizzate (blockchain):

1. Il Problema dei Costi: I modelli di consenso globale (ad es. Proof-of-Work, Proof-of-Stake) distribuiscono un budget di sicurezza uniforme su tutte le transazioni. Un trasferimento di 1 dollaro consuma le stesse risorse di validazione di un trasferimento di 1 miliardo di dollari, portando a una scalabilità sub-lineare in cui i costi di sicurezza non corrispondono al valore economico.
2. Il Problema della Privacy: I registri globali richiedono che tutti i validatori visualizzino i dati delle transazioni in testo semplice, i saldi e la logica dei contratti intelligenti. Ciò consente l'analisi del grafo delle transazioni che può de-anonimizzare gli utenti, anche con indirizzi pseudonimi.

Le soluzioni esistenti, come Monero o Zcash, offrono una privacy parziale ma rivelano comunque le strutture dei grafi delle transazioni o richiedono la partecipazione globale per ogni transazione. Il documento sostiene un modello in cui la sicurezza scala con il valore e la privacy è intrinseca al meccanismo di consenso.

2. Metodologia e Architettura

Intercloud è una rete economica decentralizzata costruita sul modello della Macchina Magarshak, estendendolo a un contesto distribuito. La sua innovazione architetturale fondamentale è la rigorosa separazione del Livello di Integrità (sicurizzato dai Guardiani) e del Livello dei Dati (gestito dai proprietari degli stream ed esecutori).

A. Componenti Principali

• Stream: Registri di messaggi append-only ($M_i$) di proprietà di una chiave pubblica ($k_i$). Lo stato è definito da un hash crittografico ($h_i$).
• Sciami di Guardiani: La sicurezza è fornita da sciami di nodi che osservano solo gli hash crittografici degli stati degli stream, mai il testo semplice. Non vedono saldi, importi o logica delle regole.
• Epoche e Assegnazione VRF: Il tempo è diviso in epoche. All'inizio di ogni epoca, una Funzione Random Verificabile (VRF), seminata da un singolo oracolo casuale globale, assegna uno specifico sciame di Guardiani a ogni stream.
• Stati degli Stream: Gli stream esistono in uno di tre colori:
  • Verde: Finalità raggiunta (attestazione della supermaggioranza).
  • Giallo: Transazioni in corso; la finalità non è ancora raggiunta.
  • Rosso: Corruzione rilevata; lo stream non è attendibile fino al prossimo mescolamento dell'epoca.

B. Meccanismi Chiave

1. Deduplicazione dell'Increspatura (Ripple):
   Per prevenire loop infiniti di esecuzione reattiva senza coordinamento globale, ogni increspatura di esecuzione è contrassegnata da un identificatore univoco ($rID$) composto dall'ID di origine, dall'hash del messaggio e dall'epoca. I nodi mantengono una tabella hash locale degli $rID$ osservati per due epoche. Se un nodo riceve un'increspatura che ha già elaborato nell'epoca corrente, la scarta. Ciò garantisce la terminazione in tempo limitato ($N$ salti) senza consenso globale.

2. Consenso dell'Effetto Paralizzante:
   A differenza dei protocolli di voto tradizionali in cui i nodi scelgono tra valori in competizione, Intercloud utilizza l'attestazione di assenza. Uno sciame raggiunge la finalità quando una supermaggioranza ($>2/3$) verifica indipendentemente tramite gossip di non aver visto nessuna prova contraria per un hash specifico durante l'epoca.

   • Prova di Corruzione (PoC): Se un Guardiano firma attestazioni per due hash diversi nella stessa epoca, genera automaticamente una PoC auto-certificante. Questa prova è inconfutabile e non richiede una terza parte per la verifica.
   • Deterrenza: L'"effetto paralizzante" sorge perché produrre una PoC porta a una condanna immediata e irrevocabile e al taglio della quota di partecipazione (slashing) del nodo.

3. Modello Economico e Monete Locali:

   • Intercoin: Una valuta di riserva globale che rappresenta il "peso di sicurezza".
   • Invariante di Garanzia: Ogni stream deve mettere in staking Intercoin ($INTER_i$) proporzionale al valore che detiene. Il peso di sicurezza traccia automaticamente il valore economico tramite un'identità prodotto scalare: $V_i = \sum (saldo[c] \times tassoDiCambio(c))$.
   • Dimensionamento dello Sciame: La dimensione di uno sciame di Guardiani ($n_i$) è proporzionale alla radice quadrata dello staking di Intercoin dello stream ($n_i \approx c\sqrt{INTER_i}$). Uno stream che detiene 1 dollaro utilizza circa 35 Guardiani; uno stream che detiene 1 milione di dollari ne utilizza circa 35.000.
   • Separazione Moneta-Contenuto: Il "livello moneta" (saldi, trasferimenti, tassi di cambio) è visibile come hash sul livello di integrità, permettendo ai regolatori di osservare i flussi aggregati di valore. Il "livello contenuto" (messaggi, accordi) rimane crittografato end-to-end e invisibile ai Guardiani.

3. Contributi Chiave e Risultati Teorici

Il documento presenta una pila formale di teoremi che dimostrano le proprietà del sistema:

• Terminazione dell'Increspatura Distribuita (Teorema 2): Dimostra che le increspature di esecuzione reattiva terminano entro $N$ salti in una rete finita, basandosi sulla deduplicazione locale e su commissioni positive per salto, senza coordinamento globale.
• Sicurezza dello Sciame (Teorema 3): Adatta il limite inferiore di Hoepman [2] per mostrare che uno sciame di dimensione $n \approx 35$ (per parametri standard) è sufficiente a prevenire la doppia spesa con probabilità $1 - e^{-s}$, indipendentemente dalla dimensione totale della rete $N$. La sicurezza scala con la radice quadrata del valore.
• Caratterizzazione del Disaccordo (Teorema 9): Dimostra che due clienti corretti possono detenere solo attestazioni di finalità conflittuali se l'avversario compromette simultaneamente (a) una supermaggioranza dello sciame assegnato E (b) isola entrambi i clienti da tutti i nodi onesti. La probabilità che ciò accada è trascurabile.
• Inapplicabilità del Principio di Buridano (Teorema 10): Dimostra che il meccanismo di consenso non è soggetto al Principio di Buridano di Lamport. Poiché la decisione si basa sull'assenza di prove (un conteggio intero discreto di attestazioni) piuttosto che su una scelta continua tra due valori in competizione, il sistema evita l'indecisione indefinita.
• Incorruttibilità Razionale (Teorema 15): Utilizzando la teoria dei giochi, il documento dimostra che nessun nodo razionale tenterà di corrompere uno stream. Il costo della corruzione (taglio dello staking di Intercoin) supera rigorosamente il potenziale guadagno, specialmente data la presenza di meccanismi di vesting che impediscono il prelievo immediato delle ricompense guadagnate.
• La Sicurezza Traccia il Valore (Teorema 16): Dimostra che il peso di sicurezza allocato a uno stream è automaticamente proporzionale al suo valore economico tramite l'invariante di garanzia e l'identità prodotto scalare.
• Consenso Globale Minimo (Teorema 12): Stabilisce che l'unico accordo globale richiesto è la sequenza di semi casuali per la VRF. Tutto il resto del consenso è locale allo sciame dello stream, riducendo il costo globale per transazione a $O(N)$ messaggi per epoca (amortizzato a quasi zero).

4. Risultati e Significato

Il documento afferma che Intercloud realizza una combinazione unica di proprietà non trovata nei sistemi precedenti:

• Costo di Validazione Sub-lineare: Il costo di validazione per transazione è indipendente dalla dimensione della rete ($O(1)$ amortizzato), scalando invece con la radice quadrata del valore della transazione.
• Privacy Solo Hash: I nodi Guardiani non vedono mai il testo semplice, fornendo garanzie di privacy più forti rispetto alle attuali criptovalute privacy che rivelano comunque i grafi delle transazioni.
• Sicurezza Auto-calibrante: Il sistema alloca automaticamente più sicurezza agli stream di valore più elevato senza configurazione manuale.
• Finalità Esplicita: Gli utenti possono scegliere la propria tolleranza al rischio (attendere il Verde o accettare il Giallo), modellando la valutazione del rischio economico reale piuttosto che imporre una singola risoluzione globale per tutte le controversie.
• Osservabilità Regolatoria: I regolatori possono osservare il flusso di valore economico (peso Intercoin) tra gli stream senza accedere ai dettagli privati delle transazioni, bilanciando trasparenza e privacy.

Il documento conclude che Intercloud definisce un nuovo paradigma in cui le economie di macchine a stati distribuiti coordinano senza un registro globale, sostituendo il voto bizantino con il consenso dell'"effetto paralizzante" e garantendo che i costi di sicurezza scalino proporzionalmente al valore protetto.