由 Michael 共同撰写，并有来自 Gattaca 的 Kubi 和 George。特别感谢 Alex, Max, 以及 Jason 提供的讨论和建议。反馈不一定代表认可。
介绍
本文介绍了多中继包含列表(mrIL)，这是一种让中继以最小的开销收敛于单个共享包含列表的方法。这通过减少任何单个中继对包含列表内容可能行使的自由裁量权来增强以太坊的抗审查性。
中继有动机选择采用这种设计，因为它降低了构建者在向具有不同 rIL 的各个中继交付区块时产生的边际成本。 这反映为接收构建者区块的更高可能性，并允许低市场份额的中继保持竞争力。
所提出的协议可以很容易地扩展到收敛于任何已签名的提议者承诺的共享列表，通过允许每个中继以更知情的方式强制执行区块合规性，从而最大限度地降低此类承诺（如预确认）的削减风险。
这提高了提议者承诺的风险调整回报，这可能会导致额外的提议者选择加入，并最终可能会降低向用户收取的风险溢价。
本文是我们之前关于中继包含列表工作的扩展，并且是对中继区块合并的补充。 结合起来，这些组件提高了区块价值，并为内存池和私有交易分别提供了额外的抗审查性。
实现和交易流程
由于中继有动力收敛于一个共享的包含列表，因此无需多轮通信的精简实现是可行的：
- 每个中继 r_iri 为当前插槽构建一个本地包含列表 L_iLi，并通过
get_local_il() 端点公开它。
- 中继从 peer 中拉取 L_1,...,L_nL1,...,Ln，并对于每个观察到的交易 tt，计算它出现在多少个列表中:
f(t) = \#\{j \in \{1,\dots,n\} \mid t\in L_j\}
- 每个中继通过按照交易的频率降序排列交易，直到达到最大字节大小，来构建候选的共享列表 S_iSi。如果频率相同，则通过交易哈希按字典顺序打破平局。
\text{Order: }t_1,\dots,t_n \text{ sorted by } f(t) \text{ descending, then hash}(t) \\
S_i = \{t_1, \dots, t_k\} \text{ where } k = \max\{j : \sum_{m=1}^j \text{bytes}(t_m) \leq 8\text{KB}\}
- 每个中继通过
get_shared_il() 端点公开其提议的共享包含列表 S_iSi。
- 中继轮询 peer 并确定模态共享包含列表 SS。 如果出现平局，则通过最大化包含列表的字节大小来打破平局，并使用包含列表哈希的字典排序作为备用键。
S = \text{most frequent } S' \text{ among } \{S_1, \dots, S_n\} \\
\text{Tie-breaking: Maximize } \sum_{t \in S'} \text{bytes}(t), \text{ then hash}(S')
应用和激励
该协议允许在没有明确共识的情况下导出共享的包含列表。由于中继寻求最大化它们收到的有竞争力的区块的数量，因此它们有动力收敛于一个共享的包含列表，以最大限度地降低构建者在提交区块时产生的边际成本。
任何单个中继对共享包含列表的自由裁量权仅限于包含投票，换句话说，除了未能采用共享包含列表之外，单个中继无法审查共享包含列表的内容。
该协议的故障模式对应于中继未能收敛于共享包含列表的情况。这应该被步骤 5 中描述的确定性平局决胜程序所排除。最坏的情况对应于每个中继都持有不同的本地包含列表，这等同于现有本地包含列表实现中的基本情况。在这种情况下，构建者将自行决定是为包含列表的联合构建，还是仅交付给特定的中继。
与多个并发提议者之类的设计相比，中继在本地构建标准大小的列表，并且对交易频率执行截断以确保统一应用包含规则。 这确保了即使单个中继未能交付本地列表，也可以构建完整的共享包含列表。
总之，一个基本的协议足以让中继收敛于一个共享的包含列表，因为这在集体上是有利的。 构建竞争性本地列表（例如，更精简的列表）不会获得额外的价值； 在这种情况下，中继最好完全选择退出 rIL。
一个简单的扩展：共享提议者承诺
该机制可以扩展到允许中继共享提议者承诺。 具体来说，每个中继都会公开文件中已签名的提议者约束，然后这些约束可能会被 peer 镜像。 这降低了提议者的削减事件风险； 共享提议者约束的中继改善了提议者的风险调整回报。
在实践中，这可以通过以下顺序步骤有效地完成：
- 每个中继 r_iri 按照 Fabric 标准 中定义的标准程序从提议者或指定的网关获取提议者承诺。
- 每个中继都会组成它观察到的
SignedCommitment 对象数组，并通过 get_proposer_commitments() 端点公开它。
- 中继轮询 peer 并将任何新观察到的
SignedCommitment 添加到其区块约束验证过程中，如果这些承诺已正确签名。
这个过程与激励相容，因为中继在插槽拍卖期间继续在延迟方面展开竞争，同时降低了提议者和构建者面临的削减风险面。 出于这个原因，提议者和构建者可能会表示偏好共享提议者承诺的中继。
最终，这会带来更好的提议者承诺的风险调整回报，这可能会降低向用户收取的风险溢价，从而使以太坊的服务产品更具竞争力。
未来方向
将来，中继可能会选择将区块约束共享扩展到更具约束力的共识实现中。 这种方法可以通过最小化构建者开销来提高 mrIL 的效率，并作为更客观地分配中继区块合并产生的价值的一种方式。
该设计还可以在范围上进行扩展，以增加中继区块合并产生的价值，方法是允许中继彼此共享有资格合并的交易。
