感謝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的。
- 以太坊控制。 以太坊可以控制市場引數，如出現過少證明的機率。不依賴外部治理。
