ZK 一直被提議作為以太坊擴展的終局，並且進展速度超出預期，積極提前時間表。然而，當將 ZK 鑲嵌在 L1 中時，市場設計仍然缺乏清晰度。 以下是我在 EthCC 談論此主題的簡短 🧵 ↓

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

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

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

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