如何使用 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」的「最高價值的區塊」。

總結

通過將「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 攻擊。

鄭重聲明：本文版權歸原作者所有，轉載文章僅為傳播信息之目的，不構成任何投資建議，如有侵權行為，請第一時間聯絡我們修改或刪除，多謝。