详解模块化MEV：如何实现公平的交易排序？

原文作者：Maven 11 

原文编译：Luffy，Foresight News

在本系列论文的前两部分中，我们主要关注拆分堆栈时出现的技术问题，以及模块化世界的需要进行的改进。我们已经介绍了许多工作进展，以解决跨域设置中自然出现的问题。然而，在该系列的最后部分，我们希望更多地关注用户体验。我们想研究模块化、定制和专业化如何帮助创建更好的应用程序。本系列的最后一章将着眼于模块化中令人兴奋且独特的创造性和可能性，供开发人员创建具备 Web3 可验证性的 Web2 用户体验。  

构建模块化背后的原因不应该只是为了迎合叙述，也不只是为了模块化，而是因为它使我们能够构建更好、更高效和更可定制的应用程序。在构建模块化和专用系统时，会出现许多独特功能。其中一些是显而易见的，而另一些则不那么明显。因此，我们的目标是提供你所不知道的模块化系统能力的概述，例如可扩展性。 

我们认为，模块化为开发人员提供的能力之一是能够构建高度可定制的专业应用程序，为终端用户带来更好的体验。我们之前已经讨论过设置规则或重新排序交易执行顺序的能力。

可验证的排序规则（以下简称 VSR）是控制排序提供的有趣机会之一，特别是对于有兴趣在执行方面构建「更公平」交易系统的开发人员。显然，流动性提供者的损失与再平衡（LVR）的关系超出了本文的范围，因此我们将避免触及太多这方面的知识。请记住，我们将要解释的设置主要针对 AMM 而不是订单簿模型 。此外，CLOB（甚至 CEX）也将从利用适合其特定设置的可验证排序规则中受益匪浅。在链下设置中，显然需要一些由加密经济安全性支持的零知识或乐观执行的概念。

当我们考虑到大多数散户尚未（或不太可能）采用保护方法这一事实时，VSR 特别有趣。大多数钱包 /DEX 也没有实现私有内存池、RPC 或类似方法。大多数交易都是直接通过前端提交的（无论是聚合器还是 DEX 的前端）。因此，除非应用程序直接干扰其流程和订单的处理方式，否则终端用户获得的执行效果可能都不太理想。 

当我们考虑交易供应链排序所在时，VSR 的作用就显而易见了。它位于专业参与者排序（或包含）交易的地方，通常基于一些拍卖或基本费用。这个排序非常重要，它决定了执行哪些交易以及何时执行。本质上，拥有排序权的人拥有提取 MEV 的能力，通常以优先费用（或小费）的形式获取。 

因此，编写有关如何处理排序的规则以便为终端用户提供更公平的交易执行（在 DEX 设置中）可能会很有趣。但是，如果你正在构建通用网络，则应该尽量避免遵守此类规则。

此外，有一些 MEV 很重要，如套利、清算等。一个想法是在区块顶部建立一条「高速公路」通道，专门针对白名单上的套利者和清算人，他们支付更高的费用并与协议分享部分收入。 

在论文《通过可验证排序规则进行可信去中心化交易所设计》中，Matheus V.、X. Ferreira 和 David C. Parkes 提出了一个模型，其中区块的排序器受到一系列执行排序规则的约束（并且这些约束是可验证的）。在不遵守设定规则的情况下，观察者可以生成故障证明（或者由于约束在数学上是可验证的，你也可以想象一个具有这些约束的 ZK 电路，它使用 ZKP 作为有效性证明）。主要思想本质上是为终端用户（交易者）提供执行价格保证。这种保证确保交易的执行价格与区块中唯一的交易一样好（显然，如果我们假设基于先到先得的买入 / 卖出 / 买入 / 卖出排序，则此处涉及一定程度的延迟）。论文中提案的基本思想是，如果它们以比区块顶部可用的价格更好的价格执行，这些排序规则将限制构建者（在 PBS 场景中）或排序器仅将交易包含在相同的方向（比如卖 / 卖）。此外，如果存在这样的情况，即你在一系列购买结束时进行了卖出，那么卖出将不会被执行（例如，买，买，买，卖），这可能表明搜索者（或构建者 / 排序器）利用这些购买来推动价格向有利于他们的方向发展。这本质上意味着协议规则保证用户不会被用来为其他人提供更好的价格（即 MEV），或者由于优先费用而导致价格下滑。显然，这里规则的缺陷（在卖出数量多于买入数量的情况下，反之亦然）是，你可能会得到相对较差的长尾价格。 

对于一般的智能合约平台而言，将这些规则作为纯粹的链上构造规则几乎是不可能的，因为你无法控制执行和排序。与此同时，你还与许多其他人竞争，因此试图强制那些处于区块顶层的人支付优先费将是不必要的昂贵。模块化设置的功能之一是，它允许应用程序开发人员自定义其执行环境应如何运行。无论是排序规则、使用不同的虚拟机还是对现有虚拟机进行自定义更改（例如添加新的操作码或更改 Gas 限制），实际上都取决于开发人员，取决于他们的产品。