Strategies for quantum-enabled Bitcoin miners

Sintesi Tecnica: Strategie per Miner di Bitcoin Abilitati dal Quantum

Problematica
La sicurezza della rete Bitcoin si basa sull'assunto che l'esecuzione di un "attacco al 51%" — in cui un consorzio controlla la maggioranza della potenza computazionale della rete per il doppio dispendio (double-spending) o l'inversione delle transazioni — sia proibitivamente costosa. Sebbene lavori precedenti abbiano teoricamente suggerito che l'algoritmo di Grover possa ridurre il costo di un tale attacco fornendo un'accelerazione quadratica nella risoluzione del problema della Proof-of-Work (PoW), tali studi si sono spesso limitati a modelli avversari ristretti. Nello specifico, i modelli precedenti limitavano i miner quantistici a una singola misurazione quantistica per ogni corsa al blocco e a una strategia "pacifica" (scartare la ricerca al momento della ricezione della trasmissione di un nuovo blocco). Questo articolo affronta il divario studiando l'impatto di due miner quantistici aggressivi e non colludenti sulla soglia di attacco al 51% all'interno di un modello avversario più realistico. Il problema centrale è determinare le strategie di mining quantistico ottimali per due miner concorrenti che possono eseguire molteplici misurazioni e utilizzare la strategia di mining quantistico aggressivo (AQMS) di Sattath, e quantificare l'effetto risultante sul tasso di blocchi obsoleti ($p_{stale}$) e sulla soglia effettiva di attacco al 51%.

Metodologia
Gli autori estendono il framework game-teorico delle Gare Quantistiche Simmetriche tra Due Giocatori (S2QR) per modellare la competizione tra due miner quantistici, Alice e Bob, all'interno di una rete Bitcoin altrimenti classica.

1. Estensioni del Modello:

   • Misurazioni Multiple: A differenza dei modelli precedenti che assumono una singola misurazione, questo modello consente ai miner di eseguire $c$ misurazioni quantistiche tra blocchi successivi.
   • Strategia Aggressiva: Il modello incorpora l'AQMS di Sattath, in cui i miner interrompono la ricerca e misurano immediatamente dopo aver ricevuto la trasmissione di un nuovo blocco, invece di scartare il proprio sforzo computazionale. Questa strategia aumenta la correlazione tra i tempi di misurazione e la scoperta del blocco, aumentando potenzialmente il tasso di blocchi obsoleti.
   • Vincoli di Risorse: I miner operano sotto un budget cumulativo di iterazioni di Grover $\kappa$, distribuito su $c$ misurazioni. Lo spazio delle strategie consiste nell'allocare queste iterazioni per massimizzare la probabilità di essere i primi a trovare un blocco valido.

2. Formulazione Game-Teorica:

   • La competizione è modellata come un gioco strategico in cui Alice e Bob scelgono strategie pure (vettori di iterazioni di Grover per ciascuna delle loro $c$ misurazioni).
   • Matrici di Payoff: Gli autori derivano espressioni in forma chiusa per le matrici di payoff ($A$ e $B$) per entrambi i giocatori. Queste matrici tengono conto di:
     • La probabilità di successo dell'algoritmo di Ricerca Quantistica a Budget Finito (FQS) basata sul numero di iterazioni di Grover.
     • La struttura additiva dei payoff attraverso molteplici misurazioni.
     • I termini introdotti dall'AQMS, che modificano i payoff quando un miner misura dopo che un avversario ha già trovato una soluzione (o quando le misurazioni avvengono simultaneamente).
   • Calcolo dell'Equilibrio: Le strategie ottimali sono identificate come equilibri di Nash. A causa dell'esplosione combinatoria dello spazio delle strategie (che cresce con $c$), gli autori utilizzano un euristica per campionare lo spazio delle strategie pure e utilizzano l'algoritmo di Lemke-Howson per calcolare gli equilibri di Nash esatti.

3. Simulazione:

   • Per valutare l'impatto sulla sicurezza, gli autori eseguono simulazioni Monte Carlo (1.000.000 di giorni) utilizzando gli equilibri di Nash calcolati.
   • Le simulazioni monitorano il tasso di blocchi obsoleti ($p_{stale}$), definito come il rapporto tra i blocchi al di fuori della catena più lunga e il totale dei blocchi.
   • Lo studio valuta se $p_{stale}$ supera la soglia critica di $1/3$, il che abbasserebbe la soglia effettiva di attacco al 51% al 40% o meno.
   • Le simulazioni sono condotte attraverso tre regimi di difficoltà di rete: Bassa ($D \le 2^{32}$), Alta ($D > 2^{32}$, che riflette le difficoltà attuali e proiettate) e Ideale (dove l'oracolo quantistico codifica l'intero header del blocco).

Contributi Chiave

• Inclusione di Nuove Strategie: Il documento introduce la "Strategia di Mining Quantistico Aggressivo" (AQMS) in un framework game-teorico, analizzandone l'impatto insieme alle molteplici misurazioni quantistiche.
• Matrici di Payoff Generalizzate: Gli autori derivano la struttura matematica delle matrici di payoff per $c$ misurazioni quantistiche, estendendo il modello S2QR per gestire la natura cumulativa di molteplici tentativi e le specifiche correlazioni temporali indotte dall'AQMS.
• Calcolo della Strategia Ottimale: Lo studio calcola le strategie di mining quantistico ottimali (equilibri di Nash) per $c \in \{1, 2, 3, 4\}$ attraverso diversi regimi di difficoltà, rivelando come i miner debbano allocare i loro budget di iterazioni di Grover.
• Quantificazione della Sicurezza: Il documento fornisce una valutazione quantitativa della soglia di attacco al 51% sotto queste strategie ottimali, andando oltre le possibilità teoriche verso risultati simulati.

Risultati

• Strategie Ottimali:
  • Nel Regime ad Alta Difficoltà (attuale e proiettato), la strategia ottimale per entrambi i miner è quella di allocare tutte le risorse all'ultima misurazione. Il payoff atteso è estremamente basso ($\approx 8,9 \times 10^{-5}$) e i miner sono statisticamente indistinguibili dai miner classici.
  • Nei Regimi a Bassa Difficoltà e Ideale, i miner distribuiscono le risorse su molteplici misurazioni. Per $c=2$, le risorse sono divise per bilanciare la probabilità di successo rispetto al vantaggio temporale. Per $c \ge 3$, i miner spesso concentrano le risorse in meno misurazioni o eseguono zero iterazioni su alcuni tentativi per massimizzare la probabilità di successo quadratica di altri.
• Tasso di Blocchi Obsoleti e Soglia di Attacco al 51%:
  • Alta Difficoltà: L'impatto sul tasso di blocchi obsoleti è trascurabile. I percentili 95° e 99° di $p_{stale}$ sono effettivamente zero. La probabilità che $p_{stale}$ superi la soglia di $1/3$ è zero. La rete produce i previsti 144 blocchi al giorno e la presenza di miner quantistici è indecelabile.
  • Bassa Difficoltà/Ideale: Questi regimi mostrano un aumento significativo di $p_{stale}$, con alcuni giorni simulati che si avvicinano al benchmark di $1/3$. Tuttavia, la probabilità empirica di $p_{stale} > 1/3$ è estremamente piccola ($10^{-6}$ a $10^{-8}$).
  • Rilevamento: Nei regimi di Bassa Difficoltà e Ideale, la presenza di miner quantistici è statisticamente certa da rilevare ($P_{det} = 1$) a causa dell'anomalo tasso di fork, mentre nel regime ad Alta Difficoltà, il rilevamento è trascurabile.

Significatività e Rivendicazioni
Il documento conclude che la minaccia posta da due miner quantistici non colludenti che competono tra loro per la rete Bitcoin è trascurabile per il prossimo futuro.

• Preservazione della Sicurezza: Anche sotto le assunzioni più aggressive (misurazioni multiple, AQMS e gioco ottimale), il tasso di blocchi obsoleti risultante non supera sostenibilmente la soglia necessaria per rendere fattibile un attacco al 51%. La rete Bitcoin rimane sicura contro questo specifico modello avversario.
• Realismo: Gli autori sottolineano che i regimi in cui $p_{stale}$ aumenta significativamente (Bassa Difficoltà e Ideale) sono improbabili nella pratica. Il regime a Bassa Difficoltà richiede una difficoltà di rete non vista sin dall'inizio di Bitcoin, e il regime Ideale richiede un oracolo quantistico capace di codificare l'intero header del blocco a 640 bit, il che è tecnologicamente impraticabile allo stato attuale.
• Rilevamento: Negli scenari in cui il tasso di blocchi obsoleti aumenta, la rete rileverebbe statisticamente i miner quantistici immediatamente, permettendo potenziali contromisure.
• Ambito Modesto: Gli autori osservano che il loro modello rappresenta uno scenario "best-case" per i miner quantistici, poiché ignora gli oneri associati alla preparazione dello stato e alla costruzione dell'oracolo. Di conseguenza, l'impatto reale sul tasso di blocchi obsoleti sarebbe probabilmente ancora inferiore a quello previsto. Il lavoro stabilisce una base per studiare un numero maggiore di miner o strategie colludenti, ma afferma che, per due miner, la soglia di attacco al 51% rimane robusta.