Reserve Depletion and Security Runway in Proof-of-Stake Systems

Resumen Técnico: Agotamiento de Reservas y Margen de Seguridad en Sistemas Proof-of-Stake

Planteamiento del Proble elma
Las cadenas de bloques Proof-of-Stake (PoS) a menudo dependen de un mecanismo de financiación dual para las recompensas de los validadores: las comisiones por transacción y una reserva finita de tokens nativos. Este diseño crea un problema de "traspaso dinámico" (dynamic hand-off). En las etapas iniciales de un protocolo, las comisiones por transacción suelen ser insuficientes para financiar el nivel de seguridad objetivo (stake activo), lo que requiere subsidios de la reserva. A medida que la adopción crece, se espera que las comisiones sean suficientes para sostener la seguridad de forma independiente.

El desafío central es determinar si la reserva proporciona un "margen de maniobra" (runway) suficiente para mantener la seguridad durante esta transición. El documento identifica dos fuentes de fragilidad:

1. Incertidumbre de la Demanda: Los ingresos por comisiones de transacción son estocásticos, ya que dependen de la demanda de espacio de bloque por parte de los usuarios.
2. Riesgo de Precio: La reserva se mantiene en tokens nativos, mientras que los costos de los validadores se incurren en un numerario externo. Una reserva que parece amplia en unidades de token puede volverse inadecuada tras una caída en el precio del token.

La gobernanza no puede depender únicamente de los saldos nominales de la reserva o de las proporciones de estado estacionario. Un protocolo con una reserva nominal grande puede enfrentar un fallo de seguridad inminente si ocurren choques de precio o de demanda, mientras que un protocolo con una reserva decreciente puede ser seguro si las comisiones ya han cruzado el umbral de autosuficiencia. El documento busca formalizar las condiciones bajo las cuales un protocolo puede garantizar una operación segura durante esta transición y definir cuándo falla la transición.

Metodología
Los autores construyen un modelo estocástico de tiempo discreto que involucra $N$ validadores estratégicos.

• Variables de Estado: El estado del sistema $X_t = (R_t, \text{Precio}_t, \text{FeeMax}_t)$ consiste en el stock de la reserva ($R_t$), el precio del token en un numerario externo ($\text{Precio}_t$) y un desplazador de demanda que representa la comisión máxima que los usuarios están dispuestos a pagar ($\text{FeeMax}_t$).
• Comportamiento del Validador: Los validadores eligen niveles de participación (stake activo) para maximizar su utilidad, equilibrando las recompensas (comisiones + pagos de la reserva) frente a costos operativos cuadráticos.
• Concepto de Equilibrio: El análisis comienza con un juego de etapa estática para derivar un equilibrio de Nash simétrico para la participación de los validadores. Posteriormente, se extiende a un entorno dinámico donde la reserva evoluciona basándose en los ingresos por comisiones y los pagos.
• Extensión con Visión de Futuro: El modelo se extiende a un juego de horizonte finito de Markov donde los validadores son prospectivos, considerando cómo la participación actual afecta los stocks de reserva futuros y los valores de continuación.
• Dinámicas Estocásticas: Para el análisis cuantitativo, el modelo especializa el precio de los tokens como movimiento browniano geométrico y la dinámica de la demanda como procesos lognormales de tiempo discreto.

Contribuciones Clave y Resultados

1. Equilibrio Estático de Forma Cerrada:
   El documento resuelve el juego de participación de los validadores en forma cerrada (Teorema 3), demostrando la existencia y unicidad de un equilibrio de Nash simétrico. Se muestra que el nivel de seguridad agregado $s^*$ depende del producto del precio del token y el stock de la reserva ($\text{Precio} \cdot R$), resaltando que el valor de seguridad de una cantidad fija de reserva es dependiente del estado.

2. Umbral de Reserva Dependiente del Estado:
   La principal contribución teórica es la derivación de un umbral de reserva exacto y dependiente del estado, denotado como $\text{SecureR}(\text{Price}, \text{FeeMax}; s)$ (Teorema 10). Para cualquier nivel de seguridad objetivo $s$, este umbral representa el stock mínimo de reserva requerido para sostener ese nivel de seguridad dado el precio y la demanda actuales.

   • Tres Regiones: Este umbral particiona el espacio de estados en:
     1. Infactibilidad: La demanda es demasiado baja para soportar el nivel de seguridad objetivo incluso con reservas infinitas.
     2. Seguridad Dependiente de la Reserva: El objetivo es alcanzable solo si la reserva supera el umbral.
     3. Seguridad Basada Solo en Comisiones: La demanda es lo suficientemente alta como para que el umbral sea cero; la reserva es redundante para la seguridad.

3. Traspaso Dinámico como un Problema de Tiempo de Impacto (Hitting-Time):
   La transición de la seguridad financiada por la reserva a la seguridad basada solo en comisiones se formaliza como un problema de tiempo de impacto (Proposición 13).

   • Tiempo de Fallo ($\tau_{\text{fail}}$): El primer momento en que la reserva cae por debajo del umbral dependiente del estado.
   • Tiempo de Traspaso ($\tau_{\text{hand}}$): El primer momento en que el sistema entra en la región de solo comisiones (el umbral se vuelve cero).
   • Condición de Éxito: Un traspaso exitoso ocurre si y solo si $\tau_{\text{hand}} < \tau_{\text{fail}}$.

4. Garantías de Pruebas de Estrés:
   Los autores derivan garantías conservadoras de pruebas de estrés de horizonte finito (Teorema 15). Al utilizar bandas de confianza inferiores para el precio y la demanda, se puede calcular un requerimiento de reserva determinista que asegure la seguridad con una probabilidad específica, ignorando los flujos de ingresos por comisiones futuros para ser conservadores. Bajo dinámicas lognormales, se proporcionan límites explícitos sobre las probabilidades de fallo y los tiempos de traspaso esperados (Teorema 30, Proposición 31).

5. Validadores Prospectivos:
   En la extensión de Markov, el documento demuestra la existencia de un Equilibrio Perfecto de Markov (Teorema 22) y deriva la condición de primer orden dinámica (Proposición 25). Esta condición captura cómo la participación actual afecta la acumulación futura de la reserva. Los resultados muestran que, si bien los incentivos prospectivos modifican el nivel de seguridad de equilibrio, la lógica fundamental del "margen de maniobra" (la seguridad depende de que la reserva esté por encima de un corte dependiente del estado) persiste (Proposición 27).

Significancia y Reivindicaciones
El documento afirma proporcionar el primer marco de equilibrio tratable que aísla específicamente el problema del "traspaso de la reserva" en sistemas PoS. Su principal significancia radica en desplazar la evaluación de la adecuación de la reserva de métricas estáticas (por ejemplo, "años de margen" basados en tasas de quema actuales) hacia un análisis de margen dependiente del estado.

Los autores argumentan que:

• Las reservas no son neutrales: Su valor de seguridad fluctúa con el precio del token y la demanda. Una reserva nominal grande no garantiza la seguridad contra choques adversos.
• Los umbrales son críticos: La gobernanza debe monitorear el umbral dependiente del estado en lugar de solo el saldo de la reserva. Una vez que la demanda cruza el umbral de solo comisiones, la reserva se vuelve redundante para la seguridad.
• Implicaciones de Política: La política de reservas no debe evaluarse únicamente por las fechas de agotamiento nominal. El marco permite "testear el estrés" de la ruta de transición estado por estado, convirtiendo la adecuación de la reserva en un problema probabilístico de tiempo de impacto.

El documento concluye señalando que, aunque el modelo actual asume parámetros de política fijos ($\theta$ y $\rho$), trabajos futuros podrían explorar políticas de reserva adaptativas donde estos parámetros respondan dinámicamente a las variables de estado para extender el margen de maniobra o reducir el riesgo de fallo.