如何使用 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 攻击。