Vitalik新作：以太坊The Scourge阶段的关键目标

Bitget App

交易“智”变

Bitget

资讯中心

PANews2024/10/21 10:15

作者:金色财经

尽量减少以太坊质押层的中心化风险（特别是在区块构建和资本供应方面，它们又称MEV和质押池）

作者：以太坊创始人Vitalik；编译：邓通，金色财经

按：本文为以太坊创始人Vitalik近期发表的“以太坊协议的未来发展”系列文章的第三部分“Possible futures of the Ethereum protocol, part 3: The Scourge”。第二部分见金色财经“Vitalik：The Surge阶段以太坊协议应该怎么发展”，第一部分见“以太坊PoS还有哪些可以改进”。以下为第三部分全文：

以太坊 L1 面临的最大风险之一是由于经济压力而导致的权益证明中心化。如果参与核心权益证明机制存在规模经济，这自然会导致大型利益相关者占据主导地位，而小型利益相关者则退出加入大型矿池。这导致 51% 攻击、交易审查和其他危机的风险更高。除了中心化风险之外，还存在价值提取的风险：一小部分人获取了原本会流向以太坊用户的价值。

去年，我们对这些风险的了解大大增加。众所周知，这种风险存在于两个关键地方：（i）区块构建，以及（ii）质押资本规定。较大的参与者可以运行更复杂的算法（“MEV 提取”）来生成区块，从而为他们带来更高的区块收入。大型参与者还可以通过将资金作为流动质押代币（LST）释放给其他人，更有效地解决资金被锁定的不便。除了小质押者与大质押者的直接问题之外，还存在是否（或将会）过多质押 ETH 的问题。

Scourge 2023 年路线图

今年，区块建设取得了重大进展，最显著的是“委员会包含列表加上一些有针对性的排序解决方案”作为理想解决方案的融合，以及对权益证明经济学的重要研究，包括两层等思想质押模型并减少发行量以限制质押 ETH 的百分比。

The Scourge关键目标

尽量减少以太坊质押层的中心化风险（特别是在区块构建和资本供应方面，它们又称MEV和质押池）

尽量减少从用户身上过度榨取价值的风险

本文分三个部分

修复区块构建（Fixing the block construction pipeline）
修复质押经济（Fixing staking economics）
应用层解决方案（Application-layer solutions）

修复区块构建

我们要解决什么问题？

如今，以太坊区块构建主要是通过 MEVBoost 的协议外 propser-builder 分离来完成的。当验证者有机会提出一个区块时，他们会将选择区块内容的工作分配给称为构建者的专门参与者。选择使收入最大化的区块内容的任务是规模经济密集型的：需要专门的算法来确定要包含哪些交易，以便从链上金融工具和与之交互的用户交易中提取尽可能多的价值（这就是所谓的“MEV 提取”）。验证者面临着规模经济相对较轻的“dumb-pipe”任务，即监听出价并接受最高出价，以及证明等其他责任。

MEVBoost 正在做的事情的程式化图表：专门的构建者承担红色的任务，利益相关者承担蓝色的任务。

有多种版本，包括“提议者-构建者分离”（PBS）和“证明者-提议者分离”（APS）。它们之间的区别与finegrained的细节有关，即哪些责任由两个参与者中的哪一个承担：粗略地说，在 PBS 中，验证者仍然提出区块，但从构建者那里接收有效负载，而在 APS 中，整个槽位都成为构建者的责任。最近，APS 比 PBS 更受青睐，因为它进一步降低了提案者与构建者共处一地的动机。请注意，APS 仅适用于包含交易的执行块；包含权益证明相关数据（例如证明）的共识块仍将被随机分配给验证者。

这种权力分离有助于保持验证者的去中心化，但它有一个重要的成本：执行“专门”任务的参与者很容易变得非常中心化。这是今天的以太坊区块构建：

两个参与者正在选择大约 88% 的以太坊区块的内容。如果这两个参与者决定审查交易怎么办？答案并不像看起来那么糟糕：它们无法重组区块，因此您根本不需要 51% 的审查来防止交易被包含在内：您需要 100%。在 88% 的审查机制下，用户平均需要等待 9 个槽位（从技术上讲，平均为 114 秒，而不是 6 秒）。对于某些用例，等待某些事务两分钟甚至五分钟就可以了。但对于其他用例，例如 DeFi 清算中，即使能够将其他人的交易延迟几个区块的纳入也是一个重大的市场操纵风险。

区块构建者可以用来最大化收入的策略也可能对用户产生其他负面影响。 “三明治攻击”可能会导致进行代币交易的用户因滑点而遭受重大损失。为使这些攻击堵塞链而引入的交易，增加了其他用户的Gas价格。

它是什么，它是如何工作的？

领先的解决方案是进一步分解区块生产任务：我们将选择交易的任务重新交给提议者（即质押者），而构建者只能选择排序并插入一些自己的交易。这就是包含列表想要做的事情。

在时间 T，随机选择的质押者创建一个包含列表，即在当时区块链当前状态下有效的交易列表。在时间 T+1，区块构建者（可能是通过协议内拍卖机制提前选择的）创建一个区块。该区块需要包含包含列表中的每笔交易，但他们可以选择顺序，并且可以添加自己的交易。

分叉选择强制包含列表（FOCIL）提案涉及每个区块的多个包含列表创建者组成的委员会。为了将交易延迟一个区块，k 个包含列表创建者中的 k 个（例如 k = 16 ）必须审查该交易。 FOCIL 与通过拍卖选出的最终提议者的组合需要包括包含列表，但可以重新排序和添加新交易，通常称为“FOCIL + APS”。

解决该问题的另一种方法是多个并发提议者 (MCP) 方案，例如 BRAID。 BRAID 试图避免将区块提议者角色分为低规模经济部分和高规模经济部分，而是尝试将区块生产过程分配给许多参与者，这样每个参与者提议者只需要具有中等程度的复杂性就可以最大化他们的收入。 MCP 的工作原理是让 k 个并行提议者生成交易列表，然后使用确定性算法（例如，按费用从高到低排序）来选择顺序。

BRAID 并不寻求实现运行默认软件的dumb-pipe块提议者是最佳的目标。它不能这样做的两个容易理解的原因是：

后动者套利攻击：假设提案者提交的平均时间为T，而你最后可能提交并仍然被纳入的时间约为T+1。现在，假设在中心化交易所上，ETH/USDC 价格在 T 和 T+1 之间从 2500 美元到 2502 美元。提议者可以多等一秒钟，然后添加额外的交易来对链上去中心化交易所进行套利，每 ETH 可获得高达 2 美元的利润。与网络有良好联系的老练的提议者更有能力做到这一点。
独占订单流：用户有动力将交易直接发送给单个提议者，以最大程度地减少其遭受抢先交易和其他攻击的脆弱性。经验丰富的提议者具有优势，因为他们可以建立基础设施来接受这些直接来自用户的交易，并且他们拥有更强的声誉，因此向他们发送交易的用户可以相信提议者不会背叛并抢先交易（这可以缓解使用可信硬件，但可信硬件有自己的信任假设。）

在 BRAID 中，证明者仍然可以分离并作为dumb-pipe功能运行。

除了这两个极端之外，还存在一系列介于两者之间的可能设计。例如，您可以拍卖仅有权附加到块，而无权重新排序或前置的角色。您甚至可以让它们附加或前置，但不能插入中间或重新排序。这些技术的吸引力在于，拍卖市场的获胜者可能非常集中，因此降低他们的权威有很多好处。

内存池加密

对于成功实施许多此类设计（具体来说，BRAID 或 APS 版本，其中对拍卖功能有严格限制）至关重要的一项技术是加密内存池。加密内存池是一种技术，用户以加密形式广播其交易，并附上某种有效性证明，并且交易以加密形式包含在区块中，而区块构建者不知道其内容。交易内容稍后公布。

实现加密内存池的主要挑战是提出一种设计，确保所有交易稍后都会被披露：简单的“提交和披露”方案行不通，因为如果披露是自愿的，则选择披露或不披露的行为本身就是对可被利用的区块的一种“最后推动者”影响。两种主要技术是 (i) 阈值解密和 (ii) 延迟加密，这是一种与可验证延迟函数 (VDF) 密切相关的原语。

与现有研究有哪些联系？

MEV 和构建器集中化解释：https://vitalik.eth.limo/general/2024/05/17/decentralization.html#mev-and-builder-dependence

MEVBoost：https://github.com/flashbots/mev-boost

Enshrined PBS（早期提出的针对这些问题的解决方案）：https://ethresear.ch/t/why-enshrine-proposer-builder-separation-a-viable-path-to-epbs/15710

Mike Neuder 的包含列表相关读物列表：https://gist.github.com/michaelneuder/dfe5699cb245bc99fbc718031c773008

包含列表EIP：https://eips.ethereum.org/EIPS/eip-7547

FOCIL：https://ethresear.ch/t/fork-choice-enforced-inclusion-lists-focil-a-simple-committee-based-inclusion-list-proposal/19870

Max Resnick 的 BRAID 演示：https://www.youtube.com/watch?v=mJLERWmQ2uw

“优先级就是您所需要的”，作者：Dan Robinson：https://www.paradigm.xyz/2024/06/priority-is-all-you-need

关于多提议者小工具和协议：https://hackmd.io/xz1UyksETR-pCsazePMAjw

VDFResearch.org：https://vdfresearch.org/

可验证的延迟函数和攻击（重点关注 RANDAO 设置，但也适用于加密内存池）：https://ethresear.ch/t/verABLE-delay-functions-and-attacks/2365

MEV 执行票证捕获和去中心化：https://www.arxiv.org/pdf/2408.11255

APS 集中化：https://arxiv.org/abs/2408.03116

多块 MEV 和包含列表：https://x.com/_charlienoyes/status/1806186662327689441

还需要做什么，需要权衡什么？

我们可以将上述所有方案视为划分参与 stake 的权限的不同方式，按照从较低规模经济（“dumb-pipe”）到较高规模经济（“专业化友好”）的范围排列。 2021 年之前，所有这些权限都捆绑在一个参与者中：

核心难题是：任何仍然掌握在利益相关者手中的有意义的权力，最终都可能成为“MEV 相关”的权力。我们希望一组高度分散的参与者拥有尽可能多的权力；这意味着（i）将大量权力交给利益相关者，以及（ii）确保利益相关者尽可能去中心化，这意味着他们几乎没有规模经济驱动的整合激励措施。这是一种难以应对的紧张局势。

一个特殊的挑战是多区块 MEV：在某些情况下，执行拍卖获胜者如果连续捕获多个槽，并且不允许在除他们控制的最后一个区块之外的区块中进行任何与 MEV 相关的交易，他们可以赚更多的钱。如果包含列表迫使他们这样做，那么他们可以尝试通过在这些时间段内根本不发布任何块来绕过它。人们可以制作无条件包含列表，如果构建器不提供，则该包含列表会直接成为块，但这使得包含列表与 MEV 相关。这里的解决方案可能涉及一些妥协，包括接受一些低程度的激励来贿赂人们将交易纳入包含列表。

我们可以如下查看FOCIL + APS。质押者继续拥有频谱左侧部分的权力，而频谱右侧部分则被拍卖给最高出价者。

BRAID 则完全不同。 “质押者”部分更大，但它分为两部分：轻质押者和重质押者。同时，由于交易是按优先费用降序排列的，因此区块顶部的选择事实上通过费用市场被拍卖，这一方案可以被视为类似于 PBS。

请注意，BRAID 的安全性在很大程度上取决于加密的内存池；否则，块顶拍卖机制很容易受到策略窃取攻击（本质上是：复制其他人的交易，交换接收者地址，并支付 0.01% 的高额费用）。这种对预包含隐私的需求也是 PBS 实施起来如此棘手的原因。

最后，FOCIL + APS 的更“激进”版本，例如。 APS 仅确定块末尾的选项如下所示：

剩下的主要任务是（i）致力于巩固各种提案并分析其后果，以及（ii）将这种分析与对以太坊社区的目标的理解结合起来，即它将容忍何种形式的中心化。每个单独的提案还需要完成一些工作，例如：

继续致力于加密内存池设计，并达到这样的程度：我们的设计既稳健又相当简单，并且似乎已经准备好纳入其中。
优化多个包含列表的设计，以确保 (i) 不会浪费数据，特别是在包含 blob 的包含列表的上下文中，以及 (ii) 对无状态验证器友好。
关于 APS 最优拍卖设计的更多工作。

此外，值得注意的是，这些不同的提议并不一定是彼此不兼容的岔路口。例如，实施 FOCIL + APS 可以轻松地作为实施 BRAID 的垫脚石。一个有效的保守策略是“观望”方法，我们首先实施一个解决方案，其中质押者的权限受到限制，大部分权限被拍卖，然后随着时间的推移，随着我们对实时网络上的MEV市场运作的了解更多，慢慢增加利益相关者的权力。

特别是，质押的中心化瓶颈是：

区块建设集中化（本节）
出于经济原因的质押中心化（下一节）
由于 32 ETH 最低限额而导致质押中心化（通过 Orbit 或其他技术解决；请参阅有关合并的帖子）
由于硬件要求而进行质押集中化（在 Verge 中通过无状态客户端和后来的 ZK-EVM 解决）

解决这四个问题中的任何一个都会增加解决其他任何一个问题的收益。

此外，块构建管道和单时隙最终设计之间存在相互作用，特别是在尝试减少时隙时间的情况下。许多区块施工管道设计最终都会增加时隙时间。许多区块构建管道在流程的多个步骤中涉及证明者的角色。因此，值得同时考虑区块构建管道和单时隙最终性。