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

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

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

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

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

美眾議院金融服務委員會：正深入研究如何更好地監管加密行業:金色財經報道，據官方推特消息，美國眾議院金融服務委員會正在關注加密貨幣作為長期投資的影響，并正在深入研究如何更好地監管這個快速增長的行業。[2021/7/1 0:18:18]

驗證 「zk proof」是否有效，如果證明有效則說明這個 「時間謎題」 可以在計算一段時間后得出答案；

把它放到「Top Blockspace」并且給出 交易 所在的區塊內的「Order Committee」；

Sequencer 會計算「時間謎題」一段時間，最后得出一個答案；

聲音 | Flexa CEO：采用加密貨幣最大的障礙是如何找出可使普通人受益的項目:據LongHash消息，Flexa首席執行官Tyler Spalding就“采用加密貨幣最大的阻礙”相關話題表示：這在很大程度上與價格投機有關。大多數人仍然認為加密貨幣是純粹的投資或投機性資產，在某些情況下確實如此。所以更大的問題是如何讓普通人使用加密貨幣，從而使其從中受益？加密貨幣不是一項投資，也不是投機，這些東西確實會存在，但還有哪些項目是對普通人有意義的呢？這就是真正的障礙，需要找出這些部分是什么。[2019/6/2]

Sequencer 拿到答案之后就可以解密用戶的「加密交易」了，得出「交易的原始」數據；

中紀委機關報談區塊鏈發展：如何讓監管理解并適度監管是挑戰:今日東方財富網發文稱，在今年的全國兩會上，“區塊鏈”成為一些代表委員熱議的話題，近日中紀委機關報談到區塊鏈發展時，認為：如何讓監管理解并適度監管是挑戰。[2018/3/6]

Sequencer 將 「Top  Blockspace」都填滿之后，把這個只有 「Top Blockspace」有交易的 「半成品區塊」扔到 L2 的 p2p 網絡廣播；

MEV Searcher 接收到 「半成品區塊」之后就可以根據 「Top Blockspace」里的交易順序構造自己的有利可圖的「交易 bundle」；

MEV Searcher 把自己的  「交易 bundle」以及 「出價」發給 L2 Block Builder；

這個時候 Builder 已經接收到「半成品區塊 」 了，他會把「最高出價」的那部分「交易 Bundle 」放進 「Botton Blockspace」；

最后 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 這個方式特點是：

省計算資源；

MEV Searcher 看不到區塊內的交易（Private Mempool）；

用戶的交易還是會被插隊。

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

JRSweetme

個人專欄

閱讀更多

Foresight News

金色財經 Jason.

白話區塊鏈

金色早8點

LD Capital

-R3PO

MarsBit

深潮TechFlow

Tags：SPABLOBLOCKLOCKSpacemeshblockchain錢包iosSolidblockBCB Blockchain

TUSD