Reveal, Correct, Then Pay: Encrypted Mempools and Perpetual Funding Security

Resumo Técnico: Revelar, Corrigir, Depois Pagar

Definição do Problema
Mempools criptografados são projetados para mitigar o Valor Extraível Máximo (MEV) ao ocultar o conteúdo das transações até que a ordem de execução seja fixada, prevenindo assim ataques de front-running e sandwich que dependem da observação de transações de vítimas. No entanto, este artigo identifica uma vulnerabilidade distinta na manipulação de estado autoria própria, especificamente no contexto de financiamento (funding) de futuros perpétuos. Nestes ataques, o adversário é o autor da transação que distorce o estado (ex: o sinal de financiamento) e simultaneamente detém um direito subsequente (recebimento de valor nocional) cujo ganho aumenta com essa distorção.

A questão central não é a latência criptográfica, mas a latência de reação econômica. Em um design de "compromisso-então-revelação" (commit-then-reveal), uma vez que um lote é comprometido, nenhuma nova transação pode ser admitida naquele lote. Mesmo que a descriptografia seja instantânea, uma transação corretiva adaptativa (ex: um arbitrador restaurando um preço) não pode ser executada dentro do mesmo lote comprometido porque depende do texto simples revelado. Isso cria um hiato de reação ($\delta$) discreto onde a distorção persiste sem correção. Além disso, a criptografia pode suprimir a capitalização de financiamentos previsíveis nos preços de entrada, permitindo que atacantes entrem em posições de recebimento de forma barata antes que a distorção seja totalmente precificada.

Metodologia
O artigo constrói um modelo econômico microfundamentado analisando a interação entre as regras de ordenação do protocolo e os mecanismos de correção de mercado.

1. Modelo do Protocolo: Os autores definem uma sequência "Comprometer, Revelar, Executar, Reagir". Eles formalizam a Barreira de Ordenação (Lema 1), provando que, sem admissão pós-compromisso ou programas contingentes pré-comprometidos, as correções adaptativas computadas após a revelação não podem ser executadas no lote comprometido.
2. Dinâmica de Correção: O setor de correção é modelado como um conjunto de arbitradores com chegadas de oportunidades distribuídas por Poisson, impacto de preço local ($\ell$) e custos de inventário ($k_i$). Os autores derivam duas taxas de correção:
   • $\rho_c$: a taxa de correção durante o estágio fechado (limitada a mecanismos nativos ou pré-comprometidos).
   • $\rho_p$: a taxa de correção após o hiato de reação (incluindo buscadores adaptativos comuns).
     O modelo estabelece que $\rho_p \geq \rho_c$, com desigualdade estrita sempre que existe capacidade adaptativa comum.
3. Distorção e Ganho: A distorção esperada ao entrar em uma janela de financiamento é calculada como uma função do hiato de reação $\delta$, das taxas $\rho_c$ e $\rho_p$, e do comprimento da janela $W$. Isso resulta em um fator de resposta $g(\delta; \rho_c, \rho_p, W)$, que amplifica o valor do ataque.
4. Estrutura de Dois Livros-Razão: O modelo separa o Livro-Razão de Sinal (a taxa de financiamento) do Livro-Razão da Base Tributária (o nocional recebido). Ele analisa como a visibilidade afeta a capitalização de financiamentos previsíveis nos preços de entrada através de um coeficiente $\zeta$.
5. Índice de Segurança: Um índice de segurança local $\Gamma$ é derivado para determinar se um ataque é escalável. O artigo compara o valor esperado de ataques sob regimes públicos ($pub$) e criptografados ($enc$).

Principais Contribuições

1. A Barreira de Ordenação: O artigo isola uma propriedade causal dos designs de compromisso-então-revelação, onde a incapacidade de admitir transações pós-revelação cria um hiato de reação econômica discreto, independente da velocidade de descriptografia.
2. Manipulação do Hiato de Reação: Os autores derivam o valor esperado exato de um ataque de distorção de disparo único (one-shot). Eles mostram que o fator de resposta $g$ é estritamente crescente no hiato de reação $\delta$ sempre que $\rho_p > \rho_c$. Consequentemente, a criptografia pode aumentar a lucratividade do ataque se o atacante mantiver capacidade de alvo suficiente ($m$) e o ganho na persistência da distorção superar a perda de informação.
3. Multiplicador de Privacidade de Dois Livros-Razão: O artigo introduz uma decomposição dos efeitos da criptografia em três componentes:
   • Cegueira do Atacante: Perda de capacidade de alvo ($m$).
   • Blindagem da Correção: O aumento na persistência da distorção devido ao hiato de reação ($g$).
   • Blindagem da Capitalização: A redução na capitalização do preço de entrada devido à entrada oculta ($\zeta$).
     O índice de segurança $\Gamma$ combina estes elementos, mostrando que a criptografia pode ser prejudicial se os efeitos de blindagem dominarem o efeito de cegueira.
4. Regra de Financiamento Consciente da Descriptografia: O artigo propõe uma sequência de protocolo específica: Revelar, Corrigir, Medir, Depois Pagar. Isso envolve inserir um buffer de reação público após a revelação, mas antes que o sinal de financiamento seja medido e as posições sejam finalizadas.

Resultos

• Amplificação do Valor do Ataque: Para ataques de autoria própria, a criptografia pode aumentar o valor esperado de manipulação. Especificamente, se o atacante retiver mais de uma fração crítica de sua capacidade de alvo pública ($m_{enc}/m_{pub}$), o aumento no fator de resposta $g$ (devido ao hiato de reação) e a redução nos custos de capitalização podem superar a perda de informação.
• Limiares: O artigo deriva limiares explícitos. Por exemplo, em um cenário sem correção no estágio fechado e um hiato de reação de 10% da janela de financiamento, o valor do ataque pode aumentar por um fator de ~3,24 se a capacidade de alvo permanecer inalterada. A criptografia permanece prejudicial se o atacante retiver >56% de sua capacidade de alvo pública neste caso específico.
• Canal de Capitalização: O canal da "base tributária" mostra-se um amplificador poderoso. Se a visibilidade pública causar 80% de bid do financiamento previsível nos preços de entrada, mas a criptografia reduzir isso para 0%, o limiar para a criptografia ser prejudicial cai significativamente (ex: para ~11% de retenção de alvo).
• Ineficácia da Descriptografia Rápida Isolada: Os resultados demonstram que reduzir a latência criptográfica (tempo de descriptografia) é necessário, mas insuficiente. Se o protocolo fecha a admissão antes da revelação, a barreira de ordenação permanece, e o hiato de reação econômica persiste.

Significância e Alegações
O artigo afirma que mempools criptografados não reduzem universalmente a manipulação econômica. Embora protejam eficazmente contra o MEV dependente da vítima, eles podem inadvertidamente facilitar a manipulação de estado de autoria própria ao blindar o atacante das forças corretivas do mercado e da capitalização do preço de entrada.

Os autores argumentam que a segurança de transferências dependentes de estado (como o financiamento de perpétuos) depende da capacidade da aplicação de se adaptar ao cronograma de informação criado pela criptografia. Eles concluem que a privacidade de transação e a integridade do mercado são compatíveis apenas quando a aplicação é projetada para o cronograma de informação específico que a criptografia cria. A solução proposta não é abandonar a criptografia, mas compô-la com mecanismos de nível de aplicação que permitam a correção e a capitalização após a revelação, mas antes do pagamento, fechando efetivamente o hiato de reação e restaurando a eficiência do mercado.