感谢Kev、Maryam、Mike、Thomas Thiery、Thomas Coratger、Maria、Caspar、Ladislaus、Marios、George、Mary和Dmitry提供的反馈和讨论，促成了这篇文章（反馈≠认可）。
当以太坊在L1上实施zkEVM时，需要为区块提供证明。本文提出在以太坊上实施一个证明者市场：允许构建者与一个无需许可的证明者集合连接。构建者在构建区块时，在系统合约中存入证明奖金，并在以太坊协议的帮助下。任何提交证明的人都可以在下一个插槽中获得部分奖金。证明者强制执行支付的交付。
这个提案解决了构建者和证明者之间的公平交换问题。公平交换问题意味着构建者只在证明被交付时支付，而证明者只在能够获得奖金时才进行证明。此外，该提案消除了中继处理构建者和证明者之间大量通信的需要，有时称为安全多路复用。这立即成为该提案最大的优势之一：不需要可信的第三方中继。相反，以太坊协议管理公平交换问题和构建者证明者通信。
在本文中，我们提出了一个证明者市场，但是，如果出现以下情况，以太坊可能不需要证明者市场：
- 在所有证明系统中始终至少有一个无私的证明者在线。
- 构建者是证明者。
第一个假设是否成立取决于证明的成本。短期和长期的证明成本仍然不清楚。Justin建议长期资本支出约为100,000美元，长期运营支出上限为获得10kW功率吞吐量的成本。然而，Dankrad建议在短期内，如果成本较高也是可以接受的。为了以太坊依赖第一个假设，成本应该相当低，以至于随时都有许多证明者。
即使顶级构建者自己证明区块，在我看来，拥有一个协议内证明者市场仍然是可取的，因为它降低了以太坊对构建者的依赖。如果顶级构建者离线，本地区块构建者仍可通过证明者市场连接到证明者。此外，访问证明者市场降低了进入构建者市场的门槛。
- 证明应在上下文中包含
recipient_address，这些元数据不描述证明本身，而是证明的使用情况。如果上下文发生变化，证明将变为无效。也就是说，证明应该是不可篡改的。 - 证明者不应能够以单个证明的成本生成具有不同
recipient_address字段的多个证明。
基于FRI的证明系统是当今zkEVM中使用最广泛的系统，并满足这两个属性。
证明者强制执行
证明者在观察截止日期冻结其可用证明的视图。他们从所有已观察到的证明中生成recipient_address列表。提议者的视图冻结时间晚于证明者，并且必须在信标块中包含其所见的所有recipient_address字段的列表。如果证明者对recipient_address列表的视图包含信标块中未包含的值，则证明者不会为该块投票。
该系统基于视图合并，由弗朗西斯科描述，已用于此提案所依赖的同槽证明架构。这里增加的复杂性包括共识层和执行层之间的通信，以在系统合约中使用信标块中的recipient_address列表。
为什么以太坊证明者市场比PBS更简单
提议者-构建者分离（PBS）在以太坊社区已经讨论多年，但对满意的市场实施方案尚未达成共识。即使在一个版本的内置PBS（ePBS）中，也存在对中继的担忧。目前的ePBS提案EIP-7732巧妙地处理了这些担忧，但构建者和中继仍然预期中继将继续运作，即使实施了7732。
然而，我并不认为以太坊证明者市场会像PBS那样复杂，原因主要有以下几点：
证明不在关键路径上。 由于某种形式的延迟执行，无论是通过EIP-7732还是EIP-7886，证明可以在下一个槽位提交，而不是在块被提交之前。这对证明者市场有两个重要优势。
首先，这意味着证明的支付可以在下一个槽位进行。在块被提交之前，构建者或协议不必与证明者达成交易。在PBS中，提议者必须在关键路径上与构建者达成交易，这意味着以太坊无法作为解决公平交换问题的可信第三方，因此需要中继。
其次，这意味着传播速度不是证明是否及时的重要决定因素。在MEV-Boost中，中继会大量优化传播以进行时间博弈。如果证明者能够实时证明区块，那么这种微小的延迟竞争可能不足以成为竞争的矢量。
**现金流是反向的**。在MEV-Boost中，构建者向提议者支付提议区块的权利。在以太坊证明者市场中，协议可能使用交易费用向证明者支付创建证明的费用。如果用户交易费用（而非构建者）支付证明者，市场将简化，因为构建者立即有动力参与，因为不需要支付任何费用。如果构建者不提供外部奖励，证明者也必须参与以太坊证明者市场。
没有解绑。 在MEV-Boost中，区块需要在提议者看到区块内容之前由提议者签名，以防止提议者从区块中窃取MEV。在证明者市场中，解绑不是问题。首先，构建者在提供证明之前提交并公开传播其区块，不会冒险被窃取MEV。其次，证明者可以在收到资金之前公开发送证明，因为他们的支付由证明者强制执行，且他们的证明不容易被修改以持有不同的recipient_address（证明是不可篡改的）。由于没有解绑风险，区块和证明都可以公开传播，无需中继。
该提案的缺点
- 浪费。 网络上可能会传播比严格必要更多的证明，这将增加证明传播的带宽要求，或增加分配给证明传播的必要时间，从而减少证明时间。
- 可能错过槽位。 如果奖励设置过低，可能很少有证明者有动力进行证明，导致错过槽位。因此，确保奖励足够高极其重要。
该提案的优点
- 证明者活跃性。 该提案为证明者创造了动力，无论构建者是谁。
- 无中继。 该提案在不需要可信第三方中继的情况下解决了公平交换问题和证明者构建者通信。
- 无需许可。 所有证明者都可以获得证明奖励。
- 零抵押证明者和无懈怠。 证明者不需要存入抵押以覆盖不活跃的潜在惩罚，因为系统不依赖于特定证明者提供证明。由此可见，不存在证明者承诺交付但却懈怠的风险。
- 无需随机性。 奖励以相等份额支付给所有证明者，而非随机选择的证明者。这不会影响证明者的证明决策，同时消除了对好的随机预言机的需求，正如玛丽亚姆在此处所argue的。
- 以太坊控制。 以太坊可以控制市场参数，如出现过少证明的概率。不依赖外部治理。
