1. Introduzione
Il documento affronta un problema economico fondamentale nelle reti blockchain decentralizzate, in particolare all'interno dei pool di mining Proof-of-Work (PoW). Sebbene la tecnologia blockchain consenta un consenso senza fiducia, il processo di mining stesso—risolvere enigmi crittografici per ottenere ricompense—è altamente stocastico. I singoli miner affrontano una significativa volatilità del reddito a causa dell'immensa potenza computazionale dell'intera rete. Questa volatilità incentiva la formazione di pool di mining, dove i partecipanti combinano le proprie risorse computazionali (hash power) per livellare le ricompense. La sfida principale diventa quindi progettare uno schema di ripartizione delle ricompense che distribuisca in modo equo ed efficiente le ricompense del blocco del pool tra i suoi contributori. Il documento propone un nuovo quadro concettuale per analizzare l'equità di tali schemi.
1.1. Protocolli di Consenso e Pool
I pool di mining sono una diretta conseguenza degli incentivi economici nelle blockchain PoW come Bitcoin. La probabilità che un singolo miner trovi un blocco valido (una "soluzione completa") è proporzionale alla sua quota dell'hash rate totale della rete. Per i piccoli miner, questa probabilità è trascurabile, portando a potenziali lunghi periodi senza ricompensa. I pool aggregano l'hash power, aumentando la frequenza di scoperta dei blocchi. Quando il pool ha successo, la ricompensa deve essere divisa. L'analisi del documento è cruciale perché la scelta dello schema di ripartizione impatta direttamente la partecipazione dei miner, la stabilità del pool e la sicurezza e decentralizzazione complessiva della rete blockchain.
2. Quadro Concettuale e Criteri di Equità
Gli autori spostano il focus analitico dai singoli miner ai share segnalati. Uno share è una soluzione parziale all'enigma crittografico che dimostra la proof of work ma non costituisce di per sé un blocco valido. La sequenza e la tempistica di questi share all'interno di un round di ricompensa formano la base per la distribuzione.
Il documento introduce due assiomi innovativi di equità:
2.1. Equità di Redistribuzione Assoluta
Questo criterio richiede che quando un nuovo share viene inviato al pool, influenzi il diritto alla ricompensa di tutti gli share precedentemente inviati della stessa quantità assoluta. Formalmente, se la ricompensa dello share $i$ cambia di $\Delta R_i$ in seguito all'invio dello share $j$, allora per qualsiasi altro share $k$, $\Delta R_k = \Delta R_i$. Ciò impone una forma forte di additività e indipendenza dal percorso alla funzione di ricompensa.
2.2. Equità di Redistribuzione Relativa
Questo criterio richiede che quando un nuovo share viene inviato, influenzi il diritto alla ricompensa di tutti gli share precedenti dello stesso rapporto relativo. Formalmente, $\frac{R_i^{new}}{R_i^{old}} = \frac{R_k^{new}}{R_k^{old}}$ per tutti gli share $i, k$ esistenti prima del nuovo share $j$. Ciò si concentra sulla preservazione delle relazioni proporzionali tra gli share mentre il pool evolve.
3. Caratterizzazione degli Schemi di Ripartizione delle Ricompense
Il principale contributo teorico è la caratterizzazione delle classi di schemi di ricompensa che soddisfano ciascun criterio di equità.
3.1. Schemi che Soddisfano l'Equità Assoluta
La classe di schemi che soddisfa l'Equità di Redistribuzione Assoluta è caratterizzata come quella in cui la ricompensa per uno share dipende solo dal numero di share inviati dopo di esso fino a quando non viene trovato un blocco. Un esempio canonico è lo schema Pay-Per-Last-N-Shares (PPLNS), dove le ricompense sono distribuite tra gli ultimi N share prima che un blocco venga trovato. L'arrivo di un nuovo share sposta semplicemente la "finestra" degli share eleggibili, influenzando tutti gli share precedenti in modo uguale in senso assoluto (tutti si avvicinano di un passo all'uscita dalla finestra).
3.2. Schemi che Soddisfano l'Equità Relativa
La classe di schemi che soddisfa l'Equità di Redistribuzione Relativa è caratterizzata come quella in cui la ricompensa per uno share è proporzionale a una funzione che dipende solo dal numero di share inviati prima di esso. L'esempio più famoso è lo schema Proporzionale (PROP), dove ogni share riceve una ricompensa proporzionale al numero totale di share inviati nel round. Quando arriva un nuovo share, diluisce la ricompensa per tutti gli share esistenti dello stesso fattore relativo.
3.3. L'Intersezione e lo Schema Proporzionale
Si dimostra che l'intersezione delle due classi—schemi che soddisfano sia l'Equità Assoluta che Relativa—è una generalizzazione a un parametro dello schema Proporzionale. Un corollario di questo risultato è una nuova caratterizzazione assiomatica dello schema Proporzionale classico stesso: esso è l'unico schema che soddisfa entrambi i criteri di equità simultaneamente sotto una condizione di normalizzazione naturale. Ciò fornisce una solida giustificazione teorica per l'uso diffuso di PROP, nonostante la sua nota vulnerabilità al pool-hopping.
4. Dettagli Tecnici e Formulazione Matematica
Sia $S = (s_1, s_2, ..., s_n)$ la sequenza di share inviati in un round che termina con una soluzione completa (blocco) allo share $s_n$. Uno schema di ripartizione delle ricompense è una funzione $R(i, S)$ che assegna una ricompensa allo share $s_i$.
Equità di Redistribuzione Assoluta (ARF): Per qualsiasi sequenza $S$ e $S'$ dove $S'$ è $S$ con un ulteriore share inserito alla posizione $j$, e per qualsiasi $i, k < j$, abbiamo: $$R(i, S') - R(i, S) = R(k, S') - R(k, S)$$
Equità di Redistribuzione Relativa (RRF): Per le stesse $S, S', i, k$ di cui sopra: $$\frac{R(i, S')}{R(i, S)} = \frac{R(k, S')}{R(k, S)}$$
Il documento dimostra che ARF implica $R(i, S) = f(n-i)$ per qualche funzione $f$, dove $(n-i)$ è il numero di share dopo $s_i$. RRF implica $R(i, S) = g(i) \cdot B$, dove $g(i)$ dipende dalla posizione dello share e $B$ è la ricompensa totale del blocco. L'intersezione porta a $R(i, S) = \frac{c \cdot B}{i^{\alpha}}$ per costanti $c, \alpha$, con $\alpha=0$ che produce lo schema Proporzionale.
5. Quadro Analitico: Insight Fondamentale e Critica
Insight Fondamentale: Questo documento non riguarda solo i pool di mining; è una lezione magistrale nell'applicare la teoria assiomatica dell'allocazione delle risorse (si pensi al lavoro seminale sull'equità di Moulin o Young) a un sistema cripto-economico reale e complesso. La mossa geniale degli autori è riformulare il problema da "come pagare i miner" a "quali sono le proprietà intrinseche di una sequenza di pagamento equa?" Centrando l'analisi sugli share piuttosto che sui miner, spogliano il problema dalle assunzioni comportamentali e isolano la logica pura della distribuzione. I teoremi di caratterizzazione risultanti sono eleganti e potenti, fornendo una tassonomia formale per schemi noti come PPLNS e PROP.
Flusso Logico: L'argomentazione è impeccabilmente strutturata: (1) Identificare l'unità fondamentale di contributo (lo share). (2) Definire due principi di equità naturali e mutualmente esclusivi basati su come una nuova informazione (un nuovo share) aggiorna i diritti esistenti. (3) Derivare le forme matematiche di tutti gli schemi che soddisfano ciascun principio. (4) Esaminare l'intersezione per trovare schemi robusti rispetto a entrambe le nozioni di equità. Ciò ricorda l'approccio assiomatico nei documenti fondamentali dell'informatica, come quelli che definiscono gli algoritmi di consenso (ad esempio, il risultato di impossibilità FLP), dove le proprietà desiderate portano a una caratterizzazione delle possibili soluzioni.
Punti di Forza e Debolezze: Il punto di forza principale è la generalità e il rigore teorico del quadro. Crea un linguaggio comune per confrontare qualsiasi schema di ricompensa. Tuttavia, l'analisi presenta significativi punti ciechi da una prospettiva pratica di design dei meccanismi. Astrae completamente il comportamento strategico dei miner, come il pool-hopping (cambiare pool per sfruttare le debolezze dello schema), che è la rovina di schemi semplici come PROP. Come notato in studi empirici di istituzioni come il Cambridge Centre for Alternative Finance, il pool-hopping impatta significativamente la redditività dei miner e la stabilità del pool. Il quadro ignora anche i costi operativi e la latenza informativa, che sono critici nelle operazioni globali in tempo reale dei pool. Confrontandolo con il design di meccanismi incentive-compatibili nella teoria delle aste tradizionale (ad esempio, il lavoro di Myerson), questo documento definisce l'"equità" in un vuoto, non l'"incentive-compatibility" in un gioco.
Insight Azionabili: Per i progettisti di protocolli blockchain e gli operatori di pool, questo documento è un riferimento obbligatorio per verificare l'equità dei loro schemi di ricompensa. La conclusione è chiara: si deve scegliere tra equità assoluta o relativa; non si possono avere pienamente entrambe senza ricorrere allo schema Proporzionale di base. Per costruire un nuovo pool, se stabilità e semplicità sono fondamentali, la purezza assiomatica di PROP è giustificata. Se mitigare la manipolazione strategica è la chiave, la classe PPLNS (che soddisfa l'equità assoluta) è teoricamente più robusta contro certi attacchi, poiché la sua ricompensa dipende da eventi futuri. La direzione di ricerca che questo documento apre veramente è la sintesi di questa analisi di equità con modelli di teoria dei giochi del comportamento dei miner. La prossima svolta sarà uno schema che soddisfi un assioma di equità convincente e sia anche provabilmente strategy-proof in senso di equilibrio Bayesiano-Nash.
6. Prospettive Applicative e Direzioni Future
Il quadro si estende oltre il mining di Bitcoin. È direttamente applicabile a qualsiasi rete decentralizzata in cui i compiti sono distribuiti, i contributi sono verificabili ma stocastici e una ricompensa comune deve essere condivisa. Le principali direzioni future includono:
- Proof-of-Stake (PoS) e Delega: I pool di validatori nelle reti PoS (ad esempio, Ethereum 2.0, Cardano) affrontano problemi analoghi di distribuzione delle ricompense quando i detentori di token delegano i loro fondi. Lo "share" diventa un evento di delega dello stake. Applicare questi criteri di equità potrebbe portare a design di staking pool più trasparenti ed equi.
- Reti di Infrastruttura Fisica Decentralizzate (DePIN): Reti come Filecoin (archiviazione) o Helium (copertura wireless) ricompensano i partecipanti per fornire risorse del mondo reale. Il quadro può aiutare a progettare schemi di ricompensa equi per i contributori precoci e tardivi in una rete dinamica.
- AI Decentralizzata e Mercati Computazionali: In piattaforme che distribuiscono compiti di addestramento ML (ad esempio, Gensyn, Render Network), l'equità nel pagamento per il lavoro computazionale parziale è cruciale. L'analisi basata sugli share è molto rilevante.
- Integrazione Teoria dei Giochi: Il passo successivo più critico è fondere questo approccio assiomatico all'equità con modelli di comportamento strategico dei miner. Ciò implicherebbe definire e caratterizzare criteri di Equità Incentive-Compatible, portando a schemi che siano sia equi nella distribuzione che robusti alla manipolazione.
- Analisi della Dimensione Dinamica del Pool: Il modello attuale assume un insieme fisso di share per round. Il lavoro futuro potrebbe analizzare l'equità in pool con miner che entrano ed escono dinamicamente, uno scenario più realistico.
7. Riferimenti
- Nakamoto, S. (2008). Bitcoin: A Peer-to-Peer Electronic Cash System.
- Moulin, H. (2004). Fair Division and Collective Welfare. MIT Press. (Per la teoria assiomatica fondamentale dell'equità)
- Lewenberg, Y., Bachrach, Y., Sompolinsky, Y., Zohar, A., & Rosenschein, J. S. (2015). Bitcoin mining pools: A cooperative game theoretic analysis. Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. (Per l'analisi di teoria dei giochi dei pool)
- Cambridge Centre for Alternative Finance. (2020). 2nd Global Cryptoasset Benchmarking Study. (Per dati empirici sull'economia e il comportamento dei pool di mining)
- Myerson, R. B. (1981). Optimal auction design. Mathematics of operations research, 6(1), 58-73. (Per lo standard nel design di meccanismi incentive-compatibili)
- Fischer, M. J., Lynch, N. A., & Paterson, M. S. (1985). Impossibility of distributed consensus with one faulty process. Journal of the ACM (JACM), 32(2), 374-382. (Come esempio di caratterizzazione assiomatica seminale nei sistemi distribuiti)
- Eyal, I. (2015). The miner's dilemma. 2015 IEEE Symposium on Security and Privacy. (Per l'analisi del comportamento strategico, incluso il pool-hopping)