1. Introducción
Este artículo aborda un problema económico fundamental en las redes blockchain descentralizadas, específicamente dentro de los pools de minería de Prueba de Trabajo (PoW). Si bien la tecnología blockchain permite un consenso sin necesidad de confianza, el proceso de minería en sí —resolver acertijos criptográficos para obtener recompensas— es altamente estocástico. Los mineros individuales enfrentan una gran volatilidad en sus ingresos debido al inmenso poder computacional de toda la red. Esta volatilidad incentiva la formación de pools de minería, donde los participantes combinan sus recursos computacionales (poder de hash) para suavizar las recompensas. El desafío central entonces se convierte en diseñar un esquema de reparto de recompensas que distribuya de manera justa y eficiente las recompensas en bloque del pool entre sus contribuyentes. El artículo propone un novedoso marco conceptual para analizar la equidad de dichos esquemas.
1.1. Protocolos de Consenso y Pools
Los pools de minería son una consecuencia directa de los incentivos económicos en blockchains PoW como Bitcoin. La probabilidad de que un minero individual encuentre un bloque válido (una "solución completa") es proporcional a su participación en la tasa de hash total de la red. Para los pequeños mineros, esta probabilidad es insignificante, lo que lleva a períodos potencialmente largos sin recompensa. Los pools agregan poder de hash, aumentando la frecuencia de descubrimiento de bloques. Cuando el pool tiene éxito, la recompensa debe dividirse. El análisis del artículo es crucial porque la elección del esquema de reparto impacta directamente la participación de los mineros, la estabilidad del pool y la seguridad general y descentralización de la red blockchain.
2. Marco Conceptual y Criterios de Equidad
Los autores desplazan el foco analítico de los mineros individuales a las participaciones reportadas (shares). Una participación es una solución parcial al acertijo criptográfico que demuestra prueba de trabajo pero que en sí misma no constituye un bloque válido. La secuencia y el momento de estas participaciones dentro de una ronda de recompensa forman la base para la distribución.
El artículo introduce dos axiomas innovadores de equidad:
2.1. Equidad de Redistribución Absoluta
Este criterio requiere que cuando se envía una nueva participación al pool, afecte el derecho a recompensa de todas las participaciones enviadas previamente en la misma cantidad absoluta. Formalmente, si la recompensa de la participación $i$ cambia en $\Delta R_i$ tras el envío de la participación $j$, entonces para cualquier otra participación $k$, $\Delta R_k = \Delta R_i$. Esto impone una forma fuerte de aditividad e independencia de la ruta a la función de recompensa.
2.2. Equidad de Redistribución Relativa
Este criterio requiere que cuando se envía una nueva participación, afecte el derecho a recompensa de todas las participaciones anteriores en la misma proporción relativa. Formalmente, $\frac{R_i^{nuevo}}{R_i^{viejo}} = \frac{R_k^{nuevo}}{R_k^{viejo}}$ para todas las participaciones $i, k$ existentes antes de la nueva participación $j$. Esto se centra en preservar las relaciones proporcionales entre las participaciones a medida que evoluciona el pool.
3. Caracterización de los Esquemas de Reparto de Recompensas
La principal contribución teórica es caracterizar las clases de esquemas de recompensa que satisfacen cada criterio de equidad.
3.1. Esquemas que Satisfacen la Equidad Absoluta
La clase de esquemas que satisfacen la Equidad de Redistribución Absoluta se caracteriza por aquellos en los que la recompensa de una participación depende solo del número de participaciones enviadas después de ella hasta que se encuentra un bloque. Un ejemplo canónico es el esquema Pago por las Últimas N Participaciones (PPLNS), donde las recompensas se distribuyen entre las últimas N participaciones antes de encontrar un bloque. La llegada de una nueva participación simplemente desplaza la "ventana" de participaciones elegibles, afectando a todas las participaciones anteriores por igual en un sentido absoluto (todas avanzan un paso más hacia quedar fuera de la ventana).
3.2. Esquemas que Satisfacen la Equidad Relativa
La clase de esquemas que satisfacen la Equidad de Redistribución Relativa se caracteriza por aquellos en los que la recompensa de una participación es proporcional a una función que depende solo del número de participaciones enviadas antes de ella. El ejemplo más famoso es el esquema Proporcional (PROP), donde cada participación recibe una recompensa proporcional al número total de participaciones enviadas en la ronda. Cuando llega una nueva participación, diluye la recompensa de todas las participaciones existentes por el mismo factor relativo.
3.3. La Intersección y el Esquema Proporcional
Se demuestra que la intersección de las dos clases —esquemas que satisfacen tanto la Equidad Absoluta como la Relativa— es una generalización de un parámetro del esquema Proporcional. Un corolario de este resultado es una nueva caracterización axiomática del clásico esquema Proporcional en sí: es el único esquema que satisface ambos criterios de equidad simultáneamente bajo una condición de normalización natural. Esto proporciona una justificación teórica sólida para el uso generalizado de PROP, a pesar de su conocida vulnerabilidad al salto entre pools (pool-hopping).
4. Detalles Técnicos y Formulación Matemática
Sea $S = (s_1, s_2, ..., s_n)$ la secuencia de participaciones enviadas en una ronda que termina con una solución completa (bloque) en la participación $s_n$. Un esquema de reparto de recompensas es una función $R(i, S)$ que asigna una recompensa a la participación $s_i$.
Equidad de Redistribución Absoluta (ARF): Para cualquier secuencia $S$ y $S'$ donde $S'$ es $S$ con una participación adicional insertada en la posición $j$, y para cualquier $i, k < j$, tenemos: $$R(i, S') - R(i, S) = R(k, S') - R(k, S)$$
Equidad de Redistribución Relativa (RRF): Para las mismas $S, S', i, k$ anteriores: $$\frac{R(i, S')}{R(i, S)} = \frac{R(k, S')}{R(k, S)}$$
El artículo demuestra que ARF implica $R(i, S) = f(n-i)$ para alguna función $f$, donde $(n-i)$ es el número de participaciones después de $s_i$. RRF implica $R(i, S) = g(i) \cdot B$, donde $g(i)$ depende de la posición de la participación y $B$ es la recompensa total del bloque. La intersección conduce a $R(i, S) = \frac{c \cdot B}{i^{\alpha}}$ para constantes $c, \alpha$, con $\alpha=0$ dando como resultado el esquema Proporcional.
5. Marco Analítico: Perspectiva Central y Crítica
Perspectiva Central: Este artículo no trata solo sobre pools de minería; es una clase magistral sobre cómo aplicar la teoría axiomática de asignación de recursos (piénsese en el trabajo seminal sobre equidad de Moulin o Young) a un sistema criptoeconómico real y complejo. El movimiento genial de los autores es replantear el problema de "cómo pagar a los mineros" a "¿cuáles son las propiedades inherentes de una secuencia de pago justa?" Al centrar el análisis en las participaciones en lugar de en los mineros, eliminan los supuestos conductuales y aíslan la lógica pura de la distribución. Los teoremas de caracterización resultantes son elegantes y potentes, proporcionando una taxonomía formal para esquemas conocidos como PPLNS y PROP.
Flujo Lógico: El argumento está impecablemente estructurado: (1) Identificar la unidad central de contribución (la participación). (2) Definir dos principios de equidad naturales y mutuamente excluyentes basados en cómo la nueva información (una nueva participación) actualiza los derechos existentes. (3) Derivar las formas matemáticas de todos los esquemas que satisfacen cada principio. (4) Examinar la intersección para encontrar esquemas robustos ante ambas nociones de equidad. Esto recuerda al enfoque axiomático en artículos fundamentales de informática, como los que definen algoritmos de consenso (por ejemplo, el resultado de imposibilidad FLP), donde las propiedades deseadas conducen a una caracterización de las soluciones posibles.
Fortalezas y Debilidades: La principal fortaleza es la generalidad y el rigor teórico del marco. Crea un lenguaje común para comparar cualquier esquema de recompensa. Sin embargo, el análisis tiene puntos ciegos significativos desde una perspectiva práctica de diseño de mecanismos. Abstrae por completo el comportamiento estratégico de los mineros, como el salto entre pools (cambiar de pool para explotar debilidades del esquema), que es la perdición de esquemas simples como PROP. Como se señala en estudios empíricos de instituciones como el Cambridge Centre for Alternative Finance, el salto entre pools impacta significativamente la rentabilidad del minero y la estabilidad del pool. El marco también ignora los costos operativos y la latencia de la información, que son críticos en las operaciones globales de pools en tiempo real. Comparándolo con el diseño de mecanismos compatibles con incentivos en la teoría de subastas tradicional (por ejemplo, el trabajo de Myerson), este artículo define la "equidad" en el vacío, no la "compatibilidad de incentivos" en un juego.
Conclusiones Accionables: Para los diseñadores de protocolos blockchain y los operadores de pools, este artículo es una referencia obligatoria para auditar la equidad de sus esquemas de recompensa. La conclusión es clara: debes elegir entre equidad absoluta o relativa; no puedes tener ambas completamente sin recurrir al esquema Proporcional básico. Para construir un nuevo pool, si la estabilidad y la simplicidad son primordiales, la pureza axiomática de PROP está justificada. Si mitigar la manipulación estratégica es clave, la clase PPLNS (que satisface la equidad absoluta) es teóricamente más robusta contra ciertos ataques, ya que su recompensa depende de eventos futuros. La dirección de investigación que este artículo realmente abre es la síntesis de este análisis de equidad con modelos de teoría de juegos del comportamiento de los mineros. El próximo avance será un esquema que satisfaga un axioma de equidad convincente y que también sea a prueba de estrategias en el sentido del equilibrio Bayesiano-Nash.
6. Perspectivas de Aplicación y Direcciones Futuras
El marco se extiende más allá de la minería de Bitcoin. Es directamente aplicable a cualquier red descentralizada donde las tareas se distribuyen, las contribuciones son verificables pero estocásticas, y una recompensa común debe compartirse. Las direcciones futuras clave incluyen:
- Prueba de Participación (PoS) y Delegación: Los pools de validadores en redes PoS (por ejemplo, Ethereum 2.0, Cardano) enfrentan problemas análogos de distribución de recompensas cuando los titulares delegan sus tokens. La "participación" se convierte en un evento de delegación de participación. Aplicar estos criterios de equidad podría conducir a diseños de pools de staking más transparentes y equitativos.
- Redes de Infraestructura Física Descentralizadas (DePIN): Redes como Filecoin (almacenamiento) o Helium (cobertura inalámbrica) recompensan a los participantes por proporcionar recursos del mundo real. El marco puede ayudar a diseñar esquemas de recompensa que sean justos para los contribuyentes tempranos y tardíos en una red dinámica.
- Mercados de IA y Computación Descentralizados: En plataformas que distribuyen tareas de entrenamiento de aprendizaje automático (por ejemplo, Gensyn, Render Network), la equidad del pago por trabajo computacional parcial es crucial. El análisis basado en participaciones es muy relevante.
- Integración de Teoría de Juegos: El siguiente paso más crítico es fusionar este enfoque axiomático de equidad con modelos de comportamiento estratégico de los mineros. Esto implicaría definir y caracterizar criterios de Equidad Compatible con Incentivos, lo que conduciría a esquemas que sean justos en la distribución y robustos frente a la manipulación.
- Análisis de Tamaño Dinámico del Pool: El modelo actual asume un conjunto fijo de participaciones por ronda. Trabajos futuros podrían analizar la equidad en pools con mineros que entran y salen dinámicamente, un escenario más realista.
7. Referencias
- Nakamoto, S. (2008). Bitcoin: A Peer-to-Peer Electronic Cash System.
- Moulin, H. (2004). Fair Division and Collective Welfare. MIT Press. (Para la teoría axiomática fundamental de la equidad)
- 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 el análisis de teoría de juegos de pools)
- Cambridge Centre for Alternative Finance. (2020). 2nd Global Cryptoasset Benchmarking Study. (Para datos empíricos sobre la economía y el comportamiento de los pools de minería)
- Myerson, R. B. (1981). Optimal auction design. Mathematics of operations research, 6(1), 58-73. (Para el estándar en diseño de mecanismos compatibles con 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 ejemplo de caracterización axiomática seminal en sistemas distribuidos)
- Eyal, I. (2015). The miner's dilemma. 2015 IEEE Symposium on Security and Privacy. (Para el análisis del comportamiento estratégico, incluido el salto entre pools)