PEPC 常见问题解答
- efdn__
- 发布于 2025-02-25 21:44
- 阅读 121
PEPC（Protocol-Enforced Proposer Commitments）是一种协议强制执行的提议者承诺机制，旨在允许验证者对他们产生的区块进行具有约束力的承诺。文章探讨了PEPC的原理、用途、状态、工作方式、用例，以及与Eigenlayer、SUAVE、ABCI++、MEV捕获等相关技术的联系，并提出了Out-of-Protocol PEPC的方案，最后指出了未来的工作方向。
PEPC 常见问题
类别
笔记
参与者
📍 项目
🗺️ 区域
空
✅ 任务
空
URL
空
创建时间
2023年7月28日上午9:14
PEPC 与 mev 捕获有何关系？ (mev-burn 或 mev-smoothing)
我们可以进行“协议外 PEPC”吗？ (PEPC-Boost)
什么是 PEPC？
PEPC（发音为“pepsi”）代表协议强制执行的提议者承诺（Protocol-Enforced Proposer Commitments）。PEPC 最初是在 2022 年 10 月 Devcon 6 之前发表的文章“Unbundling PBS”中提出的。它旨在作为一个已确立的协议小工具，允许验证者（“提议者”）对其生产的区块进行具有约束力的承诺。
\
https://ethresear.ch/t/unbundling-pbs-towards-protocol-enforced-proposer-commitments-pepc/13879?u=barnabe
\
PEPC 最简单的思维模型是作为 PBS 的一种概括。今天，验证者绝大多数将其区块的构建委托给称为“构建者”的专业方。这种委托是通过 MEV-Boost 市场以协议外的方式运作的，在其中，受信任的中继保证了构建者项目（完整区块）与提议者签名之间的公平交换，没有提议者签名，构建者项目仍然无效。
ePBS 旨在确立某种提议者/构建者分离模型 (PBS) 在以太坊协议中，通过将公平交换确立在协议规则中。以太坊验证者将负责确保构建者区块交付与提议者签名之间的原子性。这种原子性对于保护提议者和构建者都至关重要。
ePBS 设想强制执行构建者和提议者之间的一种交换类型，例如，一个包含对提议者的付款的完整区块，以换取提议者的签名以使区块有效。许多类型的交换都是可能的，但 ePBS 最终只会将其中一种交换作为所有提议者的全局设置来确立。与此同时，PEPC 提出了一个问题：如果提议者能够与构建者签订任何可编程的合同呢？这包括一系列区块构建原语，例如部分区块、对排序的承诺以及许多其他分割区块构建的方式，详见下文的 PEPC 用例。
为什么这有用？
在协议内确立机制是可取的，以将机制的可信度提升到第三方参与者（例如中继）之上。通过确立，以太坊社区隐式地承诺通过其对执行该协议的验证者的控制来捍卫该机制。确立还可以提供对协议的额外自省，协议会意识到在其环境中执行的某些操作。
像协议一样看待
\
协议的可信度来自哪里？
\
\
https://barnabe.substack.com/p/seeing-like-a-protocol
\
权衡：确立任何东西都会锁定某些结果，从各种角度来看（政治、经济、技术……）这可能被证明是次优的。为了探索这种权衡，我们提出了 PBS 的不同视角，将 PBS 分为两层：
市场结构：验证者与外部方（“构建者”）达成协议，并且有一个法律体系（共识规则）来保证它们之间的公平交换。
分配机制：验证者和构建者达成的协议的具体形式。
Devcon 6 上关于 PBS 两层的演示
今天，这两层都没有在协议中确立。构建者 API 是所有共识层客户端中的一个模块，允许提议者向构建者提供他们的签名，但此模块不是以太坊共识规则的一部分，构建者的抽象也从未在那里实例化。另一方面，ePBS 既确立了市场结构，在以太坊的共识规则中实例化了“提议者”和“构建者”抽象，又确立了一种特定的分配机制，例如，完整的区块换取签名。
PEPC 位于中间，认识到区块构建和区块验证之间复杂性的根本不对称性意味着市场结构是合理的，但没有确立规范提议者和构建者之间合约的特定分配机制。
PEPC 的状态是什么？
PEPC 仍然处于研究阶段。自从发表“Unbundling PBS”一文以来，PEPC 一直是与合作者讨论的主题。在我看来，它引发了关于 ePBS 的一些风险和更大的设计空间的有益讨论，但它也未能形成具体的设计。目前的工作旨在弥合这一差距，但对于 PEPC 在其完全通用性中的可行性和我们使用它的意愿仍然存在疑问。
在可行性方面，已经明确的是，PEPC 需要与 ePBS 相同的研究，才能从共识的角度创建一个安全的机制，即一个具有抗重组和抗恶意攻击能力的机制，因此花费了资源来考虑 PBS 设计。这一点更为关键，因为 PEPC 可能需要支持多次交付，例如，两个部分构建者交付两个部分区块（见下文）。
关于意愿，虽然可能存在来自无限承诺能力的尾部风险，但也可以逐步部署 PEPC，从“ePBS 的 PEPC 化实现”开始，并随着时间的推移根据需要添加更多功能。
实际上，这看起来像是为提议者包含一个通用的“Hook”以包括额外的区块有效性条件，但最初限制Hook仅允许对构建者做出承诺以构建整个区块。这与 ePBS 将对完整区块构建的承诺直接确立到共识逻辑中的方法不同。
提议者Hook的功能图
总的来说，围绕 PEPC 功能的所有说法都应该隐式地附加“假设这有用并且完全有效”。它定期重新出现在对话中，而没有太多关于其进展的消息，这至少表明人们倾向于重新评估提议者在区块构建过程中的作用，因此，虽然它可能永远不会在其完全通用性中部署在协议中，但看看该线程会走向何方仍然是有意义的。我们在下一个问题中提供了关于 PEPC 架构的更多详细信息，希望这可以令人信服地证明它可以被制造出来。
它将如何工作？
这不是一个精确的规范，但最好的思维模型与 PBS 的双Slot设计 类似：
承诺阶段：提议者创建一个包含以下内容的承诺区块
共识数据：证明和其他信标区块属性。
提议者承诺 (PC)：区块提议者做出的承诺的表示。如何编写它们仍然是一个很大的讨论话题（见下面的问题）。
有效负载模板：执行有效负载的形状，带有预期构建者项目的占位符。
揭示阶段：构建者项目被揭示，并映射到区块中的占位符，如果它们满足 PC 的有效性。
以完整区块 PBS 为例，构建者向提议者传达具有特定哈希的某些执行有效负载的可用性，仅揭示哈希和一些出价。提议者承诺使用具有特定哈希的某些执行有效负载。在揭示阶段，先前传达此类有效负载可用性的构建者揭示整个有效负载，填充提议者在承诺阶段留下的占位符。
虽然完整区块 PBS 是一个例子，但提议者可以决定在块顶拍卖和块剩余拍卖之间分割他们的区块，从而可能减轻来自同一区块中 CEX/DEX 套利和 OFA 的 中心化问题（也在 我们可以进行“协议外 PEPC”吗？ (PEPC-Boost) 中讨论过）。以下示例显示了这一点：
“双Slot PEPC”的示例，其中提议者承诺使用来自两个构建者 A 和 B 的部分区块。
PEPC 的用例是什么？
我们在此收集了一些 PEPC 可能提供的用例：
完整区块拍卖：这等同于 ePBS 的当前设计。
部分区块拍卖：提议者可以制作区块的一部分，而构建者可以制作另一部分，使用 Vitalik 的 ethresear.ch 帖子 中的任何设计。
并行区块拍卖：提议者可以分割区块空间，将各个部分拍卖给各个构建者。请注意，此构造未指定必须运行哪种类型的拍卖，即，提议者可以选择为他们提供的 NNN 个部分区块中的每一个运行 NNN 个单独的拍卖，或者运行组合拍卖，其中构建者可以对部分区块的捆绑进行竞标。提议者仍然可以自由选择他们所需的分配机制。
Slot与区块拍卖：在所有这些设计中，提议者都可以事先承诺一些特定的构建者区块内容，方法是承诺仅使用哈希到某些特定值的构建者（部分）区块，声明“我期望来自构建者 BBB 的（部分）区块，哈希值为 hhh”。提议者也可以选择承诺构建者，而不承诺构建者区块的内容，声明“我期望来自构建者 BBB 的（部分）区块”。有关更多背景信息，另请参阅 Julian 关于区块与Slot拍卖的帖子。
未来Slot拍卖：这通常是一个有争议的话题，因此提议者是否总是提前知道还有待观察，但今天，验证者可以查找当前 epoch 和下一个 epoch 的提议者时间表。如果提议者能够提前注册他们使用来自特定构建者的（部分）区块的承诺，他们也可以提前出售此权利，类似于区块空间期货。
包含列表：包含列表不需要 PEPC 被确立，但提议者Hook可以提供做出等同于包含列表的承诺的能力。前向包含列表（绑定下一个提议者而不是当前提议者）需要特殊的协议许可，赋予当前提议者做出绑定下一个提议者的承诺的能力。
未来协议升级：很明显，构建者将有望履行越来越多的职责，从 Danksharding 数据到 Verkle tries 中的见证到已确立的 zkEVM 的有效性证明。为来自第三方的共识关键项目提供一种面向未来的通用方案可能是有价值的。
PEPC 与 Eigenlayer 有何关系？
在最初的帖子“Unbundling PBS”中，PEPC 是迭代提出的，从反映 Eigenlayer 对以太坊共识层的承诺的问题开始。更准确地说，当验证者进入 Eigenlayer 的承诺时，Eigenlayer 会跟踪验证者的“虚拟余额”，最初等于验证者在以太坊权益证明中存入的总权益。当验证者未能充分地在 Eigenlayer 上执行服务时，他们的虚拟余额会减少（“被削减”），但以太坊 PoS 系统仍然认为存入的全部金额目前处于风险之中。这种不一致引发了人们的担忧，原因有很多，包括 PoS 系统比实际更安全的错误认知，以及虚拟削减的验证者仍然可以从他们的权益中获得全部奖励的可能性。EIP-7002 解决了大部分这些问题，该协议允许智能合约执行共识层更新，例如向共识层传递验证者在 Eigenlayer 上被虚拟削减的信息，从而使他们的虚拟余额与其真实的共识层余额保持一致。
“Unbundling PBS”帖子表达的更大担忧是 Eigenlayer 提供的安全性的经济约束：如果重新抵押的验证者的风险价值为 X，那么如果存在偏离的机会使验证者获利超过 X，则该系统在经济上是不安全的。虽然没有免费的午餐，并且验证者权益不能简单地“无限地”复制以保护无限量的价值，但“Unbundling PBS”得出结论，对于特定的验证者承诺，可以严格地比 Eigenlayer 更好。
为了理解哪些提议者承诺可以通过 PEPC 增强，考虑 Sreeram Kannan（Eigenlayer 创始人）在最近的 Bell Curve 播客节目中表达的 Eigenlayer 的用例是有用的。
\
https://blockworks.co/podcast/bellcurve/3c07eaba-2aca-11ee-a06f-8be44501cf72
\
根据 Sreeram 的说法，Eigenlayer 存在三种类型的用例 (时间戳 26:25)：
经济用例：Actively Validated Service (AVS，由验证者通过 Eigenlayer 提供的服务) 的用户关心存在一定数量的风险，如果承诺被违背，这些风险可能会被削减。
去中心化用例：AVS 的用户关心许多独立的参与者参与提供服务。一个典型的例子是任何多方计算方案，其中参与者之间的勾结会破坏正确执行的保证，例如，使他们有权解密阈值加密情况下的输入。
区块生产用例 (时间戳 40:10)：充当区块生产者的验证者可以对其区块的内容做出可信的承诺。
显然，PEPC 特别适合第三种用例，将提议者承诺的失败模式从乐观设置（提议者可以违背其承诺，但会受到经济惩罚）转移到悲观设置（协议不会允许提议者违背其承诺，如果它不满足承诺，则使区块无效）。PEPC 是否可以支持或改进“经济”或“去中心化”用例仍然是一个悬而未决的问题。
PEPC 概括了一些 PBS 构造，并为特定的 Eigenlayer 用例提供了更高的安全性。
附注：Mike 和 Myles 在本集结尾附近（大约 1:44:10）开始了关于 PEPC 的讨论。
PEPC 与 SUAVE 有何关系？
SUAVE 是由 Flashbots 领导的一个项目，在这种情况下，最好将其理解为去中心化的构建者。SUAVE 接收用户偏好，并输出将在不仅限于以太坊的各种域上提出的区块。在用户输入和区块输出之间，各种参与者使用可编程隐私（以及其他方法）进行部分构建，以最大程度地提高用户福利并限制运营商的负面提取。
PEPC 通过提供在区块构建之前做出（更）可信承诺的可能性来补充 SUAVE，即在区块生成之前以不可侵犯的方式承诺区块规范。虽然预计 SUAVE 的区块时间比以太坊更快，从而允许 快速游戏 的出现（从以太坊的角度来看）在 SUAVE 上进行，但可能希望以某种承诺速度来换取承诺可信度。另请参阅 [SUAVE+PEPC] Reply to Xyn 以获取有关这些想法的更多讨论。
另一种看待这个问题的方式是从验证者作为协议作为 gas 供应商和用户作为 gas 需求之间的做市商的角度来看。使用 PEPC，验证者本身可以通过在将区块空间卖回给用户之前分割区块空间的使用来丰富 gas 的供应，而先前的丰富化使区块空间更有价值。
PEPC 与 ABCI++ 有何关系？
Cosmos 研究人员长期以来一直在讨论链的应用程序逻辑与底层共识机制之间的相互作用。使用 ABCI++，最初由 Dev Ohja 和 Sunny Aggarwal 设计，可以向区块的构造添加补充步骤，这些步骤需要在区块被认为是有效之前满足，并具有来自应用程序逻辑的输入。例如，投票扩展使链的验证者可以在下一个区块的构造之前输入他们对某些对象（例如，拍卖的出价、部分区块、预言机消息、mempool 内容）的看法。然后，下一个区块可以使用投票验证者报告的信号来调节其构造。
x/builder，Skip 的一个提案，利用 ABCI++ 来开发基础设施，供应用程序表达关于区块构造的自以为是的偏好。构建者对这些偏好进行编码，并且必须满足它们才能提供有效的区块，例如，它必须在构建区块之抢跑一个拍卖以分配块顶事务。
虽然 x/builder 作为它构建的链的模块部署，为链的所有区块全局设置区块构造偏好，但 PEPC 是由区块提议者做出的本地决策系统，即，单个区块提议者可以自由地决定其自己的区块的自己的承诺。许多以太坊组件的非自以为是的性质可能会阻止或降低 x/builder 等全局设置的吸引力。例如，在以太坊中，可以将许多事务隐藏为单个“块顶” (元) 事务，而某些给定的 Cosmos appchain 的应用程序逻辑会将块顶分配限制为某种链特定的事务类型 (请参阅 我们可以进行“协议外 PEPC”吗？ (PEPC-Boost) 中的更多讨论）)。
这是 Eth 的 ABCI++ 吗？
PEPC 与 mev 捕获有何关系？ (mev-burn 或 mev-smoothing)
在 ePBS 研究的更大背景下理解 PEPC 是有价值的。特别是，我们必须问 PEPC 将如何与与 ePBS 相关的其他升级（例如 mev 捕获）相结合。
Mike Neuder 在 pbs.day 的 ePBS 组件映射
我们在此提供了一个可能的方案，以使 mev 捕获与 PEPC 一起工作。mev 捕获所需的是一个共识出价，即从无需许可的拍卖中获得的执行有效负载对提议者的收入的客观价值。但是，当 PEPC 为区块空间分配实例化多个并行拍卖时，应该如何运行此拍卖？每个拍卖是否应发出部分共识出价的信号，最终价值是通过将所有部分共识出价加在一起得出的？这似乎笨拙且不具通用性。
诀窍是使用 Domothy 的并行提议者想法。每个Slot选择 16 个提议者来创建一个承诺区块。除了他们的承诺区块之外，提议者还指定一个他们愿意转发给协议的值。证明者选择最高的提议者出价，并且该提议者的承诺区块由分叉选择决定，之后，承诺的构建者继续进行揭示阶段（如果提议者期望多个部分区块，则可能有多个构建者）。此技巧巧妙地避免了协议接收到提议者做出的每项承诺的单个价值信号，而是责成提议者可信地表明他们期望从其区块收到的总价值。
请注意，为了避免提议者也将其共识奖励转发给协议，在争夺获得构建区块权利的竞赛中，我们应该将使用共识数据构建信标区块的职责与构建执行有效负载的职责分开，即，朝着在三个阶段中构建的Slot发展：信标区块、承诺区块、揭示阶段。
我们可以进行“协议外 PEPC”吗？ (PEPC-Boost)
有没有办法在不确立 PEPC 的情况下尝试 PEPC 类型的分配机制，例如 PEPC-Boost？中继可以合成 PEPC 的版本吗，还是需要与 MEV-Boost 完全不同的架构？
我们在此提出了 PEPC-Boost 的草案规范，无需对 MEV-Boost 进行任何更改。此实现实例化了一个并行区块拍卖，将区块在块顶Slot和块剩余Slot之间分割，类似于上面它将如何工作？部分中描述的示例。目的是将 CEX/DEX 套利与区块的其余部分分开，并通过将整个区块拍卖取消捆绑到两个单独的“通道”中来增加由此产生的系统的竞争力/减少中心化力量。
这是该系统的简单规范：
一个新的中继（称为 PEPC-Boost）打开。PEPC-Boost 具有两个构建者端点：
TOB
端点（块顶）：接受单个事务以及出价
ROB
端点（块剩余）：接受事务列表以及出价 PEPC-Boost 中继构建一个区块，该区块包含从 TOB 终端收到的最佳 bid 和从 ROB 终端收到的最佳 bid。该区块由中继（目前充当 builder）签名，区块头连同等于以下数值的 bid 一起发送给 proposer
TOB bid + ROB bid
显然，这种未明确的指定方式效率太低。构建在 ROB 部分之上的 bundles 可能会与 TOB 交易发生冲突的状态访问，如果整个区块由单个逻辑实体（builder）构建，则不会发生这种情况。此外，搜索者可能会通过将多个意图打包到单个 meta-transaction 中来篡改 TOB 收到的“单个交易”的语义，从而夸大其 TOB bid 的价值。
首先，PEPC-Boost 中继可以指定它只接受 Univ3 上 ETH/USDC 池的单笔 swap（据说是外部价格变动导致套利最多的池，即最多的 LVR）。然后，ROB builders 可以构建，因为他们知道不应包含通常在区块顶部进行 CEX/DEX 交易的套利者的交易。此外，TOB 交易 slot 也无法被 meta-transaction 篡改。
然后，可以使用更多交易 slot 扩展 TOB slot，例如，TOB slot 有三个虚拟 slot，每个 slot 对应三个套利最多的池之一，PEPC-Boost 中继用它收到的每个池的最佳 bid 填充每个 slot。中继可以公开一个 endpoint，该 endpoint 返回哪些 slot 存在于哪些池中，并动态更新此 endpoint。
还有哪些工作要做？
ROP-4：在 PEPC 框架中“重写” vanilla IP-PBS 正在进行中，贡献者 Diego 正在探索设计空间和规范。
对 PEPC 的用例及其作为承诺的表示进行额外研究将很有价值。承诺是否“存在”于与以太坊执行层不同的状态中？它们可以用 EVM 指令表示吗？等等。
PEPC-Boost 的实现，考虑使用 乐观中继 的选项。
更多用例，例如，在 proposer 承诺特定的排序。
非常感谢 Diego Estevez、Thomas Thiery、Terence Tsao、Julian Ma、Davide Crapis、Mike Ippolito、Alex Stokes、Mike Neuder、Quintus Kilbourn、Sam Hart、Xyn、Sreeram Kannan、Hasu 和 Anders Elowsson 的评论和讨论。
Twitter Widget Iframe
- 原文链接： efdn.notion.site/PEPC-FA...
- 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～
