ROP-4：在PEPC框架中“重写”原生IP-PBS

跳到内容

ROP-4：在 PEPC 框架中“重写”原始 IP-PBS

标签

协议设计

创建时间

2022年10月17日 上午11:49

难度

高级

涉及

阶段

空

ROP

空

状态

已完成

受赠人: Diego Estevez

PEPC 框架被引入作为 PBS 的一种泛化，其中提议者能够自定义构建他们的区块验证规则，例如，运行全部或部分 PBS 拍卖等等。

我们试图在 PEPC 中编写一个原始 IP-PBS 的概念验证，其中提议者接受来自构建者的投标以构建整个区块。 特别是，我们对“端到端”实现感兴趣，尽可能多地包含细节。

投标是如何从构建者传播/接收到提议者的？

可以将投标作为 EVM 交易吗？

提议者如何在他们的区块中承诺给构建者？

承诺的构建者如何确保他们不会受到 griefed？ （例如，诚实地发布他们的区块，但没有使其成为规范链，从而支付了成本但没有赚取收入）

该机制可以扩展到部分 PBS 吗？ 包含列表？

交付成果

Diego Estevez 获得了研究上述问题的赠款。 我们在此提供指向出版物的链接以及简短的背景介绍。

一个很大的未决问题是承诺的表示形式。 Diego 发布了一个库 Emily，可以直接在 EVM 中进行承诺。 这个通用协议贯穿于其他交付成果。

为了在 PEPC 框架中编写 IP-PBS，Diego 对使用“排序器承诺”用于 rollups 产生了兴趣，这种构造比 L1 更灵活。 这促使他修改了 OP stack，并引入了排序器进行这些可信承诺的能力。

另一种方法是“在协议外执行 PEPC”，以避免对 L1 共识逻辑进行深度更改。 Diego 创新了一种依赖 DVT 来检查承诺实现情况的方法。

PEPC-DVT：无需更改共识协议的 PEPC \ 感谢 Barnabé Monnot、Xyn Sun、Cairo、Mike Neuder、William X、Pranav Garimidi 以及其他许多人为这个想法的整个开发过程提供了富有洞察力的讨论。 tl;dr：我引入了一种新颖的机制，用于在以太坊中强制执行提议者承诺，而无需更改现有的共识协议。 📚 词汇表 PEPC-DVT：代表“协议强制提议者承诺 - 分布式验证器技术”。 这是一个旨在确保以太坊中的区块提议者履行... \ \ https://ethresear.ch/t/pepc-dvt-pepc-with-no-changes-to-the-consensus-protocol/16514 \

🛡️ 使用 BLS 盲签名使 PEPC-DVT 私有化 \ TL;DR：借助 BLS 盲签名，PEPC-DVT 可以在从 DVT 网络获取签名的同时保持区块的秘密。 词汇表 分布式验证器：一个私钥被分成多个份额的验证器。 共签名者/共验证器：构成分布式验证器密钥的份额的持有者。 它们是构成验证器 DVT 网络的节点。 参考：所讨论的概念基于 Foteini Baldimitsi 关于区块链 BLS 多重签名的演示... \ \ https://ethresear.ch/t/making-pepc-dvt-private-with-bls-blinded-multi-signatures/16692 \

最后回到协议内 PEPC 的问题，Diego 扩展了 Mike Neuder 提出的 PTC 设计，使其能够让提议者对其区块内容做出具有约束力的承诺，即使这些内容是由第三方构建者构建的。 承诺的有效性由承诺满意度委员会 (CSC) 评估。

🗳️ 承诺满意度委员会：PEPC 的协议内解决方案 \ TL;DR：我们引入了承诺满意度委员会 (CSC)，这是一种协议强制提议者承诺 (PEPC) 的协议内解决方案。 感谢 Mike Neuder 开发了有效载荷及时性委员会，并感谢 Barnabé Monnot 提出了使用它们来执行提议者承诺的想法。 感谢 Terence、Thomas、Trace、Xyn、William X、Stokes、Francesco、Sam Hart 以及 Mike 和 Barnabé 的慷慨反馈。 本文档解决了以太坊基金会的稳健激励小组的... \ \ https://ethresear.ch/t/commitment-satisfaction-committees-an-in-protocol-solution-to-pepc/17055 \

• 原文链接： efdn.notion.site/ROP-4-R...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～