LOCK:如何使用 ZK 和 VDF 实现「隐私 mempool」构想?

现在大部分的 L2 Sequencer 基本上都采取 「先到先出」 (FIFS)  的交易排序方式来保护用户不被 MEV,但是这样也弱化了区块的价值。

而通过这种分割的 Blockspace 的方案我们就可以做到鱼和熊掌兼得。

具体流程是:用户用一个 「时间谜题」 来加密自己的交易,并且同时计算一个「zk proof」 来证明这个时间谜题 「有解」,接着把用「时间谜题」和 对应的 「Zk Proof」一起发送给  「Sequencer」。

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

神鱼:准备写耕田日记介绍如何5天挖回500万U:F2Pool联合创始人神鱼在微博表示,准备写个耕田日记,如何5天挖回500万U。 ????神鱼补充说,没仔细算,本金大概500万U。[2020/9/2]

验证 「zk proof」是否有效,如果证明有效则说明这个 「时间谜题」 可以在计算一段时间后得出答案;

把它放到「Top Blockspace」并且给出 交易 所在的区块内的「Order Committee」;

Sequencer 会计算「时间谜题」一段时间,最后得出一个答案;

Sequencer 拿到答案之后就可以解密用户的「加密交易」了,得出「交易的原始」数据;

大咖零距离 | 如何通过消息面获取市场暴利:2月19日16:00,金色盘面邀请数字货币正规军TLAB Terry做客金色财经《大咖零距离》直播间,将分享《如何通过消息面获取市场暴利》,敬请关注,欲进群观看直播扫描海报二维码报名即可![2020/2/19]

Sequencer 将 「Top  Blockspace」都填满之后,把这个只有 「Top Blockspace」有交易的 「半成品区块」扔到 L2 的 p2p 网络广播;

MEV Searcher 接收到 「半成品区块」之后就可以根据 「Top Blockspace」里的交易顺序构造自己的有利可图的「交易 bundle」;

声音 | 赵长鹏:无论市场如何变化,币安仍将在100年内存在:据CCN报道,币安首席执行官赵长鹏今日表示,无论行业发生什么变化,币安仍将在100年内存在。币安团队并没有对每日比特币的价格波动有所顾忌,基本上并没有真正关注市场,而是长期关注并专注于团队工作。赵长鹏表示,币安只是低着头,建立功能。[2019/2/8]

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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

链链资讯

[0:0ms0-4:775ms