Walraswap propõe DEX em lotes baseada em equilíbrio e integrada à liquidez externa de AMMs

A proposta do Walraswap parte da teoria de equilíbrio para uma economia de troca com n tokens. Dado um conjunto finito de ordens, sob hipóteses leves e ignorando custos de transação, existe um vetor de preços em que todas as ordens são executadas sem déficit ou excedente de qualquer token. Algumas ordens podem não negociar nada nesse ponto. O trabalho começou em 2023 na Flashbots, de forma independente de pesquisas próximas como a de Ramseyer, Goyal, Goel e Mazières e o SPEEDEX.

A diferença técnica está na fórmula do autor: equilíbrio = preços de compensação uniformes + inclusão de todas as ordens disponíveis. CoW Swap, UniswapX e 1inch Fusion não são baseadas em equilíbrio, e o CoW Swap adotou por anos apenas a propriedade mais fraca dos preços uniformes. A segunda condição é difícil em blockchain, porque quem envia o lote pode censurar ordens para manipular o resultado. A resposta proposta é de governança: uma DAO elege solvers, o contrato limita o dano possível à censura, e o fluxo de ordens é público para que a censura seja detectável. No jogo repetido, o solver perde a posição se censurar, lógica análoga à dos block builders que não desfazem bundles de searchers.

No lado matemático, o teorema principal (Seção 6) trata de ordens e AMMs externos, com swaps externos executados pelas regras de preço do próprio AMM, não pelos preços de compensação do lote. O cálculo pode ser escrito como otimização convexa, o que sugere computação eficiente. O conjunto de vetores de equilíbrio é convexo sob condição de monotonicidade, e as negociações líquidas no equilíbrio são únicas. A aplicabilidade dessa solução ao Walraswap é uma expectativa do autor, e o texto é um anúncio para discussão, com pedido de feedback.

Para quem opera ou audita protocolos de execução, a leitura é que o Walraswap não elimina o MEV, mas o concentra em um único ponto observável: a censura por solvers eleitos. Se isso funciona na prática depende de a detecção e o jogo repetido realmente disciplinarem os solvers, algo que a proposta defende e que ainda precisa de validação. A integração com liquidez externa de AMMs é o que a torna candidata a competir com os modelos atuais.