来源 |  notes.ethereum.org 作者 | Vitalik Buterin特别感谢 Francesco 提出解决方案 2 里的核心想法，并感谢 Francesco、Justin Drake、Alex Obadia 和 Phil Daian 的反馈和评论。 区块提议者/构建者分离方案是如何运作的？在现行的交易市场里， 区块提议者 (当前是矿工，合并后是验证者) 直接通过看交易池里哪些交易支付最高的小费来选择哪些交易被打包到下一个区块。这使得区块交易者可以使用复杂的策略来选择打包哪些交易，或甚至打包他们自己的交易，以利用像 DEX 套利和清算的机会 (为了简洁，下文只称为 MEV) 来最大化他们的收益。这些策略的复杂性给运行一个有效矿工或验证者节点造成很高的固定成本，并使得代表其参与者使用这些策略的中心化池占据优势。 区块提议者/构建者分离 (PBS) 方案通过把区块构建的角色从区块提议者上分离开来解决这问题。分离出来的一类行动者叫 构建者 (buiders)，他们构建 执行区块主体 (exec block bodies) (基本上是一个有序的交易列表，这些交易会成为区块里的主要负载) 和提交出价。提议者的工作就只是接收出价最高的执行区块。值得注意的是，提议者 (和其他所有人) 直到他们选择了在竞价中胜出的区块头 (即也选择了区块主体) 后都不知道任何执行区块主体里的内容。这种 确认前的隐私 (pre-confirmation privacy) 对以防止 “MEV 窃取”是有需要的，因为懂行的提议者会发现构建者的 MEV 提取策略并复制它们而不分给构建者。 PBS 与现状相比，有哪些抗审查挑战？首先是现状，假设有一笔 150k gas 的交易，且当前的 gas 上限是 30m (目标是 15m)。经济实力强的行动者试图审查该交易。在当前的交易市场里，如果该笔交易愿意支付基本费和多于 1~2 gas 的小费，区块提议者就会愿意对其打包；平均每个区块有大约 15m 的 gas 松弛空间让他们这样做。要审查一笔发送者为打包愿意支付x的交易，攻击者需要把基本费提到高于每 gas X / 150k，并将其保持在那里。如果他们这样做了，其他用户将因费用太高而退出竞价 —— 毕竟，如果基本费高到足以让一笔重要到足以吸引有人试图进行针对性审查的交易退出，攻击者将可能必须自己支付区块中交易费最贵的交易。保守地说， 攻击者很可能必须自己支付高达每 slot (X / 150k ) * 10m = X * 66.7 ( 因此大约是每小时 x*20000 )现在，让我们来探讨一下 PBS 的情况。假设有一个区块构建者一直比其他构建者表现更好，要么因为他们说服不老练的用户运行只给他们发送交易的钱包 (“专有订单流”)，要么因为他们有更好的算法和数据访问来发现 MEV 机会。假设有一些特定 受害交易是构建者 (“审查构建者”) 试图审查的。设：
如果 P>A，非审查构建者将能够给出比审查构建者的 0 收益出价 (M + A) 高出 P – A 的出价。为了保持审查，审查构建者将必须把他们的出价提高到 M + P，并每 slot 损失 P – A 以保持出价高于非审查构建者 (还要额外牺牲每个 slot 获利 A 的机会，因此总损失是每 slot P )。这样成本仍然很高。但请注意这比每 slot X * 66.7 要便宜得多。 如果 P < A，尽管不打包受害交易，审查构建者也能赢得竞拍，虽然他们的确不得不把他们的出价提高到稍稍高于 M + P ，从而牺牲了每个 slot 的 P 收益 (审查构建者的收益变成 A – P 而不是 A)。
请注意，在两种情况里，攻击者都会因为审查而损失每 slot 的 P 收益 —— 对于仅是把一笔交易排除在链外来说，这仍然是一个巨大且持续的成本，但远不像每笔交易在费用市场中的成本那么高。 PBS 的审查经济学和出块时间上述分析的一个重要结果是，在 PBS 里，审查的成本是按每 slot 算的 (严格来说是每个区块，但为了简单，我们忽略两者的区别，因为实际上以太坊上几乎所有 slot 都有一个区块)。如果出块频率减低 10 倍，审查成本会减少 10 倍。如果出块频率增加 10 倍，审查成本就会增加 10 倍。这是反直觉的，但与上一部分的逻辑是一致的。请特别注意，现在的收费市场有点像 PBS，有 100 多个竞价同时抢一笔交易的打包位置；但是，这是一个有问题的 PBS 市场，因为它缺乏确认前的隐私保护。因此，很自然要问这样一个问题：我们能否尝试扩展 PBS，以实现快速出块，但使得那些区块是并行出现而不是按顺序的？ 抗审查方案有哪些设计目标？