原文标题：《PBS:NeutralizingtheDarkForest》
作者：pseudotheos
编译：DeFi?之道
Domothy和我合著了这篇文章。PBS仍然是一个活跃的研究领域，但这篇综合性文章旨在汇总迄今为止的研究进展以及研究方向。
在现有架构中，区块提议者选择存储池中的交易来构建区块。在以太坊上，这些由验证者组成，它们同时运行共识客户端和执行客户端。从理论上讲，区块构建者会选择支付最高费用的交易——但这不是一个严格的要求。因为一个区块构建者可以完全控制tx排序和包含，因此区块构建者可以运行复杂的MEV策略。MEV在任何有活动的地方都是非常普遍的，因此，以太坊是最赚钱的MEV战场，迄今为止已被提取超过6.75亿美元。
数据来源：TokenTerminal
一、MEV快速入门
从技术上讲，以太坊交易只是一系列字节。因此，创建和发送它所涉及的成本可以忽略不计。一个很好的例子是链上套利。当同一资产在交易所之间定价不同时，就会为价值提取创造机会。从这笔交易中赚到的任何钱，然后减去gas费，基本上就是从区块链上的经济活动中提取的利润。
CremaFinance：找到了黑客在黑客事件中使用的可疑discord账户:金色财经报道，CremaFinance在社交媒体上称，根据合作伙伴提供的线索，我们找到了黑客在黑客事件中使用的可疑discord账户。我们正在与有关方面接触，以获得更多可能有助于侦查的信息。
金色财经此前报道，CremaFinance被黑客攻击损失约880万美元。[2022/7/4 1:50:09]
但是，这里有一个问题：由于区块链的透明性，任何拥有节点的人都可以识别并提交相同的交易。无论有多少人发送他们的交易，都只会有一个赢家：即提交的交易被确认的人。正如你可能想象的那样，这极大地有利于决定哪些交易进入下一个区块，以及以什么顺序进行的人，他们可以简单地利用这些交易！
此示例说明了所谓的“MEV机会”。鉴于等待确认的待处理交易列表，以及以太坊当前的全局状态，存在特定的交易顺序，可以让区块构建者从生态系统中提取最大价值。大多数时候，MEV机会更复杂，需要以正确的顺序进行多次交易，但原理是一样的：区块构建者具有巨大的优势。
二、MEV发展之路
几年前，当以太坊仍然受到工作量证明的保护时，MEV的概念主要是理论上的。相反，交易很简单：“这就是我想做的事情，这是我愿意给矿工的钱，让他们把它纳入下一个区块。”
养老金账户平台IRA因黑客事件对Gemini交易所提起诉讼:6月7日消息，养老金账户平台IRA Financial Trust对加密货币交易所Gemini提起诉讼，原因是Gemini没有适当的保护措施来保护客户的加密资产。据此前报道，2月8日IRA Financial Trust称遭到黑客攻击，导致3600万美元的加密货币被盗，这些资产属于Gemini保管的客户退休账户。在IRA通知Gemini后，犯罪分子仍然可以将资金从交易所客户的账户中转移出去。
据悉，自事件曝光以来，两家公司一直在互相指责对方为资金损失负责。IRA基金一直在努力为其受影响的客户寻找解决方案，现在已承诺使用诉讼所得赔偿受事件影响的客户。（watcher.guru）[2022/6/7 4:08:17]
矿工将简单地查看待处理交易列表，按最高费用排序，并将尽可能多的交易放入一个区块中。而交易本身的复杂性无关紧要。这满足了一些公平的概念：每个矿工将运行相同的代码，遵循相同的规则，并赚取相同数量的钱。
但简而言之，这无法持久。?金融激励滋生竞争，提供最多包容性的MEV交易获胜，因为矿工也受到经济激励来选择最有利可图的交易。在这些情况下，矿工是获利最多的人，他们甚至不用玩什么游戏。如果有足够的竞争，利润总是趋向于矿工的。
短期：gas战争
法官裁定推特黑客事件策划者Graham Clark的保释金仍为75万美元:美国佛罗里达州希尔斯堡县法院昨日通过Zoom举行了针对推特黑客事件策划者、17岁少年Graham Ivan Clark的线上听证会。然而，一些假装为CNN、BBC记者的Zoom用户进入了听证频道，通过发送大量带有信息的图片、视频、电影对话和音乐干扰了听证会的正常进行。
希尔斯堡县法官Christopher Nash曾一度被迫暂停了听证会，但恶作剧者们却仍被允许继续聊天，并未受到被阻止。最终，Nash还是做出了关于Clark的裁决，将该少年的保释金维持在75万美元，Clark仍被拘留。（RT）[2020/8/7]
第一个后果很快就显现出来了。每笔MEV交易，无论成功与否，仍然包含在链上的尝试。这浪费了大量以太坊本已有限的区块空间，导致费用高得令人难以置信。
数据来源：Etherscan
中期：共识的中心化
当矿工意识到他们作为区块构建者所具备的权力时，一股新的中心化力量出现了。无论出价如何，区块构建者都可以保证包含他们的MEV交易。
注意：在EIP-1559之后，区块构建者仍然需要支付基础费用。
新的策略是让区块构建者积极监控链，以寻找MEV机会直接利用自己的权力。很容易看出为什么这是一个强大的中心化向量，独立于共识机制：更频繁地创建区块将导致更多的MEV提取。但不幸的是，由于规模经济的原因，随着时间的推移，MEV通过加强提取打破了公平的指导理念。
黑客事件发生前几周 推特曾加紧寻求新任首席信息安全官:消息人士透露，在周三的黑客事件发生的前几周，推特曾试图加快新任首席信息安全官的招募工作。据悉，自2018年5月Michael Coates离职后，摩根大通前高管Joe Camilleri临时接替了信息安全领导工作，但直至今日，该公司一直没有一名常任的首席信息安全官。（纽约邮报）[2020/7/17]
长期：错位的激励措施
这种中心化导致了二阶后果：除了在一个区块中对交易进行排序之外，区块构建者还可以选择按预期添加他们的区块或将区块链回滚几个区块，以有效地从最近的交易中“窃取”所有MEV机会。在某些极端情况下，窃取前一个区块的MEV可能是更有利可图的选择，这很容易导致不稳定的区块链不断分裂成更小的分叉?，从而导致更长的结算时间。
值得庆幸的是，最后一个问题从未在基础层上实现。然而，依靠少数杰出的行为者善意地反对强大的经济激励，并不是以太坊所追求的弹性水平。在足够长的时间范围内，如果完全不加以控制，MEV将对以太坊构成生存威胁。
三、潜在的解决方案
关于MEV，目前已经有了许多减轻上述后果的提议，它仍然是一个开放的研究领域。一些潜在的解决方案包括：
1、强制按费用排序区块
结果：
(1)回到gas战争;
(2)由于缺乏存储池共识，验证者可以忽略不方便的交易；
2、强制包含交易的随机顺序
声音 | 以太坊基金会安全负责人：不认为EIP 615提案会带来更好的EVM:据CoinDesk消息，在本周五（4月12日）的双周会议上，以太坊基金会安全负责人Martin Hoste Swende提到，提议的EIP 615将需要至少两个硬分叉才能完全执行，并且在执行后一个硬分叉之前，对EVM实际代码计算“产生的积极速度影响”将不会明显。 Swende表示，“这是我对EIP的主要担忧，它需要做很多工作，但我不认为它会带来一个更好的EVM。对于外部工具来说，这可能更好，比如你正在对智能合同的安全属性进行逆向分析。” 据悉，EIP 615是被考虑纳入伊斯坦布尔硬分叉的五个提案之一，旨在对以太坊虚拟机（EVM）进行改进。EIP 615的作者Greg Colvin、Brooklyn Zelenka、Pawel Bylic和Christina Reitwiessner写道，“EVM的设计使得低Gas成本、高性能的执行变得困难，我们提议通过加强安全保障和提高EVM的性能极限来解决这些问题。”[2019/4/13]
开放式问题：谁来决定什么是随机的？
结果：
回到gas战争；
增加了交易共识的延迟；
除了他们的MEV交易之外，验证者可以人为地保持区块为空，这会导致糟糕的体验。
3、加密存储池
结果：
减少有的MEV；
需要增加验证者的诚实假设；
增加延迟；增加复杂性；
增加抗审查性；
验证者自我包含的MEV不受影响
研究者们正在探索更多潜在的解决方案，包括密码学方法和加密经济学方法。“解决MEV”作为一个整体是不可能的。任何障碍都会导致更深奥的MEV提取，从而加剧中心化。令人惊讶的是，下一个最好的事情是接受MEV是不可避免的，并且无论我们喜欢与否，它都将永远是一个中心化的向量。
四、区块构建市场
解决方案是通过将提出区块的过程与构建它的过程分开，因此命名为Proposer-BuilderSeparation。“区块提议者”的想法已经存在于以太坊的PoS设计中。每12秒，就会选出一个验证者作为区块提议者。区块的构建方式无关紧要。验证者的预期工作是将其提议给网络的其余部分，而其他每个验证者的工作是验证它以确保它不会违反任何规则。
PBS的总体思路是，区块构建者将竞争并向负责提议区块的任何验证者提交竞标。这个验证者唯一需要做的就是提议出价最高的区块。
使用PBS，高度对抗的MEV战场被小心地隔离到区块构建发生的地方。此外，拍卖系统允许所有验证者轻松地从区块构建者发现的MEV机会中受益，无论规模如何。
放弃并将整个事情变成一场大型拍卖，而不真正尝试修复MEV本身，这似乎不是我们想要看到的。然而，MEV实在是太有利可图了，不能将其视为一些罕见的边缘案例。如果我们不直接在协议中规定这样的拍卖，它仍然会以某种形式存在，除了它将是带外的、不透明的并且受制于前面提到的中心化力量。如果不加以控制，很容易看出私人区块构建拍卖会是什么样子，以及它们可能对区块链的去中心化和可信中立性造成的所有损害。
有了PBS，我们反而受益于这种不可避免的经济现实——我们可以围绕这样的市场应该是什么样子来设计规则，并消除我们不喜欢的部分。我们可以使其公平、透明且易于每个验证者访问。
理想的区块构建市场
理想的市场应该是什么样的？
1、中立
区块提议者不应该有动机偏爱某些区块构建者；
区块构建者应该没有动机偏爱某些区块提议者；
2、最小的区块提议者开销
低硬件要求允许市场上有更多的区块提议者；
3、捆绑安全
区块提议者不应该能够拦截已构建的区块，并用MEV交易代替他们自己的交易；
4、共识的简单性
由区块构建市场构建的区块，不需要对共识层进行重大更改。
现有的区块构建市场
在协议中直接实现PBS会很复杂，这需要一些时间。与此同时，为了实现相同的目标，出现了一些协议外的解决方案，但它们有一些细微的权衡。虽然没有正式写入协议，但协议外的实现允许更高程度的实验，并为最终实现提供了一个极好的测试平台。Flashbots创建了一个区块构建市场，其中包含了全捆绑或无捆绑以及有条件付款。
他们的工具包括：
1、MEV-Geth
不利于客户端多样性
仅在合并前工作
2、MEV-Boost
与客户端无关，解决了先前实现的问题
验证者不能操作区块
但协议外市场仍然有一些缺点：
中继者仍然需要信任
审查问题
图片来自：JonCharbonneau以及?DelphiDigital?
五、剩下的问题
适当的PBS设计仍然是一个活跃的研究领域。我们有指导原则，但最终实施并非易事。
1、区块构建者中心化
区块构建者中心化比区块提议者中心化危害小，但仍然不理想。因此，我们正在进行研究以最终创建一个去中心化的区块构建者网络，希望它可以胜过集中的实体。
2、审查问题
实施crLists仍然允许审查，但在竞争激烈的市场中，长期交易审查变得过于昂贵，需要区块构建者填充区块。如果区块构建者没有填满区块，空间就会被区块提议者选择的交易填满。这种增加的防御，大大减少了极端区块构建者集中化带来的生存威胁。加密存储池还可以同时解决审查问题和有的MEV，但需要底层协议方面的升级。
3、高MEV差异
即使收益通过PBS民主化，区块提议者的运气仍然是汇集质押?ETH??的激励因素。一个实体拥有的验证器越多，其就越有可能提出区块并获得MEV奖励。在核心协议中实施MEV平滑，使我们能够达到理想的公平场景，其中Staking质押奖励与质押的数量成正比，因为MEV奖励将被汇总并平均支付给验证者。此外，如果以最佳方式实施协议内MEV平滑，将减少规避协议内PBS设计的动机。
4、正式规范
PBS领域有许多重要的研究计划，但明显缺乏关于激励或经济学的正式分析。此外，研究空间正在迅速变化，在我们到达分析和实施阶段之前，不可避免地会有更多的发展。
六、结论
在过去的几年中，MEV和协议研究发生了很多事情，而且我们对它的了解越多，这个主题就越广泛。尽管我们仍有悬而未决的问题，但我们正在通往去中心化、高弹性、中立的全球网络的道路上。如果你想更深入地了解，Domothy在此处整理了一份供进一步阅读的清单。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。