ZK 一直是以太坊擴展的最終目標，並且進展速度比預期快，積極向前推進時間表。儘管如此，在將 ZK 納入 L1 時，市場設計仍缺乏明確性。 我關於這個主題的 EthCC 演講簡短 🧵↓

1/ 將證明委託與熟悉的 PBS 拍賣進行比較是有幫助的。兩者都將複雜的任務外包給外部方，但現金流的方向相反： 建設者購買有價值的區塊空間 證明者出售證明生成的服務 這使得證明者的問責變得更加困難。

3/ 我們引入了一個帶有活躍懲罰的採購模型。懲罰 C 捕捉到因錯過時段而造成的經濟損失，並在未提供證明的情況下產生。這可能高達數百個 ETH（根據最近的 MEV-Boost 中獲勝的出價 @mevproposerbot）!

7/ 總結來說，證明的獲取並不是一刀切的。對抗環境類似於（甚至可以說比）TFM設計中的環境更為微妙，但幾乎沒有那麼多的支持文獻。以下是一些未解的問題。

感謝 @ks_kulk @_julianma @kevaundray 的相關帖子： - -