ROP-9：抗审查性/FOCIL

跳转到内容

ROP-9: 抗审查性 / FOCIL

标签

协议设计

创建时间

2024年1月11日 上午5:49

难度

高级

参与者

空

阶段

ROP-9: 抗审查性 / FOCIL

ROP

ROP-9: 抗审查性 / FOCIL

状态

已匹配

介绍

此ROP包括对适用于以太坊权益证明协议的 Multiplicity 工具进行可行性研究。

摘要

Multiplicity由Duality Labs在2023年推出，作为减少单个区块提议者对其区块组成投入的一种方式。在生成区块之前，一个委员会对一组项目进行签名，并就此达成共识。该集合中的项目必须包含在后续区块中，该区块才有效。

Multiplicity与包含列表相关，其中某些参与方创建一个交易列表，只要有足够的空间，这些交易就必须包含在下一个区块中。但是，可以将包含列表视为“单领导者”机制，其中单个参与方负责它们的构建。这可能会导致贿赂或敲诈勒索攻击，如“ Fun and games with inclusion lists”中所述。

通过将构建包含集的责任分配给委员会而不是单个领导者，我们不再依赖于单个参与者的诚实或理性。就包含的项目集达成共识还可以提高责任感并允许激励计划。

相关技能

熟悉以太坊权益证明（即Gasper）和当前数据分发文献的共识研究人员。

能够指定机制架构并考虑激励兼容性问题的协议研究人员。

希望提高他们对客户端代码的了解的软件工程师（例如，EPF研究员）。

预期交付成果

我们希望获得更多关于这种机制在以太坊权益证明方面的可取性和可行性的论证。预期交付成果将提供有关以下几点的更多详细信息：

背景审查：了解当前与审查和Multiplicity相关的文献。

可行性：这种机制适用于以太坊吗？它是否可以量化地提高抗审查性或其他相关指标？该机制能否部署在当前以太坊的权益证明共识机制中，以及如何部署？

1.+2.的理想交付成果是一篇研究论文或报告（例如，ethresear.ch 帖子）。

规范：该机制被指定为对consensus-specs，consensus-api和execution-specs存储库的Pull Request。

理想的交付成果是Pull Request。

实现：该机制在你选择的客户端中作为原型实现。

理想的交付成果是一个开源存储库，其中包含客户端的一个分支，其中包含该工具的代码。

我们认为交付成果应按顺序执行，并且愿意与仅执行这些子集的团队或个人合作（例如，A团队执行1.+2.，B个人从事3.+4.）。

附加说明

Free DA 问题：直观上，这种机制容易增加Free Data Availability问题（参见“No free lunch — A new inclusion list design”），其中用户能够免费获得链上数据发布，例如通过将交易包含在Multiplicity共识集中，但最终通过包含在块中的不同的相同nonce交易使该交易无效。

激励计划：提高的责任感和可编程的协议逻辑可以允许复杂的激励计划，例如“Censorship Resistance in On-Chain Auctions”第6.2节+“Introducing Multiplicity”帖子中讨论的条件提示逻辑。

资源

Introducing Multiplicity, Duality Labs https://blog.duality.xyz/introducing-multiplicity/

No free lunch — A new inclusion list design, Mike Neuder https://ethresear.ch/t/no-free-lunch-a-new-inclusion-list-design/16389

State of research: increasing censorship resistance of transactions under proposer/builder separation (PBS), Vitalik Buterin https://notes.ethereum.org/@vbuterin/pbs_censorship_resistance

Censorship Resistance in On-Chain Auctions, Elijah Fox, Mallesh Pai, Max Resnick https://arxiv.org/abs/2301.13321

Fun and games with inclusion lists, Barnabé Monnot https://ethresear.ch/t/fun-and-games-with-inclusion-lists/16557

Current thinking for consensus, Quintus Kilbourn https://collective.flashbots.net/t/current-thinking-for-consensus/2695

Bulletin Chains (Sharded Inclusion Lists), Dan Marzec https://hackmd.io/BALXiGhqRFmYqsJICpDhYg?view

研究产品

越多，审查越少：在以太坊上引入委员会强制执行的包含集（COMIS），Thomas Thiery，Francesco d’Amato，Barnabé Monnot

匿名包含列表（anon-ILs），Thomas Thiery，Luca Zanolini，Mary Maller，Mark Simkin，Antonio Sanso

不可拥挤的包含列表：链中立性，预确认和提议者承诺之间的张力，Julian Ma，Barnabé Monnot，Thomas Thiery

分叉选择强制包含列表（FOCIL）：一种简单的基于委员会的包含列表提案，Thomas Thiery，Barnabé Monnot，Francesco d’Amato，Julian Ma

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