A Practical Post-Quantum Distributed Ledger Protocol for Financial Institutions

Il paper propone un protocollo di registro distribuito post-quantistico basato su reticoli, che utilizza nuove tecniche di prova a conoscenza zero e range-proof compatti per garantire riservatezza, auditabilità ed efficienza nelle transazioni finanziarie, superando i limiti dei modelli Ring-CT esistenti.

L'essenziale

Ecco una spiegazione semplice e creativa del documento, pensata per chiunque, anche senza conoscenze tecniche di informatica o finanza.

Il Titolo: "Un Conto in Banca Futuristico e Inviolabile"

Immagina che il sistema bancario attuale sia come un grande registro di carta in una stanza chiusa. Solo il banchiere può vederlo. Se vuoi sapere quanto hai, devi fidarti ciecamente di lui. Se vuoi trasferire soldi a un amico, lui deve annotarlo, e tutti devono fidarsi che non abbia sbagliato o rubato.

Oggi, le banche vogliono usare una tecnologia chiamata Blockchain (un registro digitale condiviso) per essere più veloci ed efficienti. Ma c'è un grosso problema: le blockchain pubbliche sono come un tabellone luminoso in piazza. Tutti possono vedere chi ha mandato cosa a chi e per quanto. Per una banca, questo è un incubo: i clienti non vogliono che il mondo sappia quanto hanno in conto o con chi fanno affari.

Gli scienziati di JPMorganChase (gli autori di questo documento) hanno creato una soluzione: PQ-TaDL. È come un registro segreto, ma verificabile da tutti, che resiste anche ai computer del futuro.

Ecco come funziona, spiegato con metafore:

---

1. Il Problema: "Il Registro di Carta vs. Il Tabellone Luminoso"

• I vecchi sistemi: Sono lenti e costosi perché richiedono intermediari (banchieri, notai) che controllano tutto.
• Le blockchain attuali (come Bitcoin o Monero): Sono veloci, ma usano trucchi matematici basati su problemi che i computer quantistici (i super-computer del futuro) potranno risolvere in pochi secondi. Sarebbe come se un ladro avesse una chiave master per aprire tutte le casseforti del mondo. Inoltre, alcune blockchain usano metodi che rendono difficile per le banche controllare i bilanci in modo efficiente.

2. La Soluzione: "Il Registro a Griglia Segreta" (ETL)

Gli autori propongono di non usare la blockchain classica, ma un Registro Basato su Tabelle Crittografate (ETL).

• L'Analogia: Immagina un'enorme griglia Excel digitale.
  • Ogni colonna è un cliente (o una banca).
  • Ogni riga è una transazione.
  • Invece di scrivere "Mario ha dato 100 euro a Luigi", nella griglia c'è solo un codice cifrato (un "commitment").
  • Il totale del conto di Mario è semplicemente la somma di tutti i codici nella sua colonna.

Perché è meglio?
Perché è facile per un revisore (auditor) controllare la colonna di Mario senza dover leggere ogni singola riga del mondo. È come se avessi un contatore che ti dice subito "Totale: 1 milione", senza dover sommare a mano ogni centesimo.

3. La Magia: "I Proverbi Matematici" (Zero-Knowledge Proofs)

Come fanno a sapere che i soldi sono reali senza vedere i soldi? Usano i Prove a Conoscenza Zero.

• L'Analogia: Immagina di voler dimostrare a un amico che hai la chiave di casa tua, senza mostrargli la chiave e senza entrare in casa.
  • Il tuo amico ti dice: "Apri la porta di sinistra". Tu lo fai.
  • Poi dice: "Apri la porta di destra". Tu lo fai.
  • Ripeti questo gioco per 100 volte.
  • Alla fine, il tuo amico è certo al 99,9% che hai la chiave, ma non ha mai visto la chiave e non sa dove sia la casa.

Nel protocollo PQ-TaDL, ogni transazione è accompagnata da questi "giochi matematici" che provano:

1. Bilancio: Non hai creato soldi dal nulla (la somma è zero).
2. Coerenza: I codici sono stati scritti correttamente.
3. Equivalenza: "Questo codice che ho ricevuto è lo stesso che tu hai inviato", anche se non so il segreto per aprirlo.
4. Asset: Hai abbastanza fondi per pagare.

4. Il Superpotere: "La Chiave Anti-Mostro" (Post-Quantum)

Il vero punto di forza di questo lavoro è che è Post-Quantum.

• Il Pericolo: I computer quantistici futuri saranno così potenti da rompere le attuali serrature matematiche (come quelle che usano le banche oggi). Sarebbe come se il ladro avesse un laser che taglia qualsiasi lucchetto.
• La Serratura Nuova: Gli autori hanno usato una nuova matematica basata sui Reticoli (Lattice).
  • L'Analogia: Immagina di dover trovare un ago in un pagliaio. Le vecchie serrature sono come cercare un ago in un pagliaio ordinato: il computer quantistico può ordinare il pagliaio e trovare l'ago in un secondo.
  • La nuova serratura è come un pagliaio caotico e tridimensionale, dove gli aghi sono mescolati in modo che nemmeno un computer quantistico possa ordinarli velocemente. È una "serratura anti-mostro".

5. Perché è utile per le Banche?

1. Privacy Totale: Nessuno vede chi paga chi o quanto, ma la banca può controllare i propri clienti.
2. Audit Facile: Le banche devono essere controllate dai regolatori. Con questo sistema, il revisore può verificare il saldo di un cliente in modo istantaneo e sicuro, senza dover scansionare milioni di transazioni (cosa che le altre blockchain faticano a fare).
3. Multi-Asset: Puoi scambiare non solo "soldi", ma anche azioni, obbligazioni o valute diverse nello stesso movimento, tutto in modo sicuro.
4. Nessun "Finto Soldi": Il sistema garantisce matematicamente che se un cliente riceve un token, questo token è spendibile e reale. Non ci sono "token fantasma" che appaiono sul conto ma non si possono usare.

In Sintesi

Gli autori di JPMorganChase hanno inventato un nuovo modo di tenere i conti bancari digitali.
È come se avessero costruito una cassaforte di vetro:

• Dall'esterno sembra un blocco di cemento opaco (nessuno vede i soldi).
• Dentro c'è un meccanismo che permette di dimostrare matematicamente che i soldi ci sono e sono stati spostati correttamente.
• È costruita con un materiale così resistente che nemmeno i super-computer del futuro (quantistici) potranno aprirla.

Questo permette alle banche di usare la velocità della tecnologia moderna senza sacrificare la privacy dei clienti o la sicurezza dei loro asset.

Sommario tecnico

Ecco una sintesi tecnica dettagliata del documento "A Practical Post-Quantum Distributed Ledger Protocol for Financial Institutions" (Un protocollo pratico per registri distribuiti post-quantum per istituzioni finanziarie), scritto dai ricercatori di JPMorgan Chase.

1. Il Problema

Le istituzioni finanziarie tradizionali affrontano inefficienze che potrebbero essere risolte dalla tecnologia dei registri distribuiti (DLT). Tuttavia, l'adozione è ostacolata da due fattori principali:

• Privacy: I protocolli pubblici tradizionali espongono i dati delle transazioni, violando la riservatezza richiesta dalle banche.
• Inadeguatezza degli schemi esistenti:
  • I protocolli basati su Ring-CT (Confidential Transactions ad Anello), utilizzati in criptovalute come Monero, offrono privacy ma sono inadatti alle istituzioni finanziarie. L'uso di indirizzi stealth complica l'audit (verifica) dello stato del conto, richiedendo la scansione dell'intera cronologia delle transazioni. Inoltre, non garantiscono che un token ricevuto sia spendibile (mancanza di prova di "well-formedness" della chiave di spesa).
  • Le soluzioni esistenti basate su ETL (Encrypted Table-based Ledger) sono efficienti per l'audit ma si basano su assunzioni di logaritmo discreto, che sono vulnerabili agli attacchi dei computer quantistici (algoritmo di Shor).

L'obiettivo è creare un protocollo DLT post-quantum, basato su lattice (reticoli), che supporti transazioni multi-asset, garantisca la privacy, permetta un audit efficiente e assicuri che i token ricevuti siano sempre spendibili.

2. Metodologia

Gli autori propongono PQ-TaDL (Post-Quantum Table-based Distributed Ledger), uno schema di transazione basato su reticoli (lattice-based) progettato specificamente per un modello di registro a tabella cifrata (ETL).

Architettura di Base (ETL)

A differenza del modello UTXO (Unspent Transaction Output) usato da Bitcoin, PQ-TaDL utilizza un modello a tabella:

• Ogni partecipante è una colonna.
• Ogni transazione è una riga.
• Lo stato del conto è la somma delle voci nella colonna.
• I valori sono nascosti tramite commitment omomorfi basati su lattice (BDLOP e ABDLOP).

Componenti Critiche e Tecniche Crittografiche

Il protocollo si basa su diverse prove a conoscenza zero (ZKP) per garantire l'integrità senza rivelare i dati:

1. Commitment e Estraibilità:

   • Utilizza uno schema di commitment che include non solo il valore $v$, ma anche $\sqrt{q}v$ (dove $q$ è il modulo primo). Questo permette al proprietario del conto di estrarre il valore esatto dal commitment ricevuto, risolvendo il problema della spendibilità dei token presente in altri schemi.
   • Introduce una nuova tecnica per dimostrare l'equivalenza tra due commitment senza conoscere il valore casuale (randomness) originale usato per crearli. Questo è fondamentale quando un ricevitore deve "ri-commitmentare" un valore ricevuto per spendere successivamente.

2. Prove a Conoscenza Zero (ZKP) Specifiche:

   • Proof of Balance (PoB): Dimostra che la somma dei valori in una transazione è zero (conservazione del valore).
   • Proof of Consistency (PoC): Verifica che il commitment sia ben formato, che il valore nascosto sia coerente con la struttura matematica e che il valore casuale (randomness) sia "corto" (short).
   • Proof of Equivalence (PoE): Permette di dimostrare che due commitment diversi contengono lo stesso valore, anche se generati con randomness diversi, senza rivelare il valore stesso.
   • Proof of Asset (PoA): Una prova di intervallo (range proof) che verifica che il saldo del partecipante sia sufficiente e positivo, utilizzando una rappresentazione compatta nel dominio NTT (Number Theoretic Transform).

3. Sicurezza Post-Quantum:

   • La sicurezza si basa sulle difficoltà computazionali dei problemi MLWE (Module Learning With Errors) e MSIS (Module Short Integer Solution).
   • Viene fornita un'analisi di sicurezza nel modello QROM (Quantum Random Oracle Model), dimostrando che le prove sono "Quantum Proofs of Knowledge" (QPoK), un requisito essenziale per resistere agli attacchi quantistici.

4. Ottimizzazione Multi-Asset (PQ-TaDL Compact):

   • Viene proposta un'estensione che codifica più valori di asset diversi in un singolo elemento dell'anello polinomiale, riducendo la dimensione delle prove e migliorando la scalabilità.

3. Contributi Chiave

• PQ-TaDL: Un nuovo schema di transazione basato su lattice per registri ETL, che supporta transazioni multi-asset, token spendibili verificabili e audit efficiente dello stato dei conti.
• Nuova Tecnica di Equivalenza: Un metodo innovativo per dimostrare che due commitment condividono lo stesso valore senza conoscere il randomness originale, risolvendo un problema critico per l'audit e la ri-spending in ambienti ETL.
• Analisi di Sicurezza QROM: A differenza di molti lavori precedenti che si limitano al modello ROM classico, questo lavoro fornisce una prova di sicurezza rigorosa nel modello QROM, garantendo la resistenza agli attacchi quantistici.
• Prove di Conoscenza Quantistica: Dimostrazione che i protocolli Sigma utilizzati sono "weakly collapsing", permettendo l'estrazione della conoscenza (witness) anche da avversari quantistici.
• PQ-TaDL Compact: Un'estensione che riduce la complessità computazionale e di comunicazione per le transazioni multi-asset.

4. Risultati e Valutazione

Gli autori hanno implementato il protocollo in Rust e lo hanno testato su un MacBook M3 Pro.

• Prestazioni:
  • Il tempo di generazione della prova (proving time) per partecipante è di circa 500 ms per una transazione standard.
  • La verifica è molto più rapida, circa 25 ms.
  • Nella modalità compatta (multi-asset), il tempo di prova sale a circa 900 ms per partecipante, ma si riduce drasticamente a livello per-asset (3.5 ms).
• Dimensioni della Comunicazione:
  • La dimensione della transazione per partecipante per asset è di circa 1078 KB (versione standard).
  • Nella versione compatta, la dimensione totale è di circa 1562 KB, che si ammortizza a circa 6.1 KB per partecipante per asset, rendendolo pratico per sistemi con un numero limitato di partecipanti (tipico delle istituzioni finanziarie).
• Confronto con Ring-CT:
  • PQ-TaDL offre auditabilità personalizzabile (chiave di audit specifica per partecipante) e garantisce che i token ricevuti siano sempre spendibili, a differenza di MatRiCT+ (uno schema Ring-CT basato su lattice) che soffre di inefficienze nell'audit e non garantisce la spendibilità senza assunzioni di onestà del mittente.

5. Significato

Questo lavoro rappresenta un passo significativo verso l'adozione pratica della tecnologia blockchain nei sistemi finanziari tradizionali.

• Risolve il dilemma Privacy vs Audit: Permette di nascondere i dettagli delle transazioni (valori e controparti) mantenendo la possibilità di auditare lo stato dei conti in modo efficiente e senza dover scansionare l'intera catena.
• Preparazione al Post-Quantum: Offre una soluzione pronta per l'era quantistica, proteggendo i sistemi finanziari da future minacce di decrittazione.
• Fattibilità Pratica: Le analisi delle prestazioni dimostrano che, sebbene le prove crittografiche basate su lattice siano più pesanti di quelle tradizionali, i tempi di elaborazione sono accettabili per un ambiente permissioned (autorizzato) come quello bancario, dove il numero di partecipanti è gestibile.

In sintesi, PQ-TaDL fornisce un framework teorico e pratico per un registro distribuito sicuro, privato e auditabile, specificamente progettato per soddisfare i requisiti rigorosi delle istituzioni finanziarie nell'era post-quantum.