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

Resumo Técnico: Depleção de Reserva e Margem de Segurança em Sistemas Proof-of-Stake

Definição do Problema
Blockchains de Proof-of-Stake (PoS) frequentemente dependem de um mecanismo de financiamento duplo para recompensas de validadores: taxas de transação e uma reserva finita de tokens nativos. Esse design cria um problema de "transição dinâmica" (dynamic hand-off). Nos estágios iniciais de um protocolo, as taxas de transação são tipicamente insuficientes para financiar o nível de segurança pretendido (stake ativo), necessitando de subsídios da reserva. À medida que a adoção cresce, espera-se que as taxas se tornem suficientes para sustentar a segurança de forma independente.

O desafio central é determinar se a reserva fornece uma "margem de segurança" (runway) suficiente para manter a segurança durante essa transição. O artigo identifica duas fontes de fragilidade:

1. Incerteza da Demanda: A receita das taxas de transação é estocástica, dependente da demanda dos usuários por espaço de bloco.
2. Risco de Preço: A reserva é mantida em tokens nativos, enquanto os custos dos validadores são incorridos em um numerário externo. Uma reserva que parece ampla em unidades de tokens pode tornar-se inadequada após uma queda no preço do token.

A governança não pode confiar apenas em saldos nominais de reserva ou razões de estado estacionário. Um protocolo com uma grande reserva nominal pode enfrentar uma falha de segurança iminente se ocorrerem choques de preço ou de demanda, enquanto um protocolo com uma reserva decrescente pode ser seguro se as taxas já tiverem cruzado o limiar para a autossuficiência. O artigo busca formalizar as condições sob as quais um protocolo pode garantir a operação segura durante essa transição e definir quando a transição falha.

Metodologia
Os autores constroem um modelo estocástico de tempo discreto envolvendo $N$ validadores estratégicos.

• Variáveis de Estado: O estado do sistema $X_t = (R_t, \text{Preço}_t, \text{FeeMax}_t)$ consiste no estoque da reserva ($R_t$), o preço do token em um numerário externo ($\text{Preço}_t$) e um deslocador de demanda representando a taxa máxima que os usuários estão dispostos a pagar ($\text{FeeMax}_t$).
• Comportamento do Validador: Os validadores escolhem níveis de participação (stake ativo) para maximizar a utilidade, equilibrando recompensas (taxas + pagamentos da reserva) contra custos operacionais quadráticos.
• Conceito de Equilíbrio: A análise começa com um jogo de estágio estático para derivar um equilíbrio de Nash simétrico para a participação dos validadores. Em seguida, estende-se para um cenário dinâmico onde a reserva evolui com base na receita de taxas e pagamentos.
• Extensão Prospectiva (Forward-Looking): O modelo é estendido para um jogo de Markov de horizonte finito onde os validadores são prospectivos, considerando como a participação atual afeta os estoques futuros da reserva e os valores de continuação.
• Dinâmica Estocástica: Para análise quantitativa, o modelo especializa-se para movimento browniano geométrico para preços de tokens e dinâmica lognormal de tempo discreto para a demanda.

Principais Contribuições e Resultados

1. Equilíbrio Estático de Forma Fechada:
   O artigo resolve o jogo de participação do validador em forma fechada (Teorema 3), provando a existência e unicidade de um equilíbrio de Nash simétrico. O nível de segurança agregada do equilíbrio $s^*$ é mostrado como dependente do produto do preço do token pelo estoque da reserva ($\text{Preço} \cdot R$), destacando que o valor de segurança de uma quantidade fixa de reserva é dependente do estado.

2. Limiar de Reserva Dependente do Estado:
   A principal contribuição teórica é a derivação de um limiar de reserva exato e dependente do estado, denotado por $\text{SecureR}(\text{Preço}, \text{FeeMax}; s)$ (Teorema 10). Para qualquer nível de segurança alvo, este limiar representa o estoque mínimo de reserva necessário para sustentar esse nível de segurança dado o preço e a demanda atuais.

   • Três Regiões: Este limiar particiona o espaço de estados em:
     1. Inviabilidade: A demanda é muito baixa para suportar o nível de segurança pretendido mesmo com reservas infinitas.
     2. Segurança Dependente de Reserva: O objetivo é alcançável apenas se a reserva exceder o limiar.
     3. Segurança Baseada Apenas em Taxas: A demanda é alta o suficiente para que o limiar seja zero; a reserva é redundante para a segurança.

3. Transição (Hand-Off) como um Problema de Tempo de Primeiro Alcance (Hitting-Time):
   A transição da segurança financiada por reserva para a segurança baseada apenas em taxas é formalizada como um problema de tempo de primeiro alcance (Proposição 13).

   • Tempo de Falha ($\tau_{\text{fail}}$): O primeiro momento em que a reserva cai abaixo do limiar dependente do estado.
   • Tempo de Transição ($\tau_{\text{hand}}$): O primeiro momento em que o sistema entra na região de apenas taxas (o limiar torna-se zero).
   • Condição de Sucesso: Uma transição bem-sucedida ocorre se, e somente se, $\tau_{\text{hand}} < \tau_{\text{fail}}$.

4. Garantias de Teste de Estresse:
   Os autores derivam garantias conservadoras de teste de estresse de horizonte finito (Teorema 15). Ao utilizar bandas de confiança inferiores para preço e demanda, pode-se calcular um requisito de reserva determinístico que garante a segurança com uma probabilidade especificada, ignorando entradas futuras de taxas para permanecer conservador. Sob dinâmicas lognormais, limites explícitos sobre probabilidades de falha e tempos esperados de transição são fornecidos (Teorema 30, Proposição 31).

5. Validadores Prospectivos:
   Na extensão de Markov, o artigo prova a existência de um Equilíbrio de Markov Perfeito (Teorema 22) e deriva a condição de primeira ordem dinâmica (Proposição 25). Esta condição captura como a participação atual afeta a acumulação futura da reserva. Os resultados mostram que, embora os incentivos prospectivos modifiquem o nível de segurança do equilíbrio, a lógica fundamental de "margem de segurança" (a segurança depende da reserva estar acima de um corte dependente do estado) persiste (Proposição 27).

Significância e Alegações
O artigo alega fornecer o primeiro framework de equilíbrio tratável que isola especificamente o problema da "transição de reserva" em sistemas PoS. Sua principal significância reside em mudar a avaliação da adequação da reserva de métricas estáticas (ex: "anos de margem" baseados em taxas atuais de queima) para uma análise de margem dependente do estado.

Os autores argumentam que:

• Reservas não são neutras: Seu valor de segurança flutua com o preço do token e a demanda. Uma grande reserva nominal não garante a segurança contra choques adversos.
• Limiares são críticos: A governança deve monitorar o limiar dependente do estado em vez de apenas o saldo da reserva. Uma vez que a demanda cruza o limiar de apenas taxas, a reserva torna-se redundante para a segurança.
• Implicações de Política: A política de reserva não deve ser avaliada apenas por datas de depleção nominal. O framework permite o "teste de estresse" do caminho de transição estado a estado, convertendo a adequação da reserva em um problema probabilístico de tempo de primeiro alcance.

O artigo conclui observando que, embora o modelo atual assuma parâmetros de política fixos ($\theta$ e $\rho$), trabalhos futuros poderiam explorar políticas de reserva adaptativas onde esses parâmetros respondem dinamicamente às variáveis de estado para estender a margem de segurança ou reduzir o risco de falha.