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

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

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

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

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

海德薇格：我很期待看到 數字貨幣將如何改變人民幣支付市場:第十七屆中國國際金融論壇于2020年12月17日-18日在上海舉行。主題為“數字經濟時代的金融服務”。國際銀行業聯合會（IBFed）總裁海德薇格?挪倫斯視頻參會并致辭時指出：金融穩定委員會正在監測大科技公司的創新和金融穩定風險，并且已經發表了很多關于該主旨的文章，例如在2020年10月13日發表的一篇文章中，就提出了關于全球穩定幣的10個高層建議。考慮到創新的規模之大，監管機構和監督機構都需要拓寬自己的視野，并且彼此之間開展更多合作。

中國監管機構一直在積極加強監管，以便隨時應對大科技公司所引起的市場變化。例如，去年，中國人民銀行就起草了相關規則，要求將銀行和金融服務與金融控股公司旗下的科技公司分離，并對這些科技公司進行監管。 現在，要求支付公司必須有100%的存款準備金。

中國還率先推出了由國家信用支持的數字貨幣。我很期待看到這些數字貨幣將如何改變中國國內和境外的人民幣支付市場。（新浪財經）[2020/12/17 15:29:42]

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

直播｜Aaron：DeFi加速領跑，如何獲得持久發展？:金色財經 · 直播主辦的金點Trend《2020 DeFi Dai飛嗎？》馬上開始！DeFi生態里，我們還應該狙擊哪些項目？成長空間是多少？應該關注哪些風險？16:00準時開播！本場嘉賓Kava全球業務發展副總裁Aaron Choi分享“DeFi加速領跑，如何獲得持久發展？”，請掃碼移步收聽！[2020/7/29]

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

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

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

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

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：LOCKBLOCLOCBLOCKINLOCKBlock-LogicagriblockBlockchain Property

Pol幣