ZK 一直被认为是以太坊扩展的最终解决方案，并且进展速度超出预期，时间表被积极提前。然而，在将 ZK 纳入 L1 时，市场设计仍然缺乏清晰度。 以下是我在 EthCC 会议上关于这个主题的简短 🧵。

1/ 将证明委托与熟悉的PBS拍卖进行比较是有帮助的。两者都将复杂任务外包给外部方，但现金流的方向相反： 构建者购买有价值的区块空间 证明者出售证明生成的服务 这使得证明者的问责变得更加困难。

3/ 我们引入了一种带有实时惩罚的采购模型。惩罚C捕捉了错过时隙所造成的经济损失，如果没有提供证明，就会产生该惩罚。这可能高达数百个ETH（根据最近的MEV-Boost获胜出价 @mevproposerbot）！

7/ 总之，证明获取并不是一刀切的。对抗环境类似于（并且可以说比）TFM设计中的环境更为复杂，但几乎没有那么多支持文献。以下是一些未解的问题。

感谢 @ks_kulk @_julianma @kevaundray 的相关帖子： - -