长推：如何使用 ZK 和 VDF 实现「隐私 mempool」构想？

分享Rádius提出的一个的用 「zk+vdf」 实现的 「隐私 mempool」 的方案。该方案核心思路: 将「Blockspace」一部分保护起来 ，一部分交给 MEV Searcher 去卷：「Top Blockspace」: 用于保护用户的交易不被 mev，「Bottom Blockspace」: 而下半部分则用来 build the most profitable bundle of transactions。

现在大部分的 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」的「最高价值的区块」。

关于【长推：如何使用 ZK 和 VDF 实现「隐私 mempool」构想？】的延伸阅读

• Coin Metrics：分析以太坊 Blob 与 EIP-4844 的影响

  自3月13日起，多个Layer-2解决方案采用blob交易，超过950,000个blob已发布到以太坊，降低了操作成本。EIP-4844升级提高了L2的可伸缩性和降低交易成本，每天约有10,000个blob发布。blob被设计为18天后过期，防止永久存储膨胀。随着rollups使用blob发布大量数据，blob空间利用率将增加。blob费用根据需求动态调整，4月份因铭文blob激增而增加，但随后又降低。Blob的采用是EIP-4844降低数据存储开销和增强L2可伸缩性的积极信号。然而，跨资产、流动性和用户体验碎片化等挑战仍需解决。随着更多L2利用blob，拥塞可能会再次出现。

• Stacks Nakamoto 升级，BTC生态的文艺复兴

  Stacks是一个跨链共识区块链，旨在将智能合约功能移植到比特币网络中。其共识机制为转移证明，通过燃烧比特币来参与挖矿。Stacks 2.0主网已推出，获得美国证券交易委员会批准的代币销售。Stacks 3.0升级解决了安全性、性能和可扩展性等问题，引入签名者角色，提高链的可扩展性。Nakamoto升级解决了MEV问题，提高了挖矿过程的公平性和稳定性。升级将在4月22日开始，提高Stacks区块链的透明度和信任度。

总结

通过将「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 攻击。

免责声明：本文仅代表作者个人观点，不代表链观CHAINLOOK立场，不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险，以及遵守所在国家和地区的相关法律法规。
图文来源：0xhhh，如有侵权请联系删除。转载或引用请注明文章出处！

标签：Layer 2隐私