1. Introdução
Este artigo aborda um problema económico fundamental nas redes descentralizadas de blockchain, especificamente dentro dos pools de mineração de Prova de Trabalho (PoW). Embora a tecnologia blockchain permita um consenso sem necessidade de confiança, o processo de mineração em si — resolver quebra-cabeças criptográficos para obter recompensas — é altamente estocástico. Os mineiros individuais enfrentam uma volatilidade significativa de rendimentos devido ao imenso poder computacional de toda a rede. Esta volatilidade incentiva a formação de pools de mineração, onde os participantes combinam os seus recursos computacionais (hash power) para suavizar as recompensas. O desafio central torna-se então conceber um esquema de partilha de recompensas que distribua de forma justa e eficiente as recompensas de bloco do pool entre os seus contribuidores. O artigo propõe um novo quadro conceptual para analisar a justiça de tais esquemas.
1.1. Protocolos de Consenso e Pools
Os pools de mineração são uma consequência direta dos incentivos económicos em blockchains PoW como o Bitcoin. A probabilidade de um único mineiro encontrar um bloco válido (uma "solução completa") é proporcional à sua quota do hash rate total da rede. Para pequenos mineiros, esta probabilidade é negligenciável, levando a períodos potencialmente longos sem recompensa. Os pools agregam poder de hash, aumentando a frequência da descoberta de blocos. Quando o pool tem sucesso, a recompensa deve ser dividida. A análise do artigo é crucial porque a escolha do esquema de partilha impacta diretamente a participação dos mineiros, a estabilidade do pool e a segurança geral e descentralização da rede blockchain.
2. Quadro Conceptual e Critérios de Justiça
Os autores deslocam o foco analítico dos mineiros individuais para as shares reportadas. Uma share é uma solução parcial para o quebra-cabeça criptográfico que demonstra prova de trabalho, mas que por si só não constitui um bloco válido. A sequência e o momento destas shares dentro de uma ronda de recompensa formam a base para a distribuição.
O artigo introduz dois axiomas inovadores de justiça:
2.1. Justiça de Redistribuição Absoluta
Este critério exige que, quando uma nova share é submetida ao pool, ela afete o direito a recompensa de todas as shares previamente submetidas pelo mesmo valor absoluto. Formalmente, se a recompensa da share $i$ muda em $\Delta R_i$ após a submissão da share $j$, então para qualquer outra share $k$, $\Delta R_k = \Delta R_i$. Isto impõe uma forma forte de aditividade e independência do caminho à função de recompensa.
2.2. Justiça de Redistribuição Relativa
Este critério exige que, quando uma nova share é submetida, ela afete o direito a recompensa de todas as shares anteriores pela mesma razão relativa. Formalmente, $\frac{R_i^{novo}}{R_i^{antigo}} = \frac{R_k^{novo}}{R_k^{antigo}}$ para todas as shares $i, k$ existentes antes da nova share $j$. Isto foca-se em preservar as relações proporcionais entre shares à medida que o pool evolui.
3. Caracterização dos Esquemas de Partilha de Recompensas
A principal contribuição teórica é caracterizar as classes de esquemas de recompensa que satisfazem cada critério de justiça.
3.1. Esquemas que Satisfazem a Justiça Absoluta
A classe de esquemas que satisfaz a Justiça de Redistribuição Absoluta é caracterizada como aquela em que a recompensa para uma share depende apenas do número de shares submetidas depois dela até que um bloco seja encontrado. Um exemplo canónico é o esquema Pay-Per-Last-N-Shares (PPLNS), onde as recompensas são distribuídas pelas últimas N shares antes de um bloco ser encontrado. A chegada de uma nova share simplesmente desloca a "janela" de shares elegíveis, afetando todas as shares anteriores igualmente num sentido absoluto (todas avançam um passo em direção a sair da janela).
3.2. Esquemas que Satisfazem a Justiça Relativa
A classe de esquemas que satisfaz a Justiça de Redistribuição Relativa é caracterizada como aquela em que a recompensa para uma share é proporcional a uma função que depende apenas do número de shares submetidas antes dela. O exemplo mais famoso é o esquema Proporcional (PROP), onde cada share recebe uma recompensa proporcional ao número total de shares submetidas na ronda. Quando uma nova share chega, ela dilui a recompensa de todas as shares existentes pelo mesmo fator relativo.
3.3. A Interseção e o Esquema Proporcional
Mostra-se que a interseção das duas classes — esquemas que satisfazem tanto a Justiça Absoluta como a Relativa — é uma generalização de um parâmetro do esquema Proporcional. Um corolário deste resultado é uma nova caracterização axiomática do próprio esquema Proporcional clássico: é o único esquema que satisfaz simultaneamente ambos os critérios de justiça sob uma condição de normalização natural. Isto fornece uma justificação teórica robusta para o uso generalizado do PROP, apesar da sua conhecida vulnerabilidade ao pool-hopping.
4. Detalhes Técnicos e Formulação Matemática
Seja $S = (s_1, s_2, ..., s_n)$ a sequência de shares submetidas numa ronda que termina com uma solução completa (bloco) na share $s_n$. Um esquema de partilha de recompensas é uma função $R(i, S)$ que atribui uma recompensa à share $s_i$.
Justiça de Redistribuição Absoluta (ARF): Para quaisquer sequências $S$ e $S'$ onde $S'$ é $S$ com uma share adicional inserida na posição $j$, e para quaisquer $i, k < j$, temos: $$R(i, S') - R(i, S) = R(k, S') - R(k, S)$$
Justiça de Redistribuição Relativa (RRF): Para os mesmos $S, S', i, k$ acima: $$\frac{R(i, S')}{R(i, S)} = \frac{R(k, S')}{R(k, S)}$$
O artigo prova que ARF implica $R(i, S) = f(n-i)$ para alguma função $f$, onde $(n-i)$ é o número de shares após $s_i$. RRF implica $R(i, S) = g(i) \cdot B$, onde $g(i)$ depende da posição da share e $B$ é a recompensa total do bloco. A interseção leva a $R(i, S) = \frac{c \cdot B}{i^{\alpha}}$ para constantes $c, \alpha$, com $\alpha=0$ a produzir o esquema Proporcional.
5. Quadro Analítico: Ideia Central & Crítica
Ideia Central: Este artigo não é apenas sobre pools de mineração; é uma aula magistral na aplicação da teoria axiomática de alocação de recursos (pense no trabalho seminal sobre justiça de Moulin ou Young) a um sistema criptoeconómico real e complexo. O movimento genial dos autores é reformular o problema de "como pagar os mineiros" para "quais são as propriedades inerentes de uma sequência de pagamento justa?" Ao centrar a análise nas shares em vez dos mineiros, eles removem pressupostos comportamentais e isolam a lógica pura da distribuição. Os teoremas de caracterização resultantes são elegantes e poderosos, fornecendo uma taxonomia formal para esquemas conhecidos como PPLNS e PROP.
Fluxo Lógico: O argumento está impecavelmente estruturado: (1) Identificar a unidade central de contribuição (a share). (2) Definir dois princípios de justiça naturais e mutuamente exclusivos baseados em como a nova informação (uma nova share) atualiza os direitos existentes. (3) Derivar as formas matemáticas de todos os esquemas que satisfazem cada princípio. (4) Examinar a interseção para encontrar esquemas robustos a ambas as noções de justiça. Isto é reminiscente da abordagem axiomática em artigos fundamentais de ciência da computação, como os que definem algoritmos de consenso (por exemplo, o resultado de impossibilidade FLP), onde propriedades desejadas levam a uma caracterização das soluções possíveis.
Pontos Fortes e Fracos: A principal força é a generalidade e o rigor teórico do quadro. Cria uma linguagem comum para comparar qualquer esquema de recompensa. No entanto, a análise tem pontos cegos significativos de uma perspetiva prática de design de mecanismos. Abstrai completamente o comportamento estratégico dos mineiros, como o pool-hopping (mudar de pools para explorar fraquezas do esquema), que é o flagelo de esquemas simples como o PROP. Como observado em estudos empíricos de instituições como o Cambridge Centre for Alternative Finance, o pool-hopping impacta significativamente a rentabilidade dos mineiros e a estabilidade dos pools. O quadro também ignora custos operacionais e latência de informação, que são críticos nas operações globais de pools em tempo real. Comparando-o com o design de mecanismos compatíveis com incentivos na teoria tradicional de leilões (por exemplo, o trabalho de Myerson), este artigo define "justiça" num vácuo, não "compatibilidade com incentivos" num jogo.
Insights Acionáveis: Para os designers de protocolos blockchain e operadores de pools, este artigo é uma referência obrigatória para auditar a justiça dos seus esquemas de recompensa. A conclusão é clara: deve escolher entre justiça absoluta ou relativa; não pode ter ambas plenamente sem recorrer ao esquema Proporcional básico. Para construir um novo pool, se a estabilidade e simplicidade são primordiais, a pureza axiomática do PROP é justificada. Se mitigar a manipulação estratégica é a chave, a classe PPLNS (que satisfaz a justiça absoluta) é teoricamente mais robusta contra certos ataques, pois a sua recompensa depende de eventos futuros. A direção de investigação que este artigo verdadeiramente abre é a síntese desta análise de justiça com modelos de teoria dos jogos do comportamento dos mineiros. O próximo avanço será um esquema que satisfaça um axioma de justiça convincente e que também seja comprovadamente à prova de estratégias num sentido de equilíbrio Bayesiano-Nash.
6. Perspetiva de Aplicação e Direções Futuras
O quadro estende-se para além da mineração de Bitcoin. É diretamente aplicável a qualquer rede descentralizada onde as tarefas são distribuídas, as contribuições são verificáveis mas estocásticas, e uma recompensa comum deve ser partilhada. As principais direções futuras incluem:
- Prova de Participação (PoS) e Delegação: Os pools de validadores em redes PoS (por exemplo, Ethereum 2.0, Cardano) enfrentam problemas análogos de distribuição de recompensas quando os detentores de tokens delegam os seus ativos. A "share" torna-se um evento de delegação de participação. A aplicação destes critérios de justiça pode levar a designs de pools de staking mais transparentes e equitativos.
- Redes de Infraestrutura Física Descentralizadas (DePIN): Redes como Filecoin (armazenamento) ou Helium (cobertura sem fios) recompensam participantes por fornecerem recursos do mundo real. O quadro pode ajudar a conceber esquemas de recompensa que sejam justos para contribuidores precoces e tardios numa rede dinâmica.
- Mercados de IA Descentralizada e Computação: Em plataformas que distribuem tarefas de treino de machine learning (por exemplo, Gensyn, Render Network), a justiça do pagamento por trabalho computacional parcial é crucial. A análise baseada em shares é altamente relevante.
- Integração de Teoria dos Jogos: O próximo passo mais crítico é fundir esta abordagem axiomática de justiça com modelos de comportamento estratégico dos mineiros. Isto envolveria definir e caracterizar critérios de Justiça Compatível com Incentivos, levando a esquemas que são justos na distribuição e robustos à manipulação.
- Análise de Tamanho Dinâmico de Pools: O modelo atual assume um conjunto fixo de shares por ronda. Trabalhos futuros poderiam analisar a justiça em pools com mineiros a entrar e sair dinamicamente, um cenário mais realista.
7. Referências
- Nakamoto, S. (2008). Bitcoin: A Peer-to-Peer Electronic Cash System.
- Moulin, H. (2004). Fair Division and Collective Welfare. MIT Press. (Para a teoria axiomática fundamental da justiça)
- 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. (Para análise de teoria dos jogos de pools)
- Cambridge Centre for Alternative Finance. (2020). 2nd Global Cryptoasset Benchmarking Study. (Para dados empíricos sobre economia e comportamento de pools de mineração)
- Myerson, R. B. (1981). Optimal auction design. Mathematics of operations research, 6(1), 58-73. (Para o padrão em design de mecanismos compatíveis com incentivos)
- 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. (Como exemplo de caracterização axiomática seminal em sistemas distribuídos)
- Eyal, I. (2015). The miner's dilemma. 2015 IEEE Symposium on Security and Privacy. (Para análise de comportamento estratégico, incluindo pool-hopping)