Supressão de MEV e Ordenação Justa de Transações: SUAVE vs. Anoma vs. Skip vs. Flashbots v2
O Valor Máximo Extraível (MEV) refere-se ao lucro que um "insider" da blockchain (minerador/validador ou outro ator privilegiado) pode obter ao reordenar, incluir ou excluir transações arbitrariamente em um bloco. A extração de MEV não controlada pode levar a uma ordenação injusta de transações, taxas elevadas (devido a leilões de gás prioritário) e centralização de poder na produção de blocos. Vários protocolos surgiram para suprimir o MEV prejudicial ou impor uma ordenação justa de transações. Este relatório compara quatro abordagens proeminentes: Flashbots v2 (o sistema MEV-Boost da Flashbots pós-Merge para Ethereum), SUAVE (o futuro Single Unifying Auction for Value Expression da Flashbots), Anoma (uma arquitetura centrada em intenções que reimagina como as transações são combinadas e ordenadas) e Skip Protocol (um kit de ferramentas baseado no Cosmos para gestão soberana de MEV no protocolo). Examinamos cada um em termos de seus algoritmos de enfileiramento/ordenação de transações, mecanismos de mitigação ou extração de MEV, modelos de incentivo, características de conformidade e neutralidade, arquitetura técnica (consenso e criptografia) e progresso de desenvolvimento. Resumos estruturados e uma tabela de comparação são fornecidos para destacar seus pontos fortes e trade-offs na busca pela justiça e na redução das externalidades negativas do MEV.
Flashbots v2 (MEV-Boost & BuilderNet no Ethereum)
O Flashbots v2 denota o ecossistema atual da Flashbots no Ethereum pós-Proof-of-Stake, centrado no MEV-Boost e em iniciativas recentes como o BuilderNet. O Flashbots v2 baseia-se no paradigma de separação proponente/construtor (PBS) para abrir a construção de blocos a um mercado competitivo de construtores, protegendo ao mesmo tempo os utilizadores do Ethereum de ataques de MEV no mempool público.
-
Ordenação de Transações (Enfileiramento e Algoritmo): O MEV-Boost da Flashbots introduz um mercado de construção de blocos off-chain. Os validadores (proponentes) terceirizam a construção de blocos para construtores especializados através de um relay, em vez de ordenarem as transações localmente. Vários construtores competem para fornecer o bloco com o maior pagamento, e o validador assina cegamente o cabeçalho do bloco com a oferta mais alta (uma abordagem PBS). Este design substitui efetivamente a ordenação de primeiro a chegar, primeiro a ser servido do mempool público por um leilão de lances selados para blocos inteiros. Os construtores determinam a ordenação das transações internamente para maximizar os pagamentos totais (incluindo oportunidades de MEV), geralmente preferindo bundles com arbitragens ou liquidações lucrativas no topo do bloco. Ao usar o MEV-Boost, o Ethereum evitou os caóticos leilões de gás prioritário (PGAs) que anteriormente determinavam a ordenação; em vez de utilizadores e bots licitarem através de taxas de gás em tempo real (aumentando o congestionamento), o MEV-Boost centraliza a ordenação por bloco para o construtor mais competitivo. As filas de transações são, portanto, geridas privadamente por construtores, que podem ver os bundles ou transações recebidas e organizá-las para um lucro ótimo. Uma desvantagem é que esta ordenação orientada pelo lucro não impõe inerentemente "justiça" para os utilizadores – por exemplo, os construtores ainda podem incluir fluxos de ordens tóxicos como ataques sanduíche se forem lucrativos – mas otimiza a eficiência ao extrair MEV através de um leilão controlado em vez de guerras de gás ad-hoc. Desenvolvimentos recentes visaram tornar a ordenação mais neutra: por exemplo, o novo BuilderNet da Flashbots (lançado no final de 2024) permite que vários construtores colaboradores partilhem o fluxo de ordens e construam blocos coletivamente num Ambiente de Execução Confiável, introduzindo regras de ordenação verificáveis para melhorar a justiça. Isto afasta a ordenação de blocos de um único construtor centralizado para uma rede descentralizada de construção de blocos com regras que podem ser auditadas quanto à neutralidade.
-
Mecanismos de Supressão vs. Extração de MEV: O Flashbots v2 facilita principalmente a extração de MEV de uma forma mais benigna em vez de a eliminar. O sistema original da Flashbots (v1) em 2021 permitia que os searchers enviassem bundles (conjuntos de transações preferenciais) diretamente aos mineradores, o que suprimia externalidades prejudiciais (sem front-running público, sem transações falhadas devido a corridas) enquanto ainda extraía MEV. Na era do MEV-Boost, o MEV é extraído por construtores que agrupam transações lucrativas, mas a competição de soma negativa é reduzida: os searchers já não enviam spam para o mempool com transações concorrentes e taxas de gás exorbitantes, o que mitiga o congestionamento da rede e as taxas excessivas para os utilizadores. O Flashbots v2 também fornece ferramentas de mitigação de MEV para os utilizadores: por exemplo, o Flashbots Protect RPC permite que os utilizadores submetam transações privadamente a um relay, impedindo o front-running no mempool público (ninguém pode ver ou reordenar a transação antes da inclusão). Outra iniciativa, o MEV-Share, permite que os utilizadores partilhem apenas informação suficiente sobre as suas transações para atrair lances de MEV, capturando uma parte do valor para si próprios. No entanto, o Flashbots v2 não "impede" MEV como sanduíches ou arbitragem – canaliza estas atividades através de um leilão eficiente que, argumentavelmente, democratiza quem pode extrair o MEV. Recentemente, o design do BuilderNet tem o objetivo explícito de “neutralizar jogos de fluxo de ordens de soma negativa” e partilhar o MEV de volta com a comunidade através de regras de reembolso on-chain. O BuilderNet calcula reembolsos pagos aos fornecedores de fluxo de ordens de transações (como carteiras ou DApps) proporcionais ao MEV que as suas transações geraram, redistribuindo valor que de outra forma seria lucro puro para os construtores. Em resumo, o Flashbots v2 maximiza a eficiência da extração de MEV (garantindo que quase todo o valor extraível num bloco é efetivamente capturado) enquanto introduz medidas para conter as piores externalidades e devolver algum valor aos utilizadores. Fica aquém de impor uma ordenação justa (as transações ainda são ordenadas pelo lucro do construtor), mas através da submissão privada, construção multipartidária e reembolsos, suprime o dano negativo ao utilizador (como a derrapagem por front-running e efeitos de censura) tanto quanto possível dentro do modelo de leilão.
-
Estrutura de Incentivo Económico: O Flashbots v2 alinha os incentivos entre validadores, construtores e searchers através do leilão PBS. Os Validadores beneficiam ao terceirizar a produção de blocos – eles simplesmente aceitam o lance mais alto e recebem o valor do lance (além das recompensas de consenso), o que aumentou drasticamente a parte do MEV que vai para os validadores em comparação com a era em que os mineradores não tinham tais leilões. Os construtores são incentivados a competir entre si, encontrando a ordenação mais lucrativa de transações (muitas vezes incorporando estratégias de searchers), e mantêm qualquer lucro de MEV restante após pagar o lance do validador. Na prática, a competição força os construtores a pagar a maior parte do MEV aos validadores (muitas vezes >90% do lucro), mantendo apenas uma margem fina. Os Searchers (agora interagindo com os construtores através de bundles ou transações diretas) ainda ganham ao descobrir oportunidades de MEV (arbitragem, liquidação, etc.), mas devem licitar a maior parte do seu lucro para ganhar a inclusão – efetivamente, os lucros dos searchers são transferidos para os validadores através dos lances dos construtores. Este equilíbrio competitivo maximiza a receita total da rede (beneficiando validadores/stakers) mas aperta as margens individuais dos searchers. O Flashbots v2, assim, desencoraja acordos exclusivos: qualquer searcher ou construtor com uma estratégia de MEV privada é incentivado a licitá-la através do relay aberto para evitar ser superado, levando a um mercado mais aberto. A introdução do BuilderNet adiciona um incentivo para os originadores de fluxo de ordens (como DEXs ou carteiras) – ao dar-lhes reembolsos pelo MEV que as suas transações criam, incentiva os utilizadores e as aplicações a enviar o fluxo de ordens para o ecossistema BuilderNet. Este mecanismo alinha os utilizadores com o sistema: em vez de serem adversários (utilizadores vs. extratores de MEV), os utilizadores partilham do MEV, pelo que estão mais dispostos a participar no leilão de forma justa. No geral, a economia do Flashbots v2 favorece a colaboração em detrimento da competição na construção de blocos: os validadores obtêm a receita máxima sem risco, os construtores competem na qualidade da execução, e os searchers inovam para encontrar MEV mas abdicam da maioria dos lucros para ganhar lances, enquanto os utilizadores ganham proteção e possivelmente reembolsos.
-
Conformidade e Resistência à Censura: A conformidade regulatória tornou-se uma questão controversa para a Flashbots após o Merge do Ethereum. O relay padrão da Flashbots implementou inicialmente a conformidade com as sanções da OFAC (censurando certas transações como as do Tornado Cash) – levando a que ~80% dos blocos do Ethereum no final de 2022 fossem "conformes com a OFAC" e levantando preocupações de centralização/censura na comunidade. O Flashbots v2 abordou isto fomentando um ecossistema multi-relay onde os validadores podem escolher relays não censores (por exemplo, UltraSound, Agnostic) ou até mesmo executar os seus próprios. A Flashbots tornou o seu código de relay de código aberto em meados de 2022 para encorajar a competição global de relays e a transparência. Adicionalmente, o MEV-Boost v1.4 introduziu funcionalidades como uma configuração de lance mínimo para que os proponentes pudessem rejeitar lances baixos de construtores censores e recorrer a blocos locais, trocando algum lucro pela inclusão de todas as transações. Esta funcionalidade deu explicitamente aos validadores uma forma de melhorar a resistência à censura do Ethereum a um pequeno custo. No final de 2024, a Flashbots deu um passo adiante ao descontinuar o seu próprio construtor centralizado em favor do BuilderNet – uma rede colaborativa destinada a ser “incensurável e neutra”. O BuilderNet usa TEEs (Intel SGX) para manter o fluxo de ordens de transações encriptado e compromete-se verificavelmente com uma regra de ordenação, o que pode ajudar a impedir que construtores individuais censurem transações específicas. Com múltiplos participantes a construir blocos conjuntamente dentro de enclaves seguros, nenhuma parte única pode facilmente excluir uma transação sem ser detetada. Em suma, o Flashbots v2 evoluiu de um relay único (e inicialmente censor) para uma infraestrutura mais descentralizada com participação aberta e objetivos explícitos de neutralidade. A conformidade é deixada para as políticas individuais de relays/construtores (e os validadores podem escolher), em vez de ser imposta pelo protocolo. A trajetória é em direção à neutralidade credível: eliminar quaisquer pontos de estrangulamento controlados pela Flashbots que possam ser pressionados por reguladores. A Flashbots comprometeu-se publicamente a remover-se como operador central e a descentralizar todos os aspetos da cadeia de fornecimento de MEV a longo prazo.
-
Arquitetura Técnica e Criptografia: O Flashbots v2 opera de forma híbrida, off-chain e no protocolo. O leilão principal (MEV-Boost) acontece off-chain através da rede de construtores e relays, mas liga-se diretamente ao consenso do Ethereum: os validadores executam um cliente sidecar (mev-boost) que interage com os relays usando a API de Construtor padronizada. Em termos de consenso, o Ethereum ainda usa o PoS padrão (Casper/Hotstuff) – o MEV-Boost não altera as regras de consenso da L1; apenas muda quem monta o bloco. Inicialmente, o leilão da Flashbots exigia confiar que o relay e o construtor não roubariam transações ou censurariam – não havia garantias criptográficas (o sistema dependia do incentivo económico de que os construtores devem entregar uma carga útil válida correspondente ao seu lance ou perdem o slot). Com o tempo, o Flashbots v2 integrou mais tecnologia de segurança. A introdução de Ambientes de Execução Confiáveis (TEE) através do BuilderNet é uma mudança arquitetónica notável: os construtores executam dentro de enclaves SGX para que mesmo o operador do construtor não possa ver o fluxo de ordens de transações bruto (impedindo-os de o vazar ou fazer front-running). Estes enclaves seguem coletivamente um protocolo para produzir blocos, o que pode permitir uma justiça verificável (por exemplo, provar que as transações foram ordenadas por uma regra comprometida ou que nenhuma entidade não autorizada as viu antes da inclusão). Embora o SGX seja usado (uma abordagem baseada em hardware), a pesquisa da Flashbots também está a explorar primitivas criptográficas puras – por exemplo, criptografia de limiar para privacidade do mempool e computação segura multipartidária – para eventualmente substituir ou complementar os TEEs e reduzir ainda mais a confiança. A pilha de software do Flashbots v2 inclui clientes personalizados como o MEV-geth (agora obsoleto) e construtores baseados em Rust (por exemplo, rbuilder), e adere às especificações de construtor do Ethereum para interoperabilidade. Em resumo, a arquitetura é modular: uma rede de relays, construtores e agora enclaves, situada entre os utilizadores e os proponentes do Ethereum. Prioriza o desempenho (licitação rápida, entrega de blocos) e está gradualmente a adicionar garantias criptográficas de privacidade e ordenação justa. Nenhum novo algoritmo de consenso é introduzido; em vez disso, o Flashbots v2 funciona ao lado do consenso do Ethereum, evoluindo o pipeline de produção de blocos em vez das regras de consenso.
-
Roteiro de Desenvolvimento e Marcos: A Flashbots progrediu através de fases iterativas. O Flashbots v1 (2020–2021) envolveu o lançamento do MEV-geth e os primeiros leilões de bundles off-chain com mineradores. Em meados de 2021, mais de 80% do hashrate do Ethereum estava a executar o MEV-geth da Flashbots, confirmando a adoção da abordagem. O Flashbots v2 (2022) foi concebido antes do The Merge: em novembro de 2021, a Flashbots publicou a arquitetura MEV-Boost para o Ethereum PoS. Depois que o Ethereum mudou para PoS (15 de setembro de 2022), o MEV-Boost foi ativado em poucos dias e rapidamente alcançou a adesão da maioria dos validadores. Marcos subsequentes incluíram a abertura do código do relay (agosto de 2022) e do construtor de blocos interno da Flashbots (novembro de 2022) para estimular a competição. No final de 2022, a Flashbots também adicionou funcionalidades focadas na resistência à censura e resiliência (por exemplo, lance mínimo para proponentes) e escreveu sobre o “Custo da Resiliência” para encorajar os validadores a preferirem por vezes a inclusão ao lucro. Ao longo de 2023, melhorar a descentralização dos construtores tornou-se um foco principal: a Flashbots lançou o “rbuilder” (um construtor de alto desempenho em Rust) em julho de 2024 como uma implementação de referência para diminuir a barreira para novos construtores. Finalmente, no final de 2024, a Flashbots lançou o BuilderNet (alfa) em colaboração com parceiros (Beaverbuild, Nethermind). Em dezembro de 2024, a Flashbots encerrou o seu construtor centralizado e migrou todo o fluxo de ordens para o BuilderNet – um passo significativo em direção à descentralização. No início de 2025, o BuilderNet v1.2 foi lançado com melhorias de segurança e onboarding (incluindo builds de enclave reproduzíveis). Estes marcos marcam a transição da Flashbots de uma solução centralizada expedita para um protocolo mais aberto e gerido pela comunidade. Olhando para o futuro, a Flashbots está a convergir com a sua visão de próxima geração (SUAVE) para descentralizar totalmente a camada de construção de blocos e incorporar tecnologia de privacidade avançada. Muitas lições do Flashbots v2 (por exemplo, a necessidade de neutralidade, âmbito multi-chain e inclusão do utilizador nas recompensas de MEV) informam diretamente o roteiro do SUAVE.
SUAVE (Single Unifying Auction for Value Expression da Flashbots)
SUAVE é o ambicioso protocolo de próxima etapa da Flashbots, projetado como um mercado de MEV descentralizado e interdomínio e uma camada de sequenciamento justo de transações. O seu objetivo é desagregar os mempools e a construção de blocos das blockchains individuais e fornecer uma plataforma unificada onde os utilizadores expressam preferências, uma rede descentralizada executa transações de forma ótima, e os construtores de blocos produzem blocos em muitas chains de uma forma credivelmente neutra. Em suma, o SUAVE procura maximizar a extração total de valor, devolvendo ao mesmo tempo valor aos utilizadores e preservando a descentralização da blockchain. A Flashbots introduziu o SUAVE no final de 2022 como "o futuro do MEV" e tem vindo a desenvolvê-lo abertamente desde então.
-
Enfileiramento e Ordenação de Transações: De uma perspetiva geral, o SUAVE funciona como uma rede de blockchain independente que outras chains podem usar como um mempool e construtor de blocos plug-and-play. Em vez de as transações serem enfileiradas no mempool de cada chain e ordenadas por mineradores ou validadores locais, os utilizadores podem enviar as suas transações (ou, mais genericamente, preferências) para o mempool da rede SUAVE. O mempool do SUAVE serve então como um pool de leilão global de preferências de todas as chains participantes. A ordenação das transações é determinada através deste leilão e da subsequente otimização da execução. Especificamente, o SUAVE introduz um conceito de preferências: a submissão de um utilizador não é apenas uma transação bruta para uma chain, mas pode codificar um objetivo ou uma troca condicional (possivelmente abrangendo várias chains) e um lance associado que o utilizador está disposto a pagar pela sua realização. O algoritmo de ordenação/enfileiramento no SUAVE tem várias etapas: Primeiro, os utilizadores publicam as suas preferências no mempool do SUAVE (o “Ambiente Universal de Preferências”), que agrega todas as ordens de forma privada e global. Em seguida, nós especializados chamados executores (análogos a searchers/solvers) monitorizam este mempool e competem num Mercado de Execução Ótima para satisfazer estas preferências. Eles efetivamente "enfileiram" transações ao encontrar correspondências ou uma ordenação de execução ótima para elas. Finalmente, o SUAVE produz saídas de bloco para cada chain conectada através de uma camada de Construção de Blocos Descentralizada: muitos construtores (ou executores do SUAVE a atuar como construtores) colaboram para construir blocos usando a ordem de transações (agora otimizada) derivada das preferências dos utilizadores. Em termos práticos, a ordenação do SUAVE é flexível e orientada pelo utilizador: um utilizador pode especificar condições como "executar a minha troca apenas se o preço < X" ou mesmo expressar uma intenção abstrata ("trocar o token A por B à melhor taxa dentro de 1 minuto") em vez de uma transação estrita. O sistema enfileira estas intenções até que um executor encontre uma ordenação ou correspondência ótima (possivelmente agrupando com outras). Como o SUAVE é agnóstico em relação à blockchain, pode coordenar a ordenação entre chains (impedindo cenários em que arbitragens entre chains são perdidas devido a mempools separados e não coordenados). Essencialmente, o SUAVE implementa um leilão global de MEV: todos os participantes partilham uma camada de sequenciamento, que ordena as transações com base em preferências e lances agregados em vez de simples tempo ou preço do gás. Isto tem o efeito de nivelar o campo de jogo – todo o fluxo de ordens passa por uma única fila transparente (embora encriptada para privacidade, como discutido abaixo) em vez de acordos exclusivos ou mempools privados. O algoritmo de ordenação do SUAVE ainda está a ser refinado, mas provavelmente envolverá leilões em lote com preservação de privacidade e algoritmos de correspondência para que resultados "justos" (como excedente total máximo ou preços ótimos para o utilizador) possam ser alcançados em vez de puro primeiro a chegar, primeiro a ser servido. Notavelmente, o SUAVE pretende impedir que qualquer ator único manipule a ordenação: é nativo do Ethereum e consciente do MEV, com um mempool encriptado que prioriza a privacidade e protege contra quaisquer pontos centrais de controlo. Em resumo, a fila do SUAVE é um pool de fluxo de ordens unificado onde a ordenação é determinada por uma combinação de lances de utilizadores, estratégia de executores e (eventualmente) restrições de justiça criptográficas, em vez de proponentes de blocos a correr por prioridade.
-
Mecanismos de Supressão/Extração de MEV: A filosofia do SUAVE é que o MEV pode ser aproveitado em benefício dos utilizadores e para a segurança da rede se for feito de maneira cooperativa e descentralizada. Em vez de ignorar o MEV ou deixá-lo concentrar-se em poucas mãos, o SUAVE explicitamente revela oportunidades de MEV e devolve o valor a quem o cria (utilizadores) tanto quanto possível. O mecanismo principal é o leilão de fluxo de ordens: sempre que a transação (preferência) de um utilizador tem MEV – por exemplo, pode ser alvo de back-running para lucro – o SUAVE realizará um leilão entre executores (searchers) pelo direito de executar essa oportunidade de MEV. Os searchers (executores) licitam prometendo uma parte do lucro de volta ao utilizador como pagamento (este é o campo "lance" do utilizador na sua preferência, que vai para quem a cumprir). O resultado é uma extração de MEV competitiva que direciona a receita para o utilizador em vez do extrator. Por exemplo, se uma grande troca de um utilizador numa DEX cria uma oportunidade de arbitragem de 90 de volta ao utilizador como um reembolso, ficando apenas com $10. Isto suprime os aspetos negativos do MEV, como a extração de valor do utilizador, e transforma o MEV num benefício para o utilizador (os utilizadores efetivamente obtêm melhoria de preço ou reembolsos). O design do SUAVE também suprime o front-running e outro MEV malicioso: as transações no mempool do SUAVE podem ser mantidas encriptadas até que um bloco esteja a ser construído (usando enclaves SGX inicialmente, movendo-se para criptografia de limiar). Isto significa que nenhum ator externo pode ver transações pendentes para fazer front-running; só quando transações suficientes são recolhidas e um bloco é finalizado é que são desencriptadas e executadas, semelhante em espírito a leilões em lote ou mempools encriptados que removem a vantagem de prioridade temporal dos bots. Adicionalmente, como os executores otimizam a execução em muitas preferências, o SUAVE pode eliminar a competição ineficiente (como dois bots a lutar pela mesma arbitragem enviando spam). Em vez disso, o SUAVE seleciona o melhor executor através do leilão e esse executor realiza a troca uma vez, com o resultado a beneficiar o utilizador e a rede. O SUAVE atua assim como um agregador de MEV e uma “fada madrinha”: não elimina o MEV (as oportunidades lucrativas ainda são aproveitadas), mas essas oportunidades são realizadas sob regras transparentes e com os lucros largamente distribuídos aos utilizadores e validadores (e não desperdiçados em taxas de gás ou guerras de latência). Ao unificar os mempools, o SUAVE também aborda o MEV interdomínio de uma forma amigável para o utilizador – por exemplo, uma arbitragem entre a Uniswap no Ethereum e uma DEX na Arbitrum poderia ser capturada por um executor do SUAVE e uma parte paga aos utilizadores de ambos os lados, em vez de ser perdida ou exigir um arbitrador centralizado. Importante, o SUAVE suprime as forças centralizadoras do MEV: acordos de fluxo de ordens exclusivos (onde entidades privadas capturam MEV) tornam-se desnecessários se todos estiverem a usar o leilão comum. A visão final do SUAVE é reduzir a extração de MEV prejudicial (como ataques sanduíche que causam derrapagem), tornando-os não lucrativos ou reembolsando a derrapagem, e usar o “bom MEV” (arbitragem, liquidações) para fortalecer as redes (através da partilha de receitas e execução ótima). Nas próprias palavras da Flashbots, o objetivo do SUAVE é garantir que “os utilizadores transacionem com a melhor execução e taxas mínimas” enquanto “os validadores obtêm a receita máxima” – ou seja, qualquer MEV presente é extraído da forma mais alinhada com o utilizador.
-
Estrutura de Incentivo Económico: O SUAVE introduz novos papéis e fluxos de incentivo na cadeia de fornecimento de MEV. Os principais participantes são utilizadores, executores, construtores/validadores de blocos e os operadores da rede SUAVE (validadores da chain SUAVE). Os Utilizadores definem um lance (pagamento) na sua preferência, que será pago se as suas condições forem cumpridas. Este lance é o incentivo para os executores: um executor que cumpre a intenção do utilizador (por exemplo, faz back-running da sua troca para obter um preço melhor) pode reivindicar o lance como recompensa. Os utilizadores estão, portanto, a pagar diretamente pela qualidade da execução, como se estivessem a publicar uma recompensa. Os Executores (Searchers) são motivados a pegar nas preferências dos utilizadores do mempool do SUAVE e a otimizá-las porque ganham o lance do utilizador mais qualquer lucro de arbitragem extra inerente à transação. Os executores competirão para oferecer o melhor resultado ao utilizador, porque o utilizador pode definir o seu lance de forma que só pague se o executor realmente alcançar o resultado desejado (o lance pode ser condicional a resultados on-chain através de oráculos). Por exemplo, um utilizador pode dizer: "Pagarei 0.5 ETH a quem executar esta transação de forma que eu obtenha pelo menos X de saída; caso contrário, não há pagamento." Isto alinha os incentivos dos executores com o sucesso do utilizador. Validadores/Construtores do SUAVE: A própria chain SUAVE será provavelmente uma rede Proof-of-Stake (design a ser determinado), pelo que os validadores (que produzem blocos no SUAVE) ganham taxas de transação no SUAVE (que vêm dos utilizadores que publicam lances e outras operações). Como o SUAVE é uma chain compatível com EVM, também pode haver um token nativo ou um sistema de taxas de gás para essas transações. Estes validadores também desempenham um papel no sequenciamento de blocos interdomínio; no entanto, a inclusão final do bloco em cada L1 ainda é feita pelo validador dessa L1. Em muitos casos, o SUAVE produzirá um modelo de bloco parcial ou completo que um proponente do Ethereum ou de outra chain pode adotar. Esse construtor pode pagar ao SUAVE (ou aos executores do SUAVE) uma parte do MEV. A Flashbots mencionou que os validadores do SUAVE são incentivados por taxas de rede normais, enquanto os executores são incentivados por lances. Distribuição de Valor: A abordagem do SUAVE tende a empurrar o valor para as extremidades: os utilizadores capturam valor (através de melhores preços ou reembolsos diretos), e os validadores capturam valor (através do aumento de taxas/lances). Em teoria, se o SUAVE cumprir a sua missão, a maior parte do MEV será devolvida aos utilizadores ou usada para compensar os validadores por protegerem a rede, em vez de se concentrar nos searchers. A própria Flashbots indicou que não planeia extrair rendas do SUAVE e não ficará com uma parte além do necessário para o arranque – eles querem projetar o mercado, não monopolizá-lo. Outra consideração de incentivo são os construtores inter-chain: o SUAVE permite que os construtores de blocos acedam a MEV interdomínio, o que significa que um construtor numa chain pode ganhar taxas adicionais ao incluir transações que completam arbitragens com outra chain. Isto incentiva os construtores/validadores de diferentes chains a participarem todos no SUAVE, porque ficar de fora significa perder receita. Essencialmente, o design económico do SUAVE tenta alinhar todos os participantes para se juntarem ao leilão comum: os utilizadores porque obtêm melhor execução (e talvez reembolsos de MEV), os validadores porque obtêm a receita máxima, e os searchers porque é lá que o fluxo de ordens é agregado. Ao concentrar o fluxo de ordens, o SUAVE também ganha uma vantagem de informação sobre qualquer ator isolado (todas as preferências num só lugar), o que pressiona economicamente todos a cooperarem dentro do SUAVE em vez de se separarem. Em resumo, os incentivos do SUAVE promovem um ciclo virtuoso: mais fluxo de ordens → melhores oportunidades de MEV combinadas → lances mais altos para utilizadores/validadores → mais fluxo de ordens. Isto contrasta com a competição de soma zero e os acordos exclusivos do passado, visando em vez disso a “coopetição” onde o MEV é um valor partilhado para crescer e distribuir.
-
Considerações de Conformidade e Regulamentação: O SUAVE está a ser construído com neutralidade credível e resistência à censura como princípios fundamentais. Por design, o SUAVE remove intermediários centrais – não há um único mempool ou um único construtor para atacar ou regular. As transações (preferências) no SUAVE podem ser totalmente encriptadas e privadas até serem executadas, usando enclaves seguros e, eventualmente, técnicas criptográficas. Isto significa que a censura ao nível do conteúdo da transação é impraticável, uma vez que os validadores/construtores nem sequer conseguem ler os detalhes da transação antes de finalizarem a ordem. O SUAVE força essencialmente uma abordagem de “não confie, verifique”: os participantes não precisam de confiar numa entidade para não censurar, porque a própria arquitetura do sistema (rede descentralizada + encriptação) garante que as preferências de todos são incluídas de forma justa. Além disso, o SUAVE pretende ser uma rede aberta e sem permissões – a Flashbots convida explicitamente todas as partes (utilizadores, searchers, carteiras, outras blockchains) a participar. Não há KYC ou barreiras de permissão no seu design. Isto pode levantar questões com os reguladores (por exemplo, o protocolo poderia facilitar a extração de MEV em transações sancionadas), mas como o SUAVE é apenas uma plataforma descentralizada, a aplicação seria difícil e análoga a tentar regular o mempool de uma blockchain. O foco do SUAVE na privacidade (através de SGX e, mais tarde, criptografia) também protege os dados dos utilizadores e o fluxo de ordens de monitorização indesejada, o que é positivo para a segurança do utilizador, mas pode entrar em conflito com os desejos regulatórios de transparência. Por outro lado, a abordagem do SUAVE poderia ser vista como mais justa e em conformidade com o espírito dos mercados abertos: ao criar um campo de jogo nivelado e devolver valor aos utilizadores, reduz os aspetos exploratórios do MEV que poderiam atrair a ira regulatória (como fazer back-running de utilizadores sem o seu consentimento). O SUAVE também pode ajudar a eliminar dark pools não regulamentados – uma razão pela qual os reguladores podem estar preocupados com o MEV são as vendas de fluxo de ordens exclusivas (que se assemelham a insider trading). O SUAVE substitui-as por um leilão público transparente, argumentavelmente uma estrutura de mercado mais compatível. Em termos de funcionalidades de conformidade explícitas, o SUAVE poderia permitir múltiplas políticas de ordenação: por exemplo, comunidades ou jurisdições poderiam implementar os seus próprios executores com certos filtros ou preferências. No entanto, a base é que o SUAVE tentará ser maximamente neutro: “eliminar quaisquer pontos centrais de controlo, incluindo a Flashbots” e evitar incorporar quaisquer decisões políticas ao nível do protocolo. A Flashbots salientou que não controlará o mercado do SUAVE à medida que este amadurece – o que significa que não haverá um kill-switch central ou um botão de censura. A governação (se houver) do SUAVE ainda não está definida publicamente, mas pode-se esperar que envolva a comunidade em geral e possivelmente um token, em vez do decreto de uma empresa. Em resumo, o SUAVE é projetado para se alinhar com os princípios descentralizados, que por natureza resistem a certo controlo regulatório (censura), enquanto potencialmente aliviam algumas preocupações regulatórias ao tornar a extração de MEV mais equitativa e transparente.
-
Arquitetura Técnica (Consenso e Criptografia): O SUAVE operará o seu próprio ambiente de blockchain – pelo menos inicialmente. É descrito como uma chain compatível com EVM especializada em preferências e MEV. A arquitetura tem três componentes principais: (1) o Ambiente Universal de Preferências (a chain SUAVE + mempool, onde as preferências são publicadas e agregadas), (2) o Mercado de Execução (executores off-chain ou on-chain que resolvem/otimizam as preferências, semelhante a um “motor de correspondência de ordens” descentralizado), e (3) a Construção de Blocos Descentralizada (uma rede de participantes do SUAVE que montam blocos para vários domínios). No seu núcleo, o consenso do SUAVE será provavelmente um consenso BFT Proof-of-Stake (semelhante ao Ethereum ou Cosmos) para operar a própria chain SUAVE – embora ainda esteja a ser decidido se o SUAVE se tornará uma L1, uma L2 do Ethereum, ou um conjunto de contratos de “restaking”. Uma possibilidade é que o SUAVE possa começar como uma layer-2 ou sidechain que usa o Ethereum para finalidade, ou aproveitar conjuntos de validadores existentes. O modelo de segurança é TBD, mas as discussões incluíram torná-lo uma L3 do Ethereum ou uma chain do Cosmos. Criptograficamente, o SUAVE apoia-se fortemente em Hardware Confiável e encriptação no seu roteiro inicial. A fase SUAVE Centauri implementa um “leilão de fluxo de ordens consciente da privacidade” no qual a Flashbots (centralmente) opera enclaves SGX para manter o fluxo de ordens de searchers e utilizadores privado. Em SUAVE Andromeda, planeiam usar leilões e construção de blocos baseados em SGX sem confiar na Flashbots (os enclaves fornecem confidencialidade para que nem mesmo a Flashbots possa espreitar). Em SUAVE Helios, o objetivo é ter uma rede de construção descentralizada baseada em SGX – o que significa que muitas partes independentes executam enclaves que constroem blocos coletivamente, alcançando tanto privacidade como descentralização. A longo prazo, a Flashbots está a pesquisar enclaves seguros personalizados e substitutos criptográficos como decriptação de limiar e computação multipartidária para reduzir a dependência do SGX da Intel. Por exemplo, podem usar um esquema de encriptação de limiar onde os validadores do SUAVE detêm conjuntamente uma chave para desencriptar transações apenas depois de a ordenação ser decidida (garantindo que ninguém pode fazer front-run). Este conceito é semelhante ao Ferveo da Anoma ou a outras ideias de “ordenação justa via encriptação de limiar”. Adicionalmente, o SUAVE trata as preferências do utilizador como contratos inteligentes na sua chain. A preferência de um utilizador pode conter um predicado de validade e uma condição de pagamento – isto é essencialmente um pedaço de código que diz “se o resultado X for alcançado na chain Y, então pague ao executor Z esta quantia”. A chain SUAVE precisa de lidar com oráculos e verificação inter-chain para saber quando uma preferência foi cumprida (por exemplo, ler o estado do Ethereum para ver se uma troca aconteceu). Isto implica que a arquitetura do SUAVE envolverá clientes leves on-chain ou sistemas de oráculos para as chains conectadas, bem como potencialmente liquidação atómica inter-chain (para garantir, por exemplo, que um executor pode executar no Ethereum e na Arbitrum e reivindicar atomicamente o lance). O SUAVE planeia ser altamente extensível: por ser compatível com EVM, contratos arbitrários (as “preferências” nativas do SUAVE ou mesmo dapps normais) poderiam ser executados nele, embora a intenção seja mantê-lo focado na coordenação do fluxo de ordens. Em termos de consenso, o SUAVE pode inovar ao ser uma chain centrada em intenções em vez de uma chain centrada em transações, mas, em última análise, deve ordenar mensagens (preferências) e produzir blocos como qualquer chain. Pode-se imaginar o SUAVE a adotar um algoritmo de consenso otimizado para throughput e finalidade de baixa latência, uma vez que se situará no caminho crítico das transações para muitas chains. Talvez um consenso de finalidade instantânea ao estilo Tendermint ou mesmo um consenso baseado em DAG pudesse ser usado para confirmar rapidamente as preferências. Independentemente disso, as características distintivas do SUAVE estão na camada de transação, não na camada de consenso: o uso de tecnologia de privacidade (SGX, encriptação de limiar) para ordenação, comunicação interdomínio e lógica de roteamento de ordens inteligentes incorporada no protocolo. Isto torna-o uma espécie de “meta-camada” sobre as blockchains existentes. Tecnicamente, cada chain participante precisará de confiar nas saídas do SUAVE em certa medida (por exemplo, um proponente do Ethereum precisaria de aceitar um bloco construído pelo SUAVE ou incluir sugestões do SUAVE). A Flashbots indicou que o SUAVE será introduzido gradualmente e de forma opt-in – os domínios podem escolher adotar o sequenciamento do SUAVE para os seus blocos. Se amplamente adotado, o SUAVE poderia tornar-se uma rede de roteamento de transações consciente do MEV de facto para a Web3. Para resumir, a arquitetura do SUAVE é um casamento de blockchain e leilão off-chain: uma chain especializada para coordenação, casada com computação segura off-chain entre executores, tudo ancorado por garantias criptográficas de justiça e privacidade.
-
Roteiro de Desenvolvimento e Marcos: A Flashbots delineou o roteiro do SUAVE em três marcos principais, nomeados após sistemas estelares: Centauri, Andromeda, e Helios. Centauri (a primeira fase, em desenvolvimento em 2023) foca-se na construção de um leilão de fluxo de ordens centralizado mas que preserva a privacidade. Nesta fase, a Flashbots executa o serviço de leilão (provavelmente em SGX) que permite aos searchers licitarem para fazer back-run de transações de utilizadores, devolvendo o MEV aos utilizadores de forma privada. Inclui também o lançamento de uma devnet do SUAVE para testes iniciais. De facto, em agosto de 2023, a Flashbots tornou de código aberto um cliente SUAVE inicial (
suave-geth
) e lançou a Toliman, a primeira testnet pública do SUAVE. Esta testnet tem sido usada para experimentar a expressão de preferências e a lógica básica de leilão. Andromeda (a próxima fase) lançará a primeira mainnet do SUAVE. Aqui, os utilizadores poderão expressar preferências numa rede ao vivo, e o Mercado de Execução operará (executores a cumprir intenções). Andromeda também introduz leilões e construção de blocos baseados em SGX de uma forma mais distribuída – removendo a necessidade de confiar na Flashbots como operador, e tornando o sistema verdadeiramente sem permissões para searchers e construtores. Um dos resultados desta fase é usar o SGX para encriptar o fluxo de ordens de uma forma que mesmo os construtores de blocos não possam espreitar, mas ainda assim possam construir blocos (ou seja, fluxo de ordens “aberto mas privado”). Helios é a ambiciosa terceira fase onde o SUAVE alcança total descentralização e funcionalidade inter-chain. Em Helios, uma rede descentralizada de construtores em SGX produz blocos colaborativamente (sem domínio de um único construtor). Além disso, o SUAVE irá “integrar um segundo domínio” para além do Ethereum – o que significa que irá lidar com MEV para pelo menos duas chains, demonstrando leilões de MEV inter-chain. Adicionalmente, a expressão e execução de MEV interdomínio serão ativadas (os utilizadores podem publicar intenções verdadeiramente multi-chain e tê-las executadas atomicamente). Para além de Helios, a Flashbots antecipa explorar hardware personalizado e criptografia avançada (como provas zk ou MPC) para reforçar ainda mais as garantias de confiança. Atualizações e marcos principais até agora: Novembro de 2022 – SUAVE anunciado; Agosto de 2023 – primeiro lançamento de código do SUAVE e testnet (Toliman); em curso em 2024 – fase Centauri do leilão de fluxo de ordens a funcionar (a Flashbots deu a entender que isto está a ser testado com transações de utilizadores num ambiente fechado). Um marco notável será o lançamento da mainnet do SUAVE (Andromeda), que, em meados de 2025, está no horizonte. A Flashbots comprometeu-se a construir o SUAVE abertamente e a convidar à colaboração de todo o ecossistema. Isto reflete-se na pesquisa e nas discussões do fórum, como as publicações da série “Stargazing” que atualizam sobre a evolução do design do SUAVE. O objetivo final para o SUAVE é que se torne uma peça de infraestrutura de propriedade da comunidade – a “camada de sequenciamento descentralizada” para toda a cripto. Alcançar isto marcará um marco importante na luta pela ordenação justa: se o SUAVE tiver sucesso, o MEV deixaria de ser uma floresta escura para se tornar uma fonte de valor transparente e partilhada, e nenhuma chain única teria de sofrer os efeitos centralizadores do MEV por si só.
Anoma (Arquitetura Centrada em Intenções para Descoberta Justa de Contrapartes)
Anoma é uma abordagem radicalmente diferente para permitir a ordenação justa e a mitigação de MEV – é uma arquitetura completa para infraestrutura de blockchain baseada em intenções. Em vez de adicionar um leilão a chains existentes, a Anoma repensa o paradigma de transações desde o início. Na Anoma, os utilizadores não transmitem transações concretas; eles transmitem intenções – declarações do estado final que desejam – e a própria rede descobre contrapartes e forma transações que cumprem essas intenções. Ao integrar a descoberta de contrapartes, ordenação justa e privacidade ao nível do protocolo, a Anoma visa eliminar virtualmente certas formas de MEV (como o front-running) e permitir uma troca e liquidação descentralizada “livre de front-runners”. A Anoma é mais uma estrutura do que uma única chain: qualquer blockchain pode ser uma “instância fractal” da Anoma ao adotar a sua arquitetura de gossip de intenções e correspondência. Para esta discussão, focamo-nos na primeira implementação da Anoma (por vezes chamada Anoma L1) e nas suas características de protocolo principais, no que diz respeito à justiça e ao MEV.
-
Enfileiramento e Ordenação de Transações: A Anoma descarta o mempool convencional de transações; em vez disso, tem uma rede de gossip de intenções. Os utilizadores transmitem uma intenção, por exemplo, “Quero trocar 100 DAI por pelo menos 1 ETH” ou “Quero pedir emprestado contra uma garantia à melhor taxa.” Estas intenções são ordens parciais – não especificam caminhos de execução exatos, apenas o resultado desejado e as restrições. Todas as intenções são propagadas pela rede e recolhidas. A ordenação na Anoma funciona em duas fases: (1) Descoberta/Correspondência de Contrapartes, e (2) Execução de Transações com Ordenação Justa. Na fase 1, nós especializados chamados solvers monitorizam continuamente o pool de intenções e tentam encontrar conjuntos de intenções que se complementam para formar uma transação válida. Por exemplo, se a Alice pretende trocar DAI por ETH e o Bob pretende trocar ETH por DAI, um solver pode combiná-los. Se várias intenções forem compatíveis (como um livro de ordens de compra e venda), os solvers podem encontrar uma correspondência ou preço de compensação ótimo. Importante, isto acontece off-chain na rede de solvers – efetivamente um matchmaking algorítmico. Assim que um solver (ou grupo de solvers) constrói uma transação completa (ou conjunto de transações) que cumpre algumas intenções, eles submetem-na à chain para execução. É aqui que entra a fase 2: o consenso da Anoma irá então ordenar estas transações submetidas pelos solvers em blocos. No entanto, o consenso da Anoma é projetado para ser justo na ordem: usa técnicas criptográficas (encriptação de limiar) para garantir que as transações são ordenadas sem serem influenciadas pelo seu conteúdo ou pelo tempo exato de submissão. Especificamente, a Anoma planeia usar o Ferveo, um esquema de encriptação de limiar, ao nível do mempool. Funciona da seguinte forma: os solvers encriptam as transações que querem propor usando uma chave pública coletiva dos validadores. Os validadores incluem estas transações encriptadas em blocos sem conhecerem os seus detalhes. Só depois de uma transação ser finalizada num bloco é que os validadores a desencriptam coletivamente (cada um contribuindo com uma parte da chave de decriptação). Isto garante que nenhum validador pode fazer front-run seletivamente ou reordenar com base no conteúdo de uma transação – eles comprometem-se com uma ordenação às cegas. O algoritmo de consenso ordena efetivamente as transações (na verdade, intenções) de uma forma mais próxima de primeiro a ser visto ou em lote, uma vez que todas as transações num determinado “lote” (bloco) são encriptadas e reveladas simultaneamente. Na prática, a Anoma pode implementar leilões em lote para certas aplicações: por exemplo, uma intenção de troca pode ser recolhida ao longo de N blocos (mantida encriptada), depois todas desencriptadas juntas após N blocos e combinadas por solvers num único lote. Isto impede que atores rápidos vejam as ordens de outros e reajam dentro desse lote – uma enorme vantagem para a justiça (esta técnica é inspirada nos Leilões de Lote Frequentes e foi proposta para eliminar as vantagens do trading de alta frequência). Adicionalmente, os predicados de validade da Anoma (contratos inteligentes ao nível da aplicação) podem impor restrições de justiça no resultado da ordenação. Por exemplo, uma aplicação de DEX na Anoma pode ter uma regra: “todas as trocas num lote recebem o mesmo preço de compensação, e os solvers não podem inserir transações adicionais para explorar os utilizadores”. Como estas regras fazem parte da validade do estado, qualquer bloco que contenha uma correspondência injusta (digamos, um solver tentou inserir uma autotroca a um preço melhor) seria inválido e rejeitado pelos validadores. Em resumo, a ordenação na Anoma acontece como corresponder e depois encriptar+ordenar: as intenções são conceptualmente enfileiradas até que um solver forme uma transação, e depois essa transação é ordenada por um consenso de ordem justa (impedindo o MEV típico). Efetivamente, não há corrida no mempool, uma vez que as intenções dos utilizadores não estão a competir diretamente com base no preço do gás ou na prioridade temporal. Em vez disso, a competição é para os solvers encontrarem correspondências, e depois essas correspondências são executadas de uma forma que ninguém pode mudar a ordem ou intercetá-las em trânsito. Esta arquitetura promete neutralizar muitos vetores de MEV – não há conceito de fazer front-running a uma intenção porque as intenções não são acionáveis até que o solver as monte, e nessa altura já estão encriptadas no bloco. É um modelo de enfileiramento fundamentalmente diferente, destinado a eliminar explorações de prioridade baseadas no tempo.
-
Mecanismos de Supressão/Extração de MEV: A Anoma é projetada para minimizar o “mau MEV” por construção. Ao ter as trocas resolvidas através de resolução em lote e encriptação de limiar, ataques de MEV típicos como o sanduíche são impossíveis – ninguém vê uma intenção e pode inserir a sua própria antes dela, porque as intenções não são transações que vivem num mempool transparente. Os solvers apenas produzem transações finais correspondidas depois de a oportunidade de inserção ter passado (devido à encriptação e ao loteamento). Numa DEX baseada na Anoma, os utilizadores não seriam alvo de front-running ou back-running no sentido tradicional, porque todas as trocas num lote são executadas juntas a um preço uniforme (impedindo que um atacante explore a mudança de preço entre elas). Isto essencialmente suprime o MEV predatório como arbitragem em DEX ou sanduíche; o valor que teria sido levado por um bot é, em vez disso, retido pelos utilizadores (eles obtêm um preço justo). A abordagem da Anoma à arbitragem também é notável: em muitos casos, se várias intenções criarem uma oportunidade de arbitragem, o solver que as combina incorporará esse lucro na correspondência (por exemplo, combinar preços diferentes e obter um lucro líquido). Mas como vários solvers podem competir para fornecer a melhor correspondência, a competição pode forçar os solvers a devolver a maior parte dessa vantagem aos utilizadores na forma de melhores termos de preenchimento. Por exemplo, se um utilizador quer vender ao preço A e outro quer comprar ao preço B (B > A implica uma lacuna), um solver poderia satisfazer ambos a um preço intermédio e capturar a diferença como lucro – mas se outro solver oferecer aos utilizadores um preço ainda mais próximo um do outro (deixando menos lucro), ele ganhará a intenção. Assim, os solvers competem para reduzir as margens de MEV em benefício dos utilizadores, de forma semelhante a como os searchers no Flashbots competem através de taxas. A diferença é que isto acontece algoritmicamente através da correspondência de intenções em vez de licitação de gás. Ainda pode haver “MEV extraído” na Anoma, mas é provável que se confine a solvers a ganhar taxas modestas pelo seu serviço. Notavelmente, a Anoma espera que a maior parte do fluxo de ordens seja internalizada pelo protocolo ou pela lógica da aplicação. Em alguns casos, isto significa que o que seria uma oportunidade de MEV se torna apenas uma taxa de protocolo normal. Por exemplo, a primeira instância fractal da Anoma (Namada) implementa uma AMM de curva de ligação on-chain; a arbitragem nessa AMM é capturada pelo mecanismo da AMM (como um rebalanceador embutido) em vez de arbitradores externos. Outro exemplo: uma intenção de empréstimo que oferece juros altos poderia ser combinada com uma intenção de empréstimo; nenhum terceiro liquidatário é necessário se a garantia cair, porque as próprias intenções poderiam lidar com o rebalanceamento ou o protocolo poderia auto-liquidar a um preço justo. Ao eliminar os extratores de terceiros, a Anoma reduz a prevalência da extração de MEV off-chain. Adicionalmente, a Anoma enfatiza a privacidade (através do subsistema Taiga de circuitos ZK). Os utilizadores podem optar por manter as suas intenções parcial ou totalmente protegidas (por exemplo, montantes ou tipos de ativos ocultos). Isto suprime ainda mais o MEV: se os detalhes de uma grande ordem estiverem ocultos, ninguém pode visar a extração de valor. Só após a correspondência e execução é que os detalhes podem surgir, altura em que já é tarde demais para explorar. Em resumo, o mecanismo da Anoma é em grande parte sobre prevenir o MEV em vez de o extrair: ao agrupar transações em lote, encriptar o mempool e incorporar o alinhamento económico na correspondência, tenta garantir que há pouca oportunidade para arbitragem maliciosa ou front-running. O MEV necessário (como arbitragem para igualar preços entre mercados) é tratado por solvers ou pela lógica do protocolo de uma forma minimizada em confiança. Poder-se-ia dizer que a Anoma visa a “minimização do MEV”, esforçando-se por resultados como se cada utilizador tivesse acesso à contraparte perfeita instantaneamente, sem fugas de informação. Qualquer valor extraído para facilitar isso (a recompensa do solver) é semelhante a uma pequena taxa de serviço, não a um ganho inesperado por explorar assimetria.
-
Estrutura de Incentivo Económico: Na Anoma, os solvers assumem o papel análogo tanto a casamenteiros como a construtores de blocos. Eles incorrem em custos (computação, talvez depositar garantias) para encontrar correspondências de intenções, e são recompensados quando propõem com sucesso transações que são incluídas. Os solvers podem ganhar de várias maneiras: podem cobrar uma taxa ou um spread dentro da transação que constroem (por exemplo, dando aos utilizadores termos ligeiramente menos favoráveis e ficando com a diferença, semelhante a como um agregador de DEX pode ficar com uma pequena parte). Ou, certas intenções podem incluir explicitamente uma recompensa para o solver (como "Estou disposto a pagar até 0.01 ETH para que isto seja feito"). O modelo de compensação exato é flexível, mas a chave é que os solvers competem. Se um solver tentar cobrar uma taxa demasiado alta, outro pode propor uma solução com um resultado melhor para o utilizador e ganhar a inclusão. Esta dinâmica competitiva destina-se a manter os lucros dos solvers sob controlo e alinhados com a prestação de valor. Validadores (Produtores de Blocos): Os validadores da Anoma executam o consenso que ordena e executa as transações. São incentivados por recompensas de bloco e taxas, como em qualquer blockchain. Notavelmente, se as intenções forem correspondidas entre vários utilizadores, a transação resultante pode ter várias fontes de taxas (cada utilizador pode contribuir com uma taxa ou uma porção de ativos). É possível que o modelo de taxas da Anoma permita a divisão de taxas, mas tipicamente os validadores receberão as taxas de gás padrão para processar transações. Em fases futuras, a Anoma planeia um “consenso sob demanda” e um token nativo. A ideia é que muitas instâncias da Anoma (ou shards) possam existir, e algumas possam ser iniciadas temporariamente para tarefas específicas (“consenso ad-hoc” para necessidades particulares de aplicações). O token seria provavelmente usado para fazer staking e proteger estas instâncias. Os incentivos aqui garantem que a rede tem validadores suficientes para processar todas as transações correspondidas de forma fiável e que se comportam honestamente no processo de decriptação de limiar (talvez com condições de slashing se tentarem desencriptar cedo ou censurar). Utilizadores: Os utilizadores na Anoma potencialmente poupam dinheiro e obtêm melhores resultados em vez de pagarem MEV implicitamente. Por exemplo, podem consistentemente obter melhores preços de troca do que numa chain tradicional, o que significa que o valor fica com eles. Em alguns casos, os utilizadores também podem pagar taxas explícitas para incentivar os solvers, especialmente para intenções complexas ou quando desejam uma correspondência mais rápida. Mas como os utilizadores podem expressar intenções sem especificar como fazê-las, eles descarregam o trabalho pesado para os solvers e só pagam se valer a pena. Há também uma noção de que “os proprietários de intenções podem definir os seus próprios trade-offs de segurança/desempenho” – por exemplo, um utilizador pode dizer “Vou esperar mais tempo por um preço melhor” ou “Vou pagar mais por uma execução imediata.” Esta flexibilidade permite que os próprios utilizadores decidam quanto oferecer aos solvers ou validadores, alinhando os incentivos económicos com as suas necessidades. Redistribuição de MEV: Se algum MEV ocorrer (como ARB inter-chain ou algo do género), a arquitetura da Anoma poderia permitir capturá-lo no sistema. Por exemplo, múltiplos shards ou instâncias da Anoma podem coordenar-se para liquidar uma arbitragem atómica multi-chain, e o lucro poderia ser partilhado ou queimado (dependendo do design) em vez de deixar um arbitrador externo ficar com tudo. Em geral, como a Anoma dá às aplicações controlo sobre o fluxo de transações, é possível implementar estratégias de MEV de propriedade do protocolo (semelhante à filosofia do Skip) ao nível da aplicação. Por exemplo, uma aplicação DeFi na Anoma poderia encaminhar automaticamente todas as trocas dos utilizadores através de um solver no protocolo que garante a melhor execução e partilha qualquer lucro adicional com os utilizadores ou com os fornecedores de liquidez. O efeito líquido é que os extratores de MEV de terceiros são desintermediados. Economicamente, isto é de soma positiva para os participantes honestos (utilizadores, LPs, etc.), mas pode reduzir as oportunidades para os searchers clássicos. No entanto, novos papéis como solvers especializados (talvez um se foque na correspondência de NFTs, outro em trocas de FX, etc.) surgirão. Estes solvers são análogos aos searchers de MEV de hoje, mas operam dentro das regras do sistema e provavelmente têm margens de lucro menos insanas devido à competição e às restrições do protocolo. Por último, a visão da Fundação Anoma sugere que a Anoma seja uma infraestrutura de bem público. Haverá um token nativo, presumivelmente ANOMA, que pode capturar valor através de taxas ou ser necessário para staking. Pode-se prever incentivos de token (recompensas inflacionárias, etc.) para validadores e talvez até para solvers para impulsionar a atividade. No momento da escrita, os detalhes sobre a economia do token não são finais, mas o roteiro confirma que um token Anoma e um consenso nativo sob demanda estão planeados em fases futuras. Para resumir, o modelo de incentivos da Anoma encoraja o comportamento cooperativo: os solvers ganham ao ajudar os utilizadores a obter o que querem, não ao explorá-los; os validadores ganham ao proteger a rede e ordenar de forma justa; e os utilizadores “pagam” principalmente ao ceder algum MEV aos solvers ou taxas, mas idealmente muito menos do que o MEV implícito que perderiam noutros sistemas.
-
Conformidade e Neutralidade: A Anoma, sendo uma estrutura, não uma única rede, pode ser instanciada de várias formas – algumas podem ser permissionadas, mas a Anoma L1 principal e instâncias semelhantes destinam-se a ser sem permissões e com privacidade aprimorada. Ao incorporar funcionalidades de privacidade pesadas (como intenções protegidas usando provas de conhecimento zero no Taiga), a Anoma alinha-se com a visão de que a privacidade financeira é um direito. Isto pode colocá-la em conflito com certos regimes regulatórios que exigem visibilidade aberta das transações. No entanto, o design da Anoma também pode evitar certas armadilhas regulatórias. Por exemplo, se o front-running e a seleção injusta de ordens forem eliminados, as preocupações com a manipulação de mercado são mitigadas – um regulador pode apreciar que os utilizadores não estão a ser sistematicamente explorados por insiders. Adicionalmente, o conceito de “modelos de segurança definidos pelo utilizador” implica que os utilizadores ou comunidades podem optar por diferentes pressupostos de confiança. Potencialmente, uma aplicação regulada poderia ser construída na Anoma onde, digamos, o solver ou um subconjunto de validadores são entidades com KYC, garantindo a conformidade para esse domínio de intenção particular. A Anoma como camada base não imporia KYC a todos, mas poder-se-ia implementar predicados de validade que exigem (por exemplo) uma prova de elegibilidade para certas transações (como uma prova de não ser um endereço sancionado, ou uma verificação de credenciais) se uma aplicação o necessitasse. A arquitetura é flexível o suficiente para suportar a conformidade ao nível da aplicação sem comprometer a neutralidade da camada base. Em relação à censura: a encriptação de limiar da Anoma significa que, mesmo que os validadores quisessem censurar, não podem visar intenções específicas porque não as veem em texto simples. A única coisa que poderiam fazer é recusar-se a incluir transações encriptadas de certos solvers ou utilizadores, mas isso seria óbvio (e contra as regras do protocolo se feito arbitrariamente). A expectativa é que as regras de consenso desencorajem a censura – por exemplo, talvez se um bloco não incluir todas as intenções desencriptadas disponíveis do último lote, ele possa ser considerado inválido ou menos preferível. Em qualquer caso, a descentralização dos validadores e a natureza encriptada das cargas úteis garantem um alto grau de resistência à censura. Sobre a neutralidade: a Anoma visa ser uma plataforma geral não controlada por nenhuma entidade única. A pesquisa e o desenvolvimento são liderados pela Heliax (a equipa por trás da Anoma e da Namada), mas uma vez ao vivo, uma rede Anoma seria gerida pela comunidade. É provável que haja governação on-chain para atualizações, etc., o que poderia levantar questões de conformidade (por exemplo, poderia um governo subverter a governação para mudar as regras?), mas isso é uma questão geral de blockchain. Uma característica interessante relacionada com a conformidade é que a Anoma suporta múltiplas instâncias paralelas – o que significa que se poderia ter um pool de intenções isolado ou um shard para certos tipos de ativos ou jurisdições. Isto não é explicitamente para regulação, mas poderia permitir, por exemplo, um pool de intenções de CBDC onde apenas bancos autorizados executam solvers, coexistindo com um pool de DeFi livre. A modularidade da arquitetura oferece flexibilidade para segregar, se necessário, enquanto ainda permite a interoperabilidade através de pontes de intenções. Finalmente, em termos de compatibilidade legal, todo o conceito de intenções da Anoma pode evitar algumas classificações que atormentam a cripto tradicional: como uma intenção não é uma transação vinculativa até ser correspondida, pode-se argumentar que os utilizadores mantêm mais controlo (é como publicar uma ordem numa bolsa, que tem um precedente legal mais claro, em vez de executar diretamente uma troca). Isto pode ajudar com coisas como o tratamento fiscal (o sistema poderia potencialmente dar um recibo unificado de uma troca de vários passos em vez de muitas transações) – embora isto seja especulativo. No geral, a Anoma prioriza a descentralralização, privacidade e autonomia do utilizador, o que historicamente pode entrar em conflito com as expectativas regulatórias, mas os ganhos de justiça e transparência podem ganhar favor. Essencialmente, traz a sofisticação dos motores de correspondência financeira tradicionais para a on-chain, mas sem operadores centralizados. Se os reguladores chegarem a entender esse modelo, podem vê-lo como uma estrutura de mercado mais ordenada e justa do que o vale-tudo dos mempools.
-
Arquitetura Técnica (Consenso e Criptografia): A arquitetura da Anoma é complexa, compreendendo vários componentes: Typhon (rede, mempool, consenso, execução) e Taiga (a camada de privacidade de conhecimento zero). O núcleo do Typhon é a camada de gossip de intenções e uma abordagem inovadora para consenso + correspondência combinados. O protocolo de consenso da Anoma estende o consenso BFT típico com o conceito de “Predicados de Validade” e “Prova de Correspondência de Ordem”. Essencialmente, cada aplicação na Anoma pode definir um predicado de validade que deve ser satisfeito para as transações (pense nisso como condições de contrato inteligente que se aplicam ao nível do bloco, não apenas ao nível da transação). Isto permite impor propriedades como preços de compensação de leilões em lote, etc., como descrito. O próprio algoritmo de consenso provavelmente baseia-se em BFT ao estilo Tendermint ou HotStuff (uma vez que a Anoma está no reino do Cosmos e suporta IBC). De facto, a testnet inicial da Anoma (Feigenbaum em 2021) e a Namada usam consenso ao estilo Tendermint com modificações. Uma modificação importante é a integração da encriptação de limiar (Ferveo) no pipeline do mempool. Tipicamente, o Tendermint seleciona um proponente que ordena as transações. Na Anoma, o proponente ordenaria intenções/transações encriptadas. O Ferveo provavelmente funciona fazendo com que os validadores concordem periodicamente numa chave pública de limiar, e cada intenção submetida pelos solvers é encriptada para essa chave. Durante a proposta de bloco, todas as transações encriptadas são incluídas; após a proposta, os validadores executam um protocolo para desencriptá-las (talvez o próximo bloco contenha as saídas desencriptadas ou algum esquema semelhante). Isto adiciona uma fase ao consenso, mas garante a justiça da ordem. Criptograficamente, isto usa geração de chave distribuída e decriptação de limiar (pelo que depende de pressupostos como pelo menos 2/3 dos validadores serem honestos para não vazar ou desencriptar dados antecipadamente). No lado da privacidade, o Taiga fornece provas zkSNARK ou zk-STARK que permitem que as intenções permaneçam parcial ou totalmente protegidas. Por exemplo, um utilizador pode submeter uma intenção de troca sem revelar o tipo de ativo ou a quantidade; ele fornece uma prova ZK de que tem saldo suficiente e que a transação será válida se correspondida, sem revelar detalhes. Isto é análogo a como as transações protegidas no Zcash funcionam, mas estendido a intenções. O uso de provas recursivas é mencionado, o que significa que vários passos de uma transação (ou várias intenções) podem ser provados numa única prova sucinta para eficiência. A interação entre o Taiga e o Typhon significa que alguns solvers e validadores podem estar a operar sobre texto cifrado ou compromissos em vez de valores em texto simples. Por exemplo, um solver pode corresponder intenções que são expressas de forma confidencial, resolvendo uma equação de compromissos. Isto é criptografia de ponta e vai além do que a maioria das blockchains atuais faz. Outra peça chave é a integração com o IBC: as instâncias da Anoma podem comunicar com outras chains (especialmente chains do Cosmos) através do protocolo de Comunicação Inter-Blockchain. Isto significa que uma intenção na Anoma poderia potencialmente desencadear uma ação noutra chain (através de uma mensagem IBC) ou consumir dados do estado de outra chain. A Fase 1 da Mainnet no roteiro da Anoma menciona especificamente um “adaptador” no Ethereum e em rollups para permitir que as intenções da Anoma acedam à liquidez da EVM. Provavelmente, um solver da Anoma poderia compor uma transação que, digamos, usa a Uniswap no Ethereum, criando uma intenção que, quando correspondida, envia uma mensagem para o Ethereum para executar uma troca (talvez através de um relayer ou de algo como uma ponte IBC). O consenso tem de garantir a atomicidade: presumivelmente, a saída da Anoma pode ser como uma única transação que abrange várias chains (algo como iniciar uma transação na chain A e esperar um resultado na chain B). Alcançar a liquidação atómica inter-chain é difícil; possivelmente a Anoma começará por liquidar numa chain de cada vez (a Fase 1 foca-se no ecossistema Ethereum, provavelmente significando que as intenções da Anoma serão liquidadas na L1 ou L2s do Ethereum de uma só vez). Mais tarde, as “chains Chimera” e o consenso sob demanda podem permitir que sidechains personalizadas sejam iniciadas para lidar com correspondências inter-chain particulares. Em termos de desempenho, a abordagem da Anoma pode ser mais intensiva computacionalmente (solvers a resolver problemas de correspondência NP-difíceis, validadores a fazer criptografia pesada). Mas o trade-off é uma experiência de utilizador vastamente melhorada (sem transações falhadas, melhores preços, etc.). O desenvolvimento da Anoma requer a construção destes componentes inovadores quase do zero: a Heliax tem vindo a criar a Juvix, uma nova linguagem para escrever predicados de validade e intenções, e muita pesquisa (algumas referências do site da Anoma falam sobre estes conceitos em detalhe). Marcos principais: A primeira testnet pública da Anoma, Feigenbaum, foi lançada em novembro de 2021 como uma demonstração do gossip básico de intenções. Subsequentemente, a Heliax mudou o foco para o lançamento da Namada (uma L1 focada em privacidade que pode ser vista como uma instância da Anoma focada em transferências de ativos) – a Namada foi lançada em 2023 e inclui funcionalidades como transferências protegidas e encriptação de limiar Ferveo para o seu mempool. Isto mostra a tecnologia em ação num caso de uso mais restrito. Entretanto, as testnets da visão completa da Anoma têm sido lançadas em fases (uma “testnet de verão de 2023” foi mencionada na comunidade). O roteiro indica que a mainnet da Fase 1 integrará o Ethereum, a Fase 2 adicionará mais chains e criptografia avançada, e eventualmente o consenso nativo e o token chegarão. A separação de “consenso e token em fase futura” sugere que a mainnet inicial da Anoma pode depender do Ethereum (por exemplo, aproveitando a segurança do Ethereum ou tokens existentes em vez de ter o seu próprio desde o primeiro dia). Possivelmente, eles lançarão uma L2 ou sidechain que publica no Ethereum. E mais tarde iniciarão a sua própria rede PoS com um token. Esta abordagem faseada é interessante – pode ser para diminuir a barreira à adoção (usar o capital existente no Ethereum em vez de lançar uma nova moeda inicialmente). Em conclusão, a arquitetura da Anoma é inovadora e abrangente: casa a justiça criptográfica (encriptação de limiar, provas ZK) com um novo paradigma de transação (correspondência baseada em intenções) e capacidades inter-chain. É, sem dúvida, a tentativa mais agressiva de erradicar o MEV tradicional ao nível do protocolo, fazendo o que nenhuma chain legada faz: motores de correspondência justos incorporados. A complexidade é alta, mas se for bem-sucedida, uma chain Anoma poderia fornecer aos utilizadores garantias de execução quase semelhantes às de uma CEX num ambiente descentralizado, o que é um santo graal na UX e justiça da blockchain.
Skip Protocol (Controlo Soberano de MEV e Kit de Ferramentas de Ordenação Justa do Cosmos)
O Skip Protocol é uma solução líder de MEV no ecossistema Cosmos, focada em dar a cada blockchain (“app-chain”) as ferramentas para gerir a ordenação de transações e a captura de MEV nos seus próprios termos. Ao contrário do Flashbots ou da Anoma, que propõem sistemas que abrangem toda a rede, o Skip alinha-se com a filosofia de soberania do Cosmos: cada chain pode integrar os módulos do Skip para impor regras de ordenação justa personalizadas, executar leilões de espaço de bloco no protocolo e capturar MEV para os stakeholders ou utilizadores da chain. O Skip pode ser pensado como um conjunto de módulos do Cosmos SDK e infraestrutura que, juntos, permitem a Construção de Blocos de Propriedade do Protocolo (POB) e o sequenciamento flexível de transações. Foi adotado em chains como Osmosis, Juno, Terra e outras no Cosmos, e também está a colaborar com projetos como a futura chain da dYdX para mitigação de MEV. Os elementos chave incluem um mecanismo de leilão on-chain para transações prioritárias, lógica de ordenação de transações ao nível do consenso e mecanismos na aplicação para reciclar MEV (“bom MEV”) para benefício do protocolo.
-
Algoritmos de Enfileiramento e Ordenação de Transações: Numa chain típica do Cosmos (usando consenso Tendermint/BFT), o mempool ordena as transações aproximadamente por taxa e tempo de chegada, e o proponente do bloco pode escolher qualquer ordenação ao criar um bloco (sem restrições algorítmicas para além de incluir transações válidas). O Skip muda isto ao introduzir regras de ordenação impostas pelo consenso e mempools de múltiplas vias (lanes). Usando a nova interface ABCI++ do Cosmos (que permite personalizar a proposta e o processamento de blocos), o módulo Protocol-Owned Builder (POB) do Skip pode particionar o bloco em lanes distintas com diferentes políticas de ordenação. Por exemplo, uma lane poderia ser uma lane de leilão Top-of-Block onde as transações com o lance mais alto (talvez de bots de arbitragem ou trocas urgentes) são colocadas primeiro no bloco numa ordem fixa, outra lane poderia ser uma lane Gratuita para transações de utilizadores comuns sem taxas, e uma lane Padrão para transações normais com taxas. O componente BlockBuster do módulo do Skip permite que os desenvolvedores definam estas lanes e a sua lógica de ordenação de forma modular. Crucialmente, estas regras são impostas por todos os validadores: quando um proponente constrói um bloco, os outros validadores verificarão se as transações do bloco aderem às regras de ordenação acordadas (através das verificações ProcessProposal do ABCI). Se não, eles podem rejeitar o bloco. Isto significa que mesmo um proponente malicioso ou que procura lucro não pode desviar-se (por exemplo, não pode inserir a sua própria transação de front-run à frente de um licitante vencedor do leilão, porque isso violaria a regra de ordenação). Alguns exemplos de regras de ordenação que o Skip permite: (a) Ordenar transações por preço de gás decrescente (taxa) – garantindo que a transação com a taxa mais alta tenha sempre prioridade. Isto formaliza um esquema justo de “pagar por prioridade” em vez de aleatório ou baseado no tempo. (b) Deve incluir pelo menos uma transação de atualização de preço de oráculo antes de quaisquer trocas – garantindo que os feeds de dados são atualizados, o que impede cenários em que um proponente poderia ignorar as atualizações de oráculo para explorar preços desatualizados. (c) Limitar o número de transações especiais no topo do bloco – por exemplo, apenas um bundle vencedor do leilão pode ocupar o topo, para evitar o spam de muitas pequenas capturas de MEV. (d) Nenhuma transação que viole uma propriedade de estado – o Skip permite regras de ordenação com estado, como “após construir o bloco, garantir que nenhuma troca de DEX foi executada a um preço pior do que se estivesse no final do bloco” (uma forma de garantir que não ocorreu um ataque sanduíche). Uma regra concreta descrita é uma “condição de zero front-running em todas as DEXs”, o que poderia significar que se alguma transação tivesse sido afetada por outras posteriores de uma forma que indicasse front-running, o bloco seria inválido. Isto é poderoso: é essencialmente tornar a justiça parte da validade do bloco. As chains do Cosmos podem implementar tais regras porque controlam a sua pilha completa. A estrutura do Skip oferece uma forma estruturada de o fazer através do
AuctionDecorator
no SDK, que pode verificar cada transação contra as regras configuradas. Adicionalmente, o Skip fornece melhorias no mempool: o mempool do nó pode simular blocos antecipadamente, filtrar transações falhadas, etc., para ajudar os proponentes a seguir as regras eficientemente. Por exemplo, se a lane de leilão de um bloco deve ter os lances mais altos, o mempool pode ser ordenado por lances para essa lane. Se um bloco deve incluir apenas transações que resultem numa certa condição de estado, o nó do proponente pode simular transações à medida que as seleciona para garantir que a condição se mantém. Em resumo, o Skip permite uma ordenação determinística e definida pela chain em vez de a deixar inteiramente ao capricho do proponente ou à simples prioridade do preço do gás. As chains adotam o módulo de construtor do Skip para efetivamente codificar a sua política de ordenação de transações no protocolo. Isto promove a justiça porque todos os validadores impõem as mesmas regras, removendo a oportunidade de um único proponente fazer uma reordenação arbitrária para MEV, a menos que seja dentro do mecanismo permitido (como o leilão, onde é transparente e competitivo). O enfileiramento de transações no modelo do Skip pode envolver filas separadas por lane. Por exemplo, uma lane de leilão pode enfileirar transações de lances especiais (o Skip usa um tipo especialMsgAuctionBid
para licitar pela inclusão no topo do bloco). Esses lances são recolhidos a cada bloco e o mais alto é selecionado. Entretanto, as transações normais são enfileiradas no mempool padrão. Essencialmente, o Skip introduz uma fila estruturada: uma para lances prioritários, uma para gratuitas ou outras, etc., cada uma com os seus próprios critérios de ordenação. Esta abordagem modular significa que cada chain pode personalizar como equilibra justiça e receita – por exemplo, a Osmosis pode dizer “não queremos nenhum leilão de MEV, mas impomos justiça na ordem através de encriptação de limiar” (eles implementaram encriptação de limiar com a ajuda do Skip e outros), enquanto outra chain pode dizer “permitimos leilões para MEV, mas exigimos que parte dos lucros seja queimada”. O Skip suporta ambos. Esta configurabilidade da ordenação é a marca registada do Skip. -
Mecanismos de Mitigação e Extração de MEV: A abordagem do Skip ao MEV é frequentemente descrita como “MEV de propriedade do protocolo” e “multiplicidade”. MEV de propriedade do protocolo significa que o próprio protocolo da blockchain, através do seu código e governação, captura ou redistribui o MEV em vez de o deixar para validadores individuais ou externos. Multiplicidade refere-se a garantir que as transações “certas” (múltiplas) são incluídas – essencialmente não excluindo transações legítimas de utilizadores em favor de apenas transações de MEV, e talvez incluindo múltiplas oportunidades de MEV num bloco, se possível (para que nenhum searcher único monopolize). Concretamente, o Skip fornece ferramentas para capturar MEV de formas que beneficiam a rede: uma é o Skip Select, um sistema de leilão de espaço de bloco para inclusão no topo do bloco. No Skip Select, os searchers (como bots de arbitragem) submetem bundles com gorjetas aos validadores, semelhante aos bundles do Flashbots, exceto que é feito nativamente on-chain através dos módulos do Skip. O bundle (ou bundles) com o pagamento mais alto é então automaticamente inserido no topo do bloco na ordem especificada. Isto garante que essas transações são executadas como pretendido, e o validador (ou a chain) recolhe a gorjeta. Este mecanismo pega no que era um processo OTC off-chain (no Ethereum) e torna-o um leilão aberto e on-chain – melhorando a transparência e o acesso. Outro mecanismo é o ProtoRev (Módulo de Receita de Protótipo), que o Skip desenvolveu para a Osmosis. O ProtoRev é um módulo de arbitragem on-chain que deteta e executa automaticamente arbitragens cíclicas (como as que envolvem múltiplos pools) dentro da execução do bloco e acumula o lucro para o tesouro da chain ou para o pool comunitário. Essencialmente, a Osmosis decidiu que certo “bom MEV” (como arbitragem que mantém os preços alinhados) ainda deveria acontecer (para a eficiência do mercado), mas o próprio protocolo faz a arbitragem e captura o lucro, distribuindo-o mais tarde (por exemplo, para stakers ou como incentivos de mineração de liquidez). Isto elimina a necessidade de bots de arbitragem externos nessas oportunidades e garante que o valor permanece no ecossistema. O ProtoRev foi o primeiro do seu género numa chain importante e demonstra como a integração profunda pode mitigar as externalidades do MEV: os utilizadores que negoceiam na Osmosis enfrentam menos derrapagem porque, se existir uma arbitragem após a sua troca, o protocolo irá fechá-la e essencialmente reembolsar o valor de volta para a Osmosis (o que poderia beneficiar indiretamente os utilizadores através de taxas mais baixas ou recompras de tokens, etc.). Além disso, o Skip capacita as chains a implementar medidas anti-MEV como a encriptação de limiar para o mempool. Por exemplo, a Osmosis, em colaboração com o Skip e outros, está a implementar a encriptação do mempool, onde as transações são submetidas encriptadas e só são reveladas após um tempo fixo (semelhante à ideia da Anoma, mas ao nível da chain). Embora não seja um produto do Skip per se, a arquitetura do Skip é compatível – o leilão do Skip pode funcionar em transações encriptadas, fazendo o leilão com base em lances declarados em vez de ler o conteúdo da transação. Em termos de supressão de MEV prejudicial: as regras de consenso do Skip como “não é permitido front-running” (impostas por verificações de estado) são uma medida direta para parar o comportamento malicioso. Se um validador tentar incluir um ataque sanduíche, outros validadores detetariam que o resultado do estado viola a regra de não front-running (por exemplo, poderiam verificar que nenhuma troca foi imediatamente precedida e seguida por outra do mesmo endereço de uma forma que tirou vantagem). Esse bloco seria rejeitado. Sabendo disto, os validadores nem sequer tentarão incluir tais padrões, protegendo assim os utilizadores pela lei do protocolo. O Skip também incentiva a queima ou redistribuição da receita de MEV para evitar incentivos perversos. Por exemplo, uma chain pode optar por queimar todos os lucros do leilão ou colocá-los num fundo comunitário em vez de os dar todos ao proponente do bloco. Isto reduz o incentivo para os validadores reordenarem as transações eles próprios, uma vez que podem não lucrar pessoalmente com isso (dependendo da escolha da chain). Em resumo, o kit de ferramentas do Skip permite que cada chain extraia cirurgicamente o MEV onde é benéfico (por exemplo, arbitragem para manter a eficiência do mercado, liquidações para manter os mercados de empréstimo saudáveis) e garanta que o valor é capturado pelo protocolo ou pelos utilizadores, enquanto proíbe e previne estritamente o MEV malicioso (como o front-running prejudicial ao utilizador). É uma mistura pragmática de extração e supressão, adaptada pela governação: em vez de uma solução única para todos, o Skip capacita as comunidades a decidir qual MEV é “bom” (e automatizar a sua captura) e qual é “mau” (e proibi-lo através de regras de consenso). O resultado é um ambiente de negociação mais justo nas chains habilitadas pelo Skip e uma fonte de receita adicional que pode financiar bens públicos ou reduzir custos (uma das publicações do blog do Skip nota que a captura justa de MEV pode ser usada para “distribuir justamente a receita entre todos os participantes da rede”).
-
Estrutura de Incentivo Económico: A introdução do Skip muda fundamentalmente os incentivos, especialmente para validadores e comunidades de chains no Cosmos. Tradicionalmente, um validador no Cosmos pode extrair MEV reordenando privadamente as transações no seu bloco (uma vez que o Cosmos não tem um leilão de MEV por defeito). Com o Skip, os validadores concordam com um protocolo onde o MEV é capturado através de leilões ou módulos e muitas vezes partilhado. Os Validadores ainda beneficiam: podem receber uma parte dos lucros do leilão ou taxas extras dos mecanismos do Skip, mas, importante, todos os validadores (não apenas o proponente) podem beneficiar se for projetado dessa forma. Por exemplo, alguns leilões do Skip podem ser configurados para que a receita seja dividida entre todos os stakers ou de acordo com as decisões da governação, em vez de ser um vencedor-leva-tudo para o proponente. Isto alinha os validadores coletivamente para executarem o software do Skip, porque mesmo os não-proponentes obtêm segurança (sabendo que se alguém tentar um bloco inválido, não valerá a pena) e possivelmente receita. Algumas chains podem ainda dar ao proponente a maior parte da taxa do leilão de MEV (para maximizar o incentivo imediato para incluí-lo), mas mesmo assim é transparente e competitivo, argumentavelmente reduzindo a chance de acordos por baixo da mesa. Chain/Comunidade: O conceito de MEV de propriedade do protocolo significa que a blockchain e os seus stakeholders capturam o MEV. Por exemplo, a Osmosis direciona os lucros do ProtoRev para o seu pool comunitário, transformando efetivamente o MEV numa receita adicional do protocolo que pode financiar o desenvolvimento ou ser distribuída aos stakers de OSMO. Isto torna a comunidade em geral uma “proprietária” desse MEV, alinhando o interesse de todos em extrair MEV de formas saudáveis. Se os utilizadores sabem que o MEV está a ser usado para melhorar a chain ou a tokenomics, podem aceitá-lo melhor do que se fosse para um bot aleatório. Searchers: No modelo do Skip, os searchers/bots independentes podem ter menos a fazer on-chain porque algumas oportunidades são aproveitadas pela lógica do protocolo (como o ProtoRev) e outras são canalizadas através de leilões. No entanto, o Skip não elimina os searchers – em vez disso, canaliza-os para licitarem através das rotas adequadas. Um searcher ainda pode tentar uma estratégia complexa, mas para garantir a inclusão num local específico, deve participar no leilão do Skip (Skip Select) submetendo o seu bundle com um lance. Se não o fizer, corre o risco de um validador o ignorar em favor de alguém que licitou ou do mecanismo da própria chain aproveitar a oportunidade. Assim, os searchers no Cosmos estão a evoluir para trabalhar com o Skip: por exemplo, muitos arbitradores na Osmosis agora submetem as suas arbitragens através do sistema do Skip. Eles pagam uma parte à chain, ficando com menos lucro, mas é o preço a pagar para jogar. Com o tempo, alguns papéis de “searcher” podem ser totalmente absorvidos (como a arbitragem de back-running – o ProtoRev lida com isso, pelo que nenhum searcher externo pode competir). Isto pode reduzir o spam e o esforço desperdiçado na rede (não há mais múltiplos bots a correr; apenas uma execução de protocolo). Utilizadores: Os utilizadores finais têm a ganhar devido a um ambiente mais justo (sem ataques de MEV surpresa). Além disso, algumas configurações do Skip recompensam explicitamente os utilizadores: a redistribuição de MEV aos utilizadores é possível. Por exemplo, uma chain pode decidir reembolsar parte da receita do leilão de MEV aos utilizadores cujas trocas criaram esse MEV (semelhante à ideia de reembolso do Flashbots). A Astroport, uma DEX na Terra, integrou o Skip para partilhar a receita de MEV com os swappers – o que significa que se a troca de um utilizador tivesse MEV, parte desse valor é devolvido a ele por defeito. Isto alinha-se com o ethos de que o MEV deve ir para os utilizadores. Embora nem todas as chains façam isto, a opção existe através da infraestrutura do Skip para implementar tais esquemas. O próprio Skip Protocol (a empresa/equipa) tem um modelo de negócio onde fornece estas ferramentas muitas vezes gratuitamente aos validadores (para encorajar a adoção), e monetiza através de parcerias com chains (B2B). Por exemplo, o Skip pode ficar com uma pequena taxa do MEV capturado ou cobrar às chains por funcionalidades avançadas/suporte. É mencionado que o Skip é gratuito para validadores, mas usa um modelo B2B com as chains. Isto significa que o Skip tem um incentivo para maximizar o MEV capturado pela chain e pela comunidade (para que a chain fique satisfeita e talvez partilhe uma porção conforme o acordo). Mas como a governação está envolvida, qualquer taxa que o Skip cobre é geralmente acordada pela comunidade. O efeito económico é interessante: profissionaliza a extração de MEV como um serviço fornecido às chains. Ao fazê-lo, desincentiva o comportamento desonesto – os validadores não precisam de fazer acordos obscuros individualmente, podem simplesmente usar o Skip e obter um fluxo fiável de receita extra que é socialmente aceite. O comportamento honesto (seguir as regras do protocolo) rende quase tanto ou mais lucro do que tentar enganar, porque se enganar, o seu bloco pode ser inválido ou pode ser punido socialmente, etc. A Governação desempenha um papel significativo: adotar o módulo do Skip ou definir os parâmetros (como a percentagem do leilão, a distribuição dos lucros) é feito através de propostas on-chain. Isto significa que os resultados económicos (quem fica com o MEV) são, em última análise, determinados pelo voto da comunidade. Por exemplo, o Cosmos Hub está a debater a adoção do SDK de construtor do Skip para possivelmente redirecionar o MEV para o tesouro ou para os stakers do Hub. Este alinhamento através da governação garante que o uso do MEV é visto como legítimo pela comunidade. Transforma o MEV de um subproduto tóxico num recurso público que pode ser alocado (para segurança, utilizadores, desenvolvedores, etc.). Em resumo, o Skip remodela os incentivos de tal forma que os validadores coletivamente e os utilizadores/comunidade beneficiam, enquanto os aproveitadores de MEV oportunistas são ou cooptados para o sistema (como licitantes) ou eliminados pelo design. Todos ficam melhor em teoria: os utilizadores perdem menos valor para o MEV, os validadores ainda são compensados (possivelmente até mais no total, devido aos leilões), e a rede como um todo pode usar o MEV para se fortalecer (financeiramente ou através de uma experiência mais justa). Os únicos perdedores são aqueles que prosperaram na extração de soma zero sem devolver valor.
-
Compatibilidade de Conformidade e Regulamentação: A estrutura do Skip, ao capacitar a governação da chain, na verdade torna mais fácil para as chains garantirem a conformidade ou políticas específicas, se assim o desejarem. Como o Skip opera ao nível do protocolo, uma chain pode optar por impor certas regras de filtragem ou ordenação de transações para cumprir com as regulamentações. Por exemplo, se uma chain quisesse bloquear endereços sancionados, poderia integrar uma regra AnteHandler ou AuctionDecorator no módulo do Skip que invalida blocos que contenham endereços na lista negra. Isto é, sem dúvida, mais simples do que no Ethereum, onde a censura é uma escolha off-chain de validadores individuais; no Cosmos com o Skip, poderia ser uma regra para toda a chain (embora fosse controversa e contra os ideais de descentralização para muitos). Alternativamente, uma chain poderia impor algo como “transações de on-ramp FIAT devem aparecer antes de outras” se mandatado por alguma lei. O kit de ferramentas do Skip não vem com regras de conformidade predefinidas, mas é flexível o suficiente para implementá-las se uma comunidade for compelida a fazê-lo (através da governação). Por outro lado, o Skip pode reforçar a resistência à censura: ao distribuir a receita de MEV e dar acesso igual, reduz a vantagem de qualquer validador único que possa censurar para obter lucro. Adicionalmente, se os mempools com encriptação de limiar (como o que a Osmosis está a adicionar) se tornarem padrão com o Skip, isso ocultará o conteúdo das transações, tornando a censura mais difícil (como na Anoma). O Skip é uma infraestrutura neutra – pode ser usado para cumprir ou resistir, dependendo da governação. Como as chains do Cosmos são frequentemente específicas de uma jurisdição (a comunidade da Terra pode preocupar-se com as leis coreanas, a Kava pode preocupar-se com as leis dos EUA, etc.), ter a opção de configurar a conformidade é valioso. Por exemplo, uma chain do Cosmos permissionada (como uma chain institucional) ainda poderia usar o módulo de construtor do Skip, mas talvez exigir que apenas endereços na lista branca possam licitar em leilões, etc., alinhando-se com as suas regulamentações. A compatibilidade regulatória também se prende com a transparência: os leilões on-chain do Skip produzem um registo público de transações de MEV e quem pagou o quê. Isto poderia, na verdade, satisfazer algumas preocupações regulatórias sobre justiça (todos tiveram a oportunidade de licitar, e é auditável). É mais transparente do que pagamentos por baixo da mesa a validadores. Além disso, ao capturar o MEV on-chain, o Skip reduz a probabilidade de cartéis off-chain ou dark pools, que os reguladores temem devido à opacidade. Por exemplo, sem o Skip, os validadores podem fazer acordos privados com searchers (como se viu com os problemas de censura dos relays). Com o Skip, a expectativa é que se use o leilão oficial – que é aberto e registado – para obter prioridade. Isto fomenta um mercado aberto acessível a todos os bots igualmente, o que é, sem dúvida, mais justo e menos propenso a conluio (o conluio é possível, mas existe supervisão da governação). Outro ângulo de conformidade: como o Skip lida com a captura de valor, se a receita de MEV for para um pool comunitário ou tesouro, isso pode levantar questões (é uma taxa, é tributável, etc.?). Mas estas são semelhantes a como as taxas de transação são tratadas, pelo que nada de fundamentalmente novo legalmente. No Cosmos, as comunidades das chains também podem decidir como usar esse fundo (queimar, distribuir, etc.), o que podem alinhar com qualquer orientação legal, se necessário (por exemplo, podem evitar enviá-lo para uma fundação se isso desencadear questões fiscais e, em vez disso, queimá-lo). Em termos de resistência à censura, uma nota interessante: ao impor regras de validade de bloco, o Skip impede que os validadores censurem certas transações se isso violar as regras. Por exemplo, se uma chain tivesse uma regra “deve incluir pelo menos uma atualização de oráculo”, um validador censor não poderia simplesmente omitir todas as transações de oráculo (que podem vir de certas fontes) porque o seu bloco seria inválido. Assim, ironicamente, as regras do Skip podem forçar a inclusão de transações críticas (anti-censura) da mesma forma que poderiam ser usadas para forçar a exclusão de transações não permitidas. Tudo depende do que a comunidade definir. Neutralidade: A postura padrão do Skip é capacitar as chains a “proteger os utilizadores de MEV negativo e melhorar a experiência do utilizador”, o que implica neutralidade e amigabilidade para com o utilizador. Não há uma rede central do Skip a tomar decisões – cada chain é soberana. O Skip como empresa pode aconselhar ou fornecer padrões (como um formato de leilão recomendado), mas, em última análise, os detentores de tokens da chain decidem. Esta descentralização da política de MEV para a governação de cada chain pode ser vista como mais compatível com a diversidade regulatória: por exemplo, uma chain baseada nos EUA poderia implementar a conformidade com a OFAC se pressionada legalmente, sem afetar outras chains. Não é um único relay a censurar em muitas chains; é uma escolha por chain. Do ponto de vista de um regulador, o Skip não introduz nenhuma atividade ilícita adicional – apenas reorganiza como as transações são ordenadas. Se alguma coisa, pode reduzir a volatilidade (menos guerras de gás) e criar uma execução mais previsível, o que pode ser uma vantagem. Resumindo, a arquitetura do Skip é altamente adaptável às necessidades de conformidade, preservando ao mesmo tempo a opção de máxima resistência à censura se as comunidades priorizarem isso. Mantém o MEV à luz do dia e sob controlo coletivo, o que provavelmente torna os ecossistemas de blockchain mais robustos contra atores maliciosos e repressões regulatórias, uma vez que a autogovernação pode abordar proativamente os piores abusos.
-
Arquitetura Técnica e Implementação: O Skip Protocol está firmemente integrado na pilha do Cosmos SDK. A entrega principal é um conjunto de módulos (por exemplo,
x/builder
) e modificações como a implementação do mempool BlockBuster. As chains do Cosmos executam um consenso (Tendermint/CometBFT) que oferece hooks ABCI para preparar e processar propostas. O Skip aproveita as extensões ABCI++ que permitem executar código entre a proposta de bloco e a finalização. É assim que impõe a ordenação: o PrepareProposal pode reordenar as transações do bloco de acordo com as regras das lanes antes de transmitir a proposta, e o ProcessProposal nos validadores recetores pode verificar se a ordenação e a validade do estado correspondem às expectativas. Esta é uma funcionalidade moderna (Cosmos SDK v0.47+), e o POB do Skip é compatível com as versões recentes do SDK. Nos bastidores, os módulos do Skip mantêm estruturas de dados para leilões (por exemplo, um livro de ordens on-chain de lances para o topo do bloco). Eles também provavelmente usam tipos de transação prioritários. O README mostra umMsgAuctionBid
especial e lógica personalizada para lidar com ele. Assim, os searchers interagem enviando estas mensagens através de transações normais do Cosmos, que o módulo depois interceta e coloca adequadamente. O AnteHandler do módulo de construtor (o AuctionDecorator) pode consumir lances de leilão e decidir os vencedores na fase de montagem do bloco. Criptograficamente, o Skip não adiciona inerentemente novos requisitos criptográficos (além do que a chain escolher, como criptografia de limiar para o mempool, que é separado). Depende da honestidade de >2/3 dos validadores para impor as regras e não conspirar para as quebrar. Se uma maioria conspirasse, eles poderiam tecnicamente mudar as regras através da governação ou ignorá-las, tornando essa a nova regra de facto. Mas isso acontece com qualquer lógica de chain. O design do Skip tenta tornar mecanicamente impossível que um único validador engane em pequena escala. Por exemplo, qualquer tentativa de desviar a ordenação será apanhada por outros porque é objetiva. Assim, reduz a confiança em proponentes individuais. Em termos de desempenho, executar leilões e verificações extras adiciona sobrecarga. No entanto, os blocos do Cosmos são relativamente pequenos e o tempo entre blocos é muitas vezes de alguns segundos, o que é suficiente para estas operações na maioria dos casos. A simulação (pré-execução de transações para garantir que não há falhas e que as restrições de ordenação são cumpridas) pode ser a parte mais pesada, mas os validadores já fazem a execução de blocos normalmente, pelo que isto é semelhante. A presença de múltiplas lanes significa separação do mempool: por exemplo, uma transação pode precisar de especificar qual a lane que está a visar (leilão vs. gratuita vs. padrão). O design do BlockBuster do Skip tinha de facto lanes separadas comolanes/auction
,lanes/free
, etc., provavelmente filas de mempool separadas. Isso garante, por exemplo, que as transações gratuitas não atrasem ou interfiram com as de leilão. É um pouco como ter várias classes de prioridade no agendamento. Outro aspeto é a segurança e o mau comportamento: Se um proponente tentar manipular o leilão (por exemplo, incluir a sua própria transação, mas alegar que seguiu as regras), outros validadores rejeitarão o bloco. O consenso do Cosmos provavelmente passará para o próximo proponente, punindo o anterior por assinatura dupla ou simplesmente por falhar (dependendo do cenário). Assim, o modelo de segurança da chain lida com isso – não é necessário um slashing especial pelo Skip para além do consenso existente. Poder-se-ia estender o Skip para punir por ordenação maliciosa, mas provavelmente é desnecessário se o bloco simplesmente falhar. Desenvolvimento e Ferramentas: O código do Skip foi tornado de código aberto (inicialmente emskip-mev/pob
e agora provavelmente movido para um novo repositório após os lançamentos estáveis). Eles passaram por testnets e iterações com chains parceiras. No roteiro, vimos: Proposta 341 da Osmosis (aprovada no outono de 2022) para integrar o ProtoRev e leilões com o Skip – entregue no início de 2023. A Astroport da Terra integrou a partilha de MEV com o Skip em 2023. O Cosmos Hub está a avaliar o “Block SDK” do Skip, que traria funcionalidades semelhantes para o Hub. Outra fronteira interessante é o MEV inter-chain através do Interchain Scheduler – a comunidade do Cosmos Hub está a explorar um leilão de MEV inter-chain onde o MEV de muitas chains poderia ser negociado no Hub, e o Skip está envolvido nessas discussões (a pesquisa da Zerocap notou o planeado interchain scheduler do IBC). A tecnologia do Skip poderia servir como a espinha dorsal para tais leilões inter-chain porque já está a fazer leilões em chains individuais. Isso seria análogo ao objetivo interdomínio do SUAVE, mas dentro do Cosmos. Quanto às atualizações chave: o Skip foi lançado em meados de 2022. Em meados de 2023, eles tinham um lançamento estável do POB para o SDK v0.47+ (que muitas chains estão a atualizar). Eles também levantaram financiamento inicial, indicando desenvolvimento ativo. Outro concorrente no Cosmos, a Mekatek, oferece funcionalidade semelhante. Isto talvez tenha acelerado o roteiro do Skip para se manter à frente. O Skip continua a refinar funcionalidades como lanes de transações privadas (talvez para ocultar a sua transação até ser incluída) e regras de validade mais complexas à medida que surgem casos de uso. Por ser modular, uma chain como a dYdX (que terá um livro de ordens) pode usar o Skip para garantir a justiça na correspondência de ordens on-chain, etc., pelo que as ferramentas do Skip podem adaptar-se a diferentes lógicas de aplicação. Tecnicamente, a solução do Skip é mais simples do que construir uma chain totalmente nova: é atualizar as capacidades das chains existentes. Esta abordagem incremental e opt-in permitiu uma adoção bastante rápida – por exemplo, habilitar leilões na Osmosis não exigiu um novo algoritmo de consenso, apenas adicionar um módulo e coordenar os validadores para executarem o software atualizado (o que eles fizeram, uma vez que era benéfico e foi aprovado pela governação). Em resumo, a arquitetura do Skip está embutida no software de nó de cada chain, personalizando o mempool e o pipeline de proposta de bloco. É uma abordagem de engenharia pragmática para a ordenação justa: usar o que já existe (Tendermint BFT), adicionar lógica para o guiar. O trabalho pesado (como encontrar arbitragens) pode até ser feito pelo próprio módulo da chain (o ProtoRev usa o código Wasm e Rust embutido da Osmosis para analisar os pools). Assim, grande parte do manuseamento do MEV passa a ser on-chain. Esta abordagem on-chain tem de ser cuidadosamente codificada para eficiência e segurança, mas está sob o escrutínio da comunidade. Se alguma regra for problemática (demasiado rigorosa, etc.), a governação pode ajustá-la. Assim, técnica e socialmente, o Skip transforma o MEV em apenas mais um parâmetro da chain a ser otimizado e governado, em vez de um faroeste. Esta é uma postura única possibilitada pela flexibilidade do Cosmos.
Análise Comparativa de SUAVE, Anoma, Skip e Flashbots v2
Estes quatro protocolos abordam o problema do MEV e da ordenação justa de diferentes ângulos, adaptados aos seus respetivos ecossistemas e filosofias de design. O Flashbots v2 é uma solução incremental e pragmática para a arquitetura atual do Ethereum: abraça os leilões de MEV, mas tenta democratizar e suavizar o seu impacto (através de coordenação off-chain, privacidade SGX e mecanismos de partilha). O SUAVE é o plano futuro da Flashbots para criar uma plataforma de MEV inter-chain que maximiza o valor total e os benefícios para o utilizador – essencialmente, escalando o modelo de leilão para uma rede global descentralizada e que preserva a privacidade. A Anoma é uma reimaginação completa de como as transações são formuladas e executadas, com o objetivo de eliminar as causas profundas da ordenação injusta, usando intenções, correspondência mediada por solvers e justiça criptográfica no consenso. O Skip é uma abordagem de chain soberana, integrando a justiça e a captura de MEV ao nível do protocolo numa base por chain, especialmente no Cosmos, através de regras e leilões configuráveis.
Cada um tem pontos fortes e trade-offs:
- Justiça e Garantias de Ordenação: A Anoma oferece a justiça teórica mais forte (sem front-running por design, lotes encriptados), mas requer um novo paradigma e tecnologia complexa que ainda está a ser provada. O Skip pode impor regras de justiça concretas em chains existentes (impedindo front-runs ou impondo primeiro a entrar, primeiro a sair dentro das lanes), mas está limitado ao que cada comunidade escolhe impor. O SUAVE e o Flashbots v2 melhoram a justiça em termos de acesso (leilões abertos em vez de acordos secretos, proteção contra sniping no mempool público), mas não impedem inerentemente a execução de uma estratégia de MEV determinada – apenas garantem que ela paga aos utilizadores ou é feita de forma neutra.
- Redistribuição de MEV: O SUAVE e o Flashbots visam explicitamente devolver o MEV aos utilizadores/validadores: o SUAVE através de lances/reembolsos dos utilizadores, o Flashbots através de competições de construtores e reembolsos. O Skip pode canalizar o MEV para os utilizadores (conforme configurado, por exemplo, no caso da Astroport) ou para fundos comunitários. A Anoma evita a redistribuição explícita porque o objetivo é evitar a extração em primeiro lugar – idealmente, os utilizadores apenas obtêm preços justos, o que é equivalente a não perder valor para o MEV.
- Âmbito (Domínio Único vs. Múltiplo): O Flashbots v2 e o Skip focam-se nos seus próprios domínios (Ethereum e chains individuais do Cosmos, respetivamente). O SUAVE é inerentemente multi-domínio – vê o MEV inter-chain como uma motivação principal. A Anoma também considera eventualmente intenções multi-chain, mas nas fases iniciais pode ser dentro de uma instância fractal de cada vez, e depois ligando-se através de adaptadores. O leilão inter-chain do SUAVE poderia desbloquear arbitragem e coordenação que outros não conseguem fazer tão facilmente (exceto talvez um Interchain Scheduler com a ajuda do Skip no Cosmos).
- Complexidade e Adoção: O Flashbots v2 foi relativamente fácil de adotar (um sidecar de cliente) e rapidamente capturou a maioria dos blocos do Ethereum. O Skip também aproveita a tecnologia existente e está a ver ado ção no Cosmos com propostas de governação diretas. O SUAVE e a Anoma são mais revolucionários – requerem novas redes ou grandes mudanças. O desafio do SUAVE será conseguir que muitas chains e utilizadores adiram a uma nova camada; o desafio da Anoma é criar um novo ecossistema e convencer os desenvolvedores a construir num modelo centrado em intenções.
- Conformidade e Neutralidade: Todos os quatro oferecem melhorias na transparência. O Flashbots v2/SUAVE removem elementos da floresta escura, mas tiveram de gerir questões de censura – o SUAVE está a ser explicitamente construído para evitar esses pontos centrais. A Anoma, com privacidade por defeito, protege ao máximo os utilizadores (mas pode preocupar os reguladores devido à atividade encriptada). O modelo do Skip dá a cada chain autonomia para encontrar um equilíbrio de conformidade. Se um regulador exigisse “sem leilões de MEV” ou “sem privacidade”, um Ethereum a usar o Flashbots poderia enfrentar um conflito, enquanto uma chain do Cosmos a usar o Skip poderia simplesmente não implementar essas funcionalidades ou ajustá-las. Em termos de neutralidade: o SUAVE e a Anoma visam a neutralidade credível (todos acedem a um sistema em termos iguais; ambos são essencialmente redes de bens públicos). O Flashbots v2 é neutro ao oferecer acesso aberto, mas existe alguma centralização no mercado de construtores (embora mitigada pelos esforços do buildernet). A neutralidade do Skip depende da governação – idealmente, faz com que o MEV não favoreça nenhum insider único, mas poder-se-ia configurá-lo mal e prejudicar a neutralidade (embora improvável, pois exigiria consenso da governação para o fazer).
- Diferenças de Arquitetura Técnica: O Flashbots v2 e o SUAVE são mercados off-chain em camadas sobre a chain: introduzem papéis especializados (construtores, relays, executores) e usam hardware ou criptografia para os proteger. A Anoma e o Skip integram-se diretamente no consenso ou na máquina de estados. A Anoma altera o ciclo de vida da transação e o próprio consenso (com encriptação de limiar e intenções unificadas). O Skip liga-se ao consenso do Tendermint através do ABCI++, mas não muda o algoritmo fundamental – é um ajuste na camada de aplicação. Esta diferença significa que o SUAVE/Flashbots podem teoricamente servir muitas chains sem que cada chain precise de ser atualizada (eles correm em paralelo a elas), enquanto a Anoma/Skip exigem que cada chain ou instância use o novo software. O SUAVE está um pouco no meio: é uma chain separada, mas para usá-la eficazmente, outras chains precisam de pequenos ajustes (para aceitar blocos construídos pelo SUAVE ou enviar saídas para o SUAVE). A sofisticação criptográfica é mais alta na Anoma (ZK, MPC, criptografia de limiar, tudo num só), moderada no SUAVE (criptografia de limiar e SGX, mais criptografia normal para pontes), e relativamente baixa no Flashbots v2 (SGX, assinaturas padrão) e no Skip (principalmente assinaturas padrão, mais o que a chain usar, como decriptação de limiar, se optar por isso).
- Estágio de Desenvolvimento: O Flashbots v2 está em produção no Ethereum (desde setembro de 2022). O Skip está em produção em várias chains do Cosmos (a partir de 2022–2023). O SUAVE está na fase de testnet/devnet com partes a serem lançadas (alguma funcionalidade de leilão em teste, testnet Toliman ao vivo). A Anoma também está na fase de testnet (um vision paper, implementações parciais como a mainnet da Namada, e provavelmente uma testnet da Anoma a exigir códigos de convite em 2023). Assim, em termos de dados do mundo real: o Flashbots v2 e o Skip demonstraram resultados (por exemplo, o Flashbots v2 entregou milhões a validadores e baixou os preços médios do gás durante períodos de alto MEV; o ProtoRev do Skip gerou fundos significativos para a comunidade Osmosis e preveniu muitos ataques sanduíche quando a encriptação de limiar começou). O SUAVE e a Anoma são promissores, mas têm de se provar operacional e economicamente.
Para cristalizar estas comparações, a tabela abaixo resume os aspetos chave de cada protocolo lado a lado:
Protocolo | Ordenação de Transações | Mecanismo de MEV (Suprimir vs. Extrair) | Incentivos Económicos (Alinhamento) | Conformidade e Neutralidade | Arquitetura e Tecnologia | Estado de Desenvolvimento |
---|---|---|---|---|---|---|
Flashbots v2 (Ethereum) | Leilões de construtores off-chain decidem a ordenação dos blocos (PBS via MEV-Boost). Transações do mempool público são contornadas por bundles privados. A ordenação é orientada pelo lucro (bundle com maior pagamento primeiro). | Extrai MEV através de leilões de blocos de lances selados, mas mitiga efeitos secundários prejudiciais (sem guerras de gás, sem front-running público). Fornece submissão de transações privadas (Flashbots Protect) para suprimir MEV visível ao utilizador, como o front-running direto. A resistência à censura está a melhorar através de multi-relay e descentralização de construtores. | Os Validadores maximizam a receita ao terceirizar blocos (ganham os lances mais altos). Os Searchers competem para reduzir os lucros para ganhar a inclusão (a maior parte do MEV é paga aos validadores). Os Construtores ganham uma margem, se houver. Reembolsos emergentes partilham o MEV com os utilizadores (via BuilderNet). Os incentivos favorecem a competição aberta em detrimento de acordos exclusivos. | Inicialmente enfrentou censura da OFAC (relay central), mas evoluiu para múltiplos relays e construtores de código aberto. Agora persegue a neutralidade credível: a rede TEE do BuilderNet garante que nenhum construtor único pode censurar. No geral, mais transparente que o mempool, mas ainda dependente de entidades off-chain (relays). | Mercado off-chain integrado com o PoS do Ethereum. Utiliza Hardware Confiável (SGX) para fluxo de ordens privado no BuilderNet. Nenhuma mudança de consenso na L1; usa a API de construtor padrão. Forte em engenharia (clientes sidecar, relays), mas leve em nova criptografia. | Em produção na mainnet do Ethereum (desde setembro de 2022). >90% dos blocos via MEV-Boost. Atualizações contínuas: construtor de código aberto, BuilderNet alfa ao vivo (final de 2024). Provado estável, com esforços de descentralização em curso. |
SUAVE (próxima geração da Flashbots) | Mempool unificado inter-chain de preferências (intenções do utilizador + lances). Executores formam bundles de transações ótimos a partir destes. Sequenciamento descentralizado – o SUAVE produz fragmentos de blocos ordenados para os domínios. Ordenação baseada nos lances dos utilizadores e no bem-estar global (não simples FIFO ou gás). A privacidade (encriptação) impede a manipulação da ordem até à execução. | Suprime o “mau MEV” ao devolver o MEV aos utilizadores: por exemplo, leilões de fluxo de ordens pagam aos utilizadores por serem alvo de back-running. Agrega o “bom MEV” (como arbitragens interdomínio) para extração máxima, mas redistribui para utilizadores/validadores. Usa mempool encriptado e construção de blocos colaborativa para impedir o front-running e o acesso exclusivo. | Os Utilizadores publicam preferências com lances pagáveis; executores concorrentes ganham o lance ao cumprir o objetivo do utilizador. Os Validadores de cada chain obtêm taxas mais altas devido a blocos ótimos e captura de MEV inter-chain. Os próprios validadores do SUAVE ganham taxas de rede. O design empurra o lucro do MEV para os utilizadores e validadores, minimizando a renda dos searchers. A Flashbots pretende permanecer apenas como um facilitador. | Construído para neutralidade credível: uma plataforma pública neutra não controlada por nenhum ator único. Privacidade em primeiro lugar (transações encriptadas em SGX ou via criptografia) significa que nenhuma entidade pode censurar com base no conteúdo. Espera evitar qualquer requisito de confiança na Flashbots através da descentralização progressiva. A conformidade não está explicitamente incorporada, mas a neutralidade e o alcance global são priorizados (pode enfrentar questões regulatórias sobre privacidade). | Chain independente (compatível com EVM) para preferências e leilões. Usa extensivamente enclaves Intel SGX (para mempool privado e construção de blocos colaborativa). Planeia introduzir encriptação de limiar e MPC para eliminar o hardware confiável. Essencialmente uma camada de blockchain + computação segura sobre outras. | Em desenvolvimento – fase de testnet Centauri ativa (devnet, leilões básicos). Cliente SUAVE de código aberto (agosto de 2023); testnet Toliman lançada para testes da comunidade. Mainnet ainda não está ao vivo (esperada em fases: Andromeda, Helios). Roteiro ambicioso, ainda não provado em escala. |
Anoma (protocolo centrado em intenções) | Sem mempool convencional; utilizadores transmitem intenções (resultados desejados). Solvers reúnem intenções e produzem transações correspondidas. Usa encriptação de limiar de transações para que os validadores as ordenem sem ver o conteúdo, impedindo MEV reativo. Frequentemente emprega processamento em lote (por exemplo, desencriptar e corresponder intenções em lotes a cada N blocos) para preços justos. O consenso garante compromissos de ordem antes da revelação, alcançando justiça na ordem. | Forte mitigação de MEV por design: Front-running impossível (transações reveladas apenas após a ordenação final). Leilões em lote eliminam vantagens de prioridade (por exemplo, todas as trocas num lote partilham o preço de compensação). Os Solvers competem para preencher intenções, o que leva os preços para o ótimo do utilizador, deixando pouco MEV. Essencialmente minimiza o valor extraível – qualquer arbitragem necessária é feita como parte da correspondência, não por externos. | Os Solvers ganham taxas ou spreads por encontrar correspondências (semelhante a agregadores de DEX), mas a competição força-os a entregar as melhores ofertas aos utilizadores. Os Validadores recebem taxas e recompensas de stake; eles também garantem a execução justa (sem MEV extra via consenso). Os Utilizadores ganham através de melhor execução (só negoceiam a preços justos, não perdendo valor para o MEV). O valor que seria MEV é retido pelos utilizadores ou pelo protocolo (ou partilhado minimamente com os solvers como uma taxa de serviço). A arquitetura alinha os incentivos para a participação honesta (solvers e validadores são recompensados por facilitar trocas, não por explorá-las). | A privacidade e a justiça são centrais – as intenções podem ser parcial ou totalmente protegidas (com provas ZK), protegendo os dados do utilizador. Resistência à censura: os validadores não podem censurar seletivamente o que não conseguem ver (transações encriptadas) e devem seguir regras de correspondência algorítmicas. Altamente neutro – todas as intenções são tratadas pela mesma lógica de correspondência. A conformidade regulatória não está incorporada (privacidade forte pode ser desafiadora para KYC), mas a estrutura de intenções pode permitir designs compatíveis na camada de aplicação. | Nova arquitetura de blockchain. Usa consenso BFT com camada integrada de gossip de intenções e solver. Baseia-se em criptografia de limiar (Ferveo) para privacidade do mempool e ZK SNARKs (Taiga) para privacidade de dados. A execução é guiada por predicados de validade (lógica específica da aplicação que impõe resultados justos). Interoperável via IBC (intenções multi-chain possíveis no futuro). Criptograficamente muito avançado (encriptação, ZK, conceitos de MPC combinados). | Testnets e lançamentos parciais. A primeira testnet da Anoma, Feigenbaum (novembro de 2021), demonstrou a correspondência básica de intenções. Muitos conceitos são implementados em fases; por exemplo, a Namada (2023) foi lançada com a tecnologia de privacidade da Anoma e o Ferveo num caso de uso de uma única chain. A Anoma L1 completa com intenções está em testnet (testes apenas por convite em meados de 2023). A Fase 1 da Mainnet (planeada) visará a integração com o Ethereum; token nativo e consenso completo mais tarde. Ainda sob forte I&D, ainda não testado em batalha. |
Skip Protocol (Cosmos) | Regras de ordenação de transações no protocolo e lanes de bloco configuradas pela governação de cada chain. Por exemplo, leilões determinam a ordem do topo do bloco, depois transações padrão, etc. Imposto por consenso: os validadores rejeitam blocos que violam a ordenação (como uma sequência de transações inválida). Permite políticas personalizadas (ordenar por preço de gás, incluir transações de oráculo primeiro, não permitir certos padrões) – efetivamente algoritmos de ordenação determinísticos escolhidos pela chain. | Abordagem híbrida – extrai MEV de formas controladas (via leilões on-chain e arbitragem de propriedade do protocolo) enquanto suprime o MEV malicioso (via imposição de regras). O Front-running pode ser proibido por regras da chain. O Back-running/arbitragem pode ser internalizado: por exemplo, a chain faz a sua própria arbitragem (ProtoRev) e partilha a receita. Leilões de espaço de bloco (Skip Select) permitem que os searchers licitem por prioridade, pelo que o MEV é capturado de forma transparente e muitas vezes redistribuído. No geral, o MEV negativo (sanduíches, etc.) é reduzido, enquanto o “MEV positivo” (arbitragens, liquidações) é aproveitado para benefício da chain. | Os Validadores ganham uma nova fonte de receita de taxas de leilão ou MEV capturado pelo protocolo sem quebrar as regras de consenso. O risco de MEV desonesto individual é reduzido (deve seguir as regras ou o bloco é inválido), alinhando os validadores coletivamente. A Chain/comunidade pode direcionar a receita de MEV (por exemplo, para stakers ou fundo comunitário). Os Searchers devem competir através de leilões, muitas vezes cedendo parte do lucro à chain/validadores. Alguns papéis de MEV são subsumidos por módulos on-chain (pelo que os searchers têm menos vitórias fáceis). Os Utilizadores beneficiam de menos ataques e podem até receber reembolsos de MEV (por exemplo, a Astroport partilha MEV com os traders). Os incentivos tornam-se alinhados com a comunidade – o MEV é tratado como receita pública ou não é permitido se for prejudicial, em vez de lucro privado. | Conformidade soberana: cada chain escolhe a sua política. Isto significa que uma chain pode impor anti-MEV rigoroso, ou incluir requisitos de KYC, se necessário, através da configuração do módulo. A transparência do Skip (lances on-chain) e o controlo da governação melhoram a legitimidade. Aumenta inerentemente a resistência à censura dentro das regras escolhidas por cada chain – por exemplo, se a regra diz “incluir sempre a transação do Oráculo”, um validador censor não pode omiti-la. Mas se uma chain decidisse censurar (por regra), o Skip também poderia impor isso. Geralmente, o Skip promove a transparência e a justiça conforme determinado pela comunidade. Nenhuma entidade única (como um relay) controla a ordenação – está no protocolo e é de código aberto. | Módulos do Cosmos SDK (Protocol-Owned Builder) adicionados ao software do nó. Usa hooks ABCI++ para montagem e validação de blocos personalizados. Implementa leilões on-chain (contratos ou módulos lidam com lances e pagamentos). Nenhuma criptografia especializada por defeito (além da tecnologia padrão do Cosmos), mas compatível com encriptação de limiar – por exemplo, a Osmosis adicionou um mempool encriptado com o Skip em mente. Essencialmente, uma extensão do Tendermint BFT que adiciona lógica consciente de MEV na proposta de bloco. Leve para as chains adotarem (apenas integração de módulo, sem novo protocolo de consenso). | Ao vivo em várias chains. O módulo de leilão e construtor do Skip foi implementado na Osmosis (2023) – o módulo ProtoRev rendeu receita ao protocolo e os leilões estão ao vivo para o topo do bloco. Usado na Terra/Astroport, Juno, etc., e está a ser considerado pelo Cosmos Hub. O código é de código aberto e está em evolução (v1 do POB para o SDK 0.47+). Provado em produção com MEV real capturado e distribuído. Continua a lançar funcionalidades (por exemplo, novos tipos de lane) e a integrar chains. |
Cada solução visa o problema do MEV de uma camada diferente – o Flashbots v2 funciona em torno do consenso L1, o SUAVE propõe uma nova camada L1.5, a Anoma redesenha a própria L1, e o Skip aproveita a personalização modular da L1. Na prática, estas abordagens não são mutuamente exclusivas e podem até complementar-se (por exemplo, uma chain do Cosmos pode usar o Skip internamente e também enviar intenções para o SUAVE para MEV inter-chain, ou o Ethereum pode implementar alguma justiça na ordem semelhante à da Anoma no futuro, enquanto ainda usa o Flashbots para mercados de construtores). A tabela ilustra as suas propriedades comparativas: o Flashbots v2 já está a proporcionar melhorias no Ethereum, mas ainda extrai MEV (apenas de forma mais equitativa e eficiente); o SUAVE visa um resultado de sinergia máxima onde todos cooperam através de uma rede – o seu sucesso dependerá da ampla adoção e da entrega técnica da privacidade e descentralização prometidas; a Anoma oferece talvez a repressão de MEV mais poderosa ao mudar completamente o funcionamento das transações, mas enfrenta o grande desafio de iniciar um novo ecossistema e provar o seu protocolo complexo; o Skip atinge um equilíbrio pragmático para o Cosmos, permitindo que as comunidades governem ativamente o MEV e a justiça nos seus próprios termos – é menos radical que a Anoma, mas mais integrado que o Flashbots, e já está a mostrar resultados tangíveis no Cosmos.
Conclusão e Perspetivas
A supressão de MEV e a ordenação justa continuam a ser um dos “Problemas do Prémio Millennium da cripto”. Os quatro protocolos analisados – Flashbots v2, SUAVE, Anoma e Skip – representam um espectro de soluções: desde mitiga ções imediatas em estruturas existentes até mudanças de paradigma totais no processamento de transações. O Flashbots v2 demonstrou o poder dos mercados de MEV abertos para reduzir o caos e redistribuir valor, embora navegando por trade-offs como a censura, que estão a ser abordados através da descentralização. Mostra que mudanças incrementais (como leilões PBS e mempools privados) podem reduzir significativamente a dor do MEV a curto prazo. O SUAVE, o próximo passo da Flashbots, leva esse ethos adiante para uma arena unificada inter-chain – se tiver sucesso, poderemos ver um futuro onde os utilizadores são rotineiramente pagos pelo MEV que as suas trocas criam e onde a produção de blocos em muitas redes é colaborativa e encriptada para justiça. A Anoma aponta para uma evolução mais fundamental: ao remover o conceito de transações prioritárias e substituí-lo por um sistema de correspondência de intenções, poderia eliminar classes inteiras de MEV e desbloquear dApps financeiras mais expressivas. A sua ordenação justa na camada de consenso (via encriptação de limiar e leilões em lote) é um vislumbre de como as próprias blockchains podem fornecer garantias de justiça, não apenas complementos off-chain. O Skip Protocol, entretanto, exemplifica um meio-termo num contexto multi-chain – dá às chains individuais a agência para decidir como equilibrar a receita de MEV e a proteção do utilizador. A sua adoção precoce no Cosmos mostra que muitos dos efeitos nefastos do MEV podem ser combatidos hoje com engenharia de protocolo ponderada e consentimento da comunidade.
No futuro, podemos esperar uma polinização cruzada de ideias: os investigadores do Ethereum estão a estudar o consenso de ordem justa e a encriptação de limiar (inspirados por projetos como a Anoma e o mempool encriptado da Osmo) para potencial inclusão em soluções L1 ou L2. O SUAVE da Flashbots pode interagir com as chains do Cosmos (talvez até através do Skip), uma vez que procura ser agnóstico em relação à chain. O conceito de intenção da Anoma pode influenciar o design de aplicações mesmo em plataformas tradicionais (por exemplo, a CoW Swap no Ethereum já usa um modelo de solver; pode-se vê-la como uma dApp “semelhante à Anoma”). O sucesso do Skip pode encorajar outros ecossistemas (Polkadot, Solana, etc.) a adotar controlos de MEV no protocolo semelhantes. Um tema chave é o alinhamento económico – todos estes protocolos esforçam-se por alinhar os incentivos daqueles que protegem a rede com o bem-estar dos utilizadores, para que explorar os utilizadores não seja lucrativo ou não seja possível. Isto é crucial para a saúde a longo prazo dos ecossistemas de blockchain e para evitar a centralização.
Em resumo, SUAVE, Anoma, Skip e Flashbots v2 contribuem cada um com peças do quebra-cabeça para a ordenação justa e a mitigação de MEV. O Flashbots v2 estabeleceu um modelo para leilões de MEV que outros emulam, o Skip provou que a imposição on-chain é viável, a Anoma expandiu a imaginação do que é possível ao reconstruir o modelo de transação, e o SUAVE procura unificar e descentralizar os ganhos dos últimos anos. A solução final pode envolver elementos de todos: leilões globais que preservam a privacidade, interfaces de utilizador centradas em intenções, regras de justiça ao nível da chain e construção de blocos colaborativa. A partir de 2025, a luta contra a injustiça induzida pelo MEV está bem encaminhada – estes protocolos estão a transformar o MEV de uma inevitabilidade sombria numa parte gerida, e até produtiva, da economia cripto, enquanto se aproximam cada vez mais do ideal de “a melhor execução para os utilizadores com a infraestrutura mais descentralizada”.