Parte 3 da série sobre fechamento de entreferro. Seguindo a Parte 1 (o problema do airgap no DeFi) e a Parte 2 (projeto de mecanismo aumentado como metodologia), esta postagem argumenta que a abstração do MEV é muito estreita e a unidade de análise correta é o valor extraível generalizado. A extração é conservada nas camadas de protocolo, o que significa que as correções parciais são realocadas em vez de eliminadas.
A moldura estreita
Discurso MEV desde Daian et al. convergiu para a extração de pedidos de transações como o problema central. Flashbots, MEV-Share, separação proponente-construtor, mempools criptografados e leilões de solucionadores no estilo CoW são respostas a esse quadro. Eles compartilham uma premissa comum: que a doença é ordenada e que abordar a ordem é suficiente.
A premissa é muito estreita. A ordenação é um canal através do qual o valor flui assimetricamente dos participantes que o geram para os participantes posicionados para capturá-lo. Existem pelo menos seis outros, e qualquer sistema que elimine a extração baseada em ordenação sem abordar o resto não eliminou a extração, ele realocou a extração para os canais não endereçados.
O que é conservado
Cada participante de um protocolo gera algum valor por meio de sua participação. Os fornecedores de liquidez fornecem capital que absorve a volatilidade dos preços. Os comerciantes fornecem fluxo de pedidos que cria descoberta de preços. Os operadores Oracle fornecem dados. Os mutuários fornecem garantias. Os validadores fornecem segurança de consenso. O protocolo distribui o valor conjunto resultante de volta aos participantes sob alguma regra de alocação.
Defina a extração estrutural de um protocolo como o valor total recebido pelos participantes que excede seu valor Shapley (sua contribuição marginal para o jogo conjunto é calculada em média em todas as coalizões). Quando esta quantidade é positiva, alguns participantes recebem mais do que os seus mandados de contribuição marginal, o que significa que outros recebem menos. A assimetria existe não porque alguém esteja a agir mal, mas porque a regra de atribuição do protocolo incorpora um canal estrutural através do qual o valor flui desproporcionalmente.
O valor extraível generalizado é esta quantidade. MEV é um canal. Há pelo menos seis outros, e a propriedade de conservação afirma que eles não podem ser eliminados corrigindo qualquer canal isoladamente.
Os sete canais
A extração de ordenação de transações é o que a literatura chama de MEV. A visibilidade do Mempool mais a execução sequencial criam a condição estrutural. Construtores, pesquisadores e validadores posicionados no ponto de gargalo do pedido capturam o valor dos traders cujas ordens são visíveis antes da execução. Ataques sanduíche, front-running e provisão de liquidez just-in-time são as expressões operacionais.
A extração de governança é o valor capturado por detentores concentrados de tokens ou mercados de suborno de usuários sujeitos a parâmetros de governança. A condição estrutural é que a votação ponderada por tokens atribua o controle sobre parâmetros economicamente consequentes a quem detém tokens, o que, sob distribuições típicas, concentra o controle entre os primeiros detentores, grandes alocadores e os mercados secundários que disputam direitos de voto (Convexo, Votium e análogos).
A busca de renda de token é o valor capturado pelos detentores de tokens que ganham taxas pela intermediação obrigatória de tokens. A condição estrutural é que o protocolo exija seu token nativo para acessar funcionalidades (staking, descontos em taxas, participação na governança), criando um aluguel contínuo que os usuários pagam pelo acesso a funcionalidades que não exigem estritamente mediação de token.
A extração de formação de capital é a assimetria entre os primeiros investidores com alocações pré-públicas e os compradores do mercado público que adquirem o mesmo token posteriormente. A condição estrutural é a venda pré-pública padrão para insiders seguida de listagem, onde a descoberta de preço a partir da listagem cria valor que é acumulado para compradores pré-públicos.
A extração Oracle é o valor capturado pelos operadores do pipeline de dados off-chain para on-chain. A condição estrutural é que os protocolos on-chain dependam de dados off-chain, e quem controla o pipeline pode cobrar pelo privilégio de fornecer esses dados, ou arbitrar a latência entre o preço off-chain e o preço de referência on-chain.
A extração de plataforma é o valor capturado pelos operadores de plataforma ou corretores de dados dos usuários cuja atividade gera os dados que estão sendo capturados. A condição estrutural é que a atividade do usuário em uma plataforma produza logs, perfis e dados comportamentais que a plataforma controla, monetiza e usa para melhorar sua posição em relação aos usuários.
A extração de liquidação é o valor capturado por bots de liquidação e operadores sequenciadores de mutuários cujas posições se tornam liquidáveis. A condição estrutural é que a ordem de liquidação determine quem captura o desconto de liquidação, e a ordem privilegiada do sequenciador ou as redes de bots pioneiros o capturem sistematicamente.
Essas sete categorias esgotam as categorias que consegui identificar nos principais protocolos DeFi. Pode haver outros. O argumento não depende de a contagem ser exatamente sete; depende da contagem ser maior que um.
Por que a conservação é importante
Se um protocolo abordar apenas a extração de pedidos de transação, a extração de governança permanecerá disponível. Os detentores de tokens de governança extraem renda por meio da manipulação de parâmetros, mesmo quando ordenar ataques é impossível. O valor total extraível permanece inalterado; a extração foi realocada.
Se um protocolo aborda ordenação e governança, mas retém um token nativo de busca de renda, a extração de renda de token permanece. Se um protocolo elimina o aluguel de tokens, mas a venda pública foi precedida pela alocação de informações privilegiadas com desconto, a extração de formação de capital fica bloqueada. Se a dependência do oráculo não for abordada, a extração do oráculo continua independentemente de quão limpas sejam todas as outras camadas.
A propriedade de conservação decorre das sete categorias sendo independentes. Eles exploram diferentes assimetrias estruturais. Fechar um não fecha os outros. O valor total extraível de um protocolo é a soma de todos os sete canais, e a redução de um componente não reduz o total, a menos que os outros também sejam reduzidos.
Isto tem uma consequência acentuada. Cada solução MEV existente atinge extração de MEV zero ou quase zero dentro de seu escopo, deixando os outros seis canais abertos. Os relés privados redistribuem o MEV, mas reintroduzem a extração de plataforma (o relé se torna o novo intermediário). Os mempools criptografados adiam a extração do pedido para o momento da descriptografia, mas contam com um comitê validador que mantém a governança e a superfície de extração da plataforma. Os leilões do solucionador reduzem a extração de pedidos para pedidos correspondidos, mas deixam os pedidos não correspondidos sujeitos ao AMM MEV padrão e introduzem a extração da plataforma da rede do solucionador. Nada disso está errado. Eles são parciais. A propriedade de conservação diz que parcial não compõe o total.
Onde o argumento chega
O corolário construtivo é que o valor extraível generalizado deve ser abordado em todas as camadas simultaneamente. Não há atalho arquitetônico. Um protocolo que deseja que a extração seja realmente zero deve encerrar a extração de pedidos, a extração de governança, o aluguel de tokens, a assimetria de formação de capital, a extração de oráculos, a extração de plataforma e a extração de liquidação, tudo no mesmo projeto.
Esta é uma restrição mais forte do que a literatura MEV normalmente impõe, e é a restrição certa. A razão pela qual os protocolos resistentes a MEV existentes não são adotados como substratos para o resto da pilha DeFi é que mesmo dentro do seu domínio de competência, os outros seis canais permanecem abertos no ecossistema circundante. Um trader que transita através de um AMM perfeitamente resistente ao MEV, mas toma emprestado um protocolo com extração de governança e usa um oráculo com extração de operador, não eliminou sua exposição ao GEV. Eles mudaram o GEV.
O padrão arquitetônico que fecha toda a superfície do GEV possui nove componentes, que descreverei nos próximos posts desta série. Eles não são novos individualmente; leilões em lote de confirmação e revelação, preços de compensação uniformes, distribuição de valor Shapley, guardas de taxa de variação e outros componentes são estabelecidos no projeto do mecanismo e no financiamento aplicado. A contribuição é composicional: aplicar todos eles simultaneamente, em todas as camadas, com restrições de composição que evitam que a extração se mova através dos limites do módulo.
Três restrições de composição
Para que a resistência GEV sobreviva à composição do módulo, três restrições são suficientes nas arquiteturas que estudei:
Primeiro, atribuição unificada de Shapley. Cada fluxo de valor no sistema passa por um único mecanismo de atribuição. Se a distribuição de recompensas for por módulo, um invasor pode manipular os limites entre módulos para receber alocações que violam Shapley e que nenhuma atribuição de módulo único detecta. Se a atribuição for unificada, os axiomas de Shapley aplicam-se globalmente.
Em segundo lugar, o rastreamento unificado das contribuições. Cada crédito ganho por um participante é registrado em um único gráfico acíclico direcionado. As contribuições entre módulos são visíveis para o mecanismo de atribuição, o que evita a contagem dupla numa direção e lacunas de atribuição na outra.
Terceiro, limites de segurança unificados. Os parâmetros de risco aplicam-se globalmente e não por módulo. Um disjuntor que pausa um módulo enquanto outro permanece ativo cria um caminho de saída através do qual a extração pode fluir.
Esses três são suficientes para preservar a resistência do GEV na composição das arquiteturas de protocolo que analisei. Elas não são as únicas condições suficientes, mas são mínimas no sentido de que a remoção de qualquer uma delas cria um caminho de extração conhecido.
O que isso não é
Esta não é uma afirmação de que o MEV não seja importante. MEV é um dos sete canais e é o mais visível porque opera em escalas de tempo de milissegundos e deixa evidências diretas na cadeia. A literatura MEV produziu progresso real num canal real. O argumento é que o quadro da literatura é demasiado estreito para ser a unidade de análise para a concepção do protocolo, e que os protocolos concebidos para serem resistentes ao MEV descobrirão que os outros seis canais ainda estão a extrair dos seus utilizadores.
Isto também não é uma afirmação de que os sete canais são tudo o que existe. Pode haver oito ou mais. A alegação da estrutura é que a contagem é maior que um e que a propriedade de conservação se mantém independentemente do conjunto completo. Adicionar canais fortalece o argumento; isso não o enfraquece.
E isto não é uma afirmação de que qualquer regra de alocação específica seja universalmente correta. O valor de Shapley é a alocação única que satisfaz a eficiência, a simetria, a propriedade de jogador nulo e a aditividade. Diferentes conjuntos de axiomas produzem diferentes alocações exclusivas. A estrutura usa Shapley porque os quatro axiomas que ela satisfaz são individualmente defensáveis com base na teoria dos jogos cooperativos. A substituição por uma regra de atribuição diferente, se for defensável, alteraria o cálculo específico do GEV, mas não a propriedade de conservação.
Para onde vai a série a partir daqui
A próxima postagem descreverá o padrão arquitetônico para o fechamento dos sete canais, começando com as considerações de ordem de grandeza sobre por que os leilões em lote com preços de compensação uniformes são o substrato certo para o fechamento da extração de ordens de transação especificamente. As postagens subsequentes cobrirão os outros canais na ordem aproximada de quão completamente eles podem ser abordados hoje.
A tese a ser lembrada em toda a série: a extração é conservada nas camadas de protocolo, as soluções parciais são realocadas em vez de eliminadas, e o único padrão de arquitetura que produz extração zero é aquele que aborda todos os canais simultaneamente com restrições de composição que impedem a realocação entre canais.
O argumento não requer nova matemática. O valor de Shapley é de 1953. A teoria dos jogos cooperativos tem o sistema de axiomas relevante. A contribuição desta série é observar que a camada de abstração para o problema MEV está errada e que a camada de abstração correta é aquela que as ferramentas existentes podem resolver, mas os protocolos existentes não.
Postado em ethresear.ch sob identificador schelling. Parte 3 de uma série de oito partes sobre fechamento de entreferro. Comentários e contra-exemplos são bem-vindos.
Fontesethresear
