如何使用ZK 和VDF 實現「隱私mempool」構想？

現在大部分的L2 Sequencer 基本上都採取「先到先出」 (FIFS) 的交易排序方式來保護用戶不被MEV，但是這樣也弱化了區塊的價值。

而通過這種分割的Blockspace 的方案我們就可以做到魚和熊掌兼得。

具體流程是：用戶用一個「時間謎題」 來加密自己的交易，並且同時計算一個「zk proof」 來證明這個時間謎題「有解」，接著把用「時間謎題」和對應的「Zk Proof」一起發送給「Sequencer」。

Sequencer 接收到「 加密的交易」後:

1. 驗證「zk proof」是否有效，如果證明有效則說明這個「時間謎題」 可以在計算一段時間後得出答案；
2. 把它放到「Top Blockspace」並且給出交易所在的區塊內的「Order Committee」；
3. Sequencer 會計算「時間謎題」一段時間，最後得出一個答案；
4. Sequencer 拿到答案之後就可以解密用戶的「加密交易」了，得出「交易的原始」數據；
5. Sequencer 將「Top Blockspace」都填滿之後，把這個只有「Top Blockspace」有交易的「半成品區塊」扔到L2 的p2p 網絡廣播；
6. MEV Searcher 接收到「半成品區塊」之後就可以根據「Top Blockspace」裡的交易順序構造自己的有利可圖的「交易bundle」；
7. MEV Searcher 把自己的「交易bundle」以及「出價」發給L2 Block Builder；
8. 這個時候Builder 已經接收到「半成品區塊」 了，他會把「最高出價」的那部分「交易Bundle 」放進「Botton Blockspace」；
9. 最後Builder 需要走L2 Mev Boost 的流程， Sequencer 會就接受帶有它指定的「Top Blockspace」的「最高價值的區塊」。

！ [scale70] （https://img-cdn.gateio.im/resized-social/moments-40baef27dd-430469c41e-dd1a6f-7649e1）

總結

通過將「Blockspace」分成兩部分可以讓用戶交易在「Top Blockspace」被保護起來，讓Mev Searcher 一起去卷「Bottom Blockspace」 ，即保護了用戶交易不被hamful mev，Sequencer 又可以最大化「區塊收益」。但該方案付出了額外的計算成本, 主要因為用戶需要為自己的時間謎題計算一個「zk proof」以及Sequencer 需要為每個用戶提供的「時間謎題」求解。

我們可以跟Arbitrum 之前提出來的讓Mev Searcher 可以去通過更高的出價獲得最高0.5s 的優先權的交易排序策略做一個比較。相比本文提出的方案，Arbitrum 這個方式特點是：

1. 省計算資源；
2. MEV Searcher 看不到區塊內的交易（Private Mempool）；
3. 用戶的交易還是會被插隊。

最後順帶提一句：需要「zk proof」的原因是為了防止sequencer 被DDOS 攻擊。