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

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

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

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

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

大咖零距离 | 宝二爷,李笑来的成功我们能复制吗?该如何抓住减半行情?:3月3日18:00,金色盘面邀请币圈KOL老俞说币做客金色财经《大咖零距离》直播间,将分享《宝二爷,李笑来的成功我们能复制吗?该如何抓住减半行情?》,敬请关注,欲进群观看直播扫描海报二维码报名即可![2020/3/3]

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

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

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

声音 | 前FDIC主席:对Libra有些担忧 不知道其如何利用获得的资 金:据CCN消息,前联邦存款保险公司(FDIC)主席Sheila Bair在接受CNBC采访时对Libra提出了一些担忧,“如果我给他们一些钱去买Libra,他们会用这些钱做什么?他们在白皮书中对此有点模糊……抵押品的实力是我会问的一个问题。”尽管Libra声称自己是未来的稳定币,但尚不清楚Facebook将如何利用其外汇储备管理投资。 Bair后来重申了她关于美联储支持的加密货币的想法,然而,这一想法并没有实现。政府通常对新技术的吸收很慢,但如果成功的话,Libra可能会改变这一切。[2019/6/19]

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

BM:对代理如何运作和“dApp开发者”如何计费的理解可能需要调整:北京时间今日凌晨,BM在开发者群发表对代理如何运作和“dApp开发者”如何计费的理解:

??1)所有CPU/带宽都是“执行操作的用户”;

??2)所有存储都按照dApp的选择向用户或dApp付费;

??3)dApp开发人员希望授权用户将带宽委托给用户;

??4)授权带宽理论上可以用于任何dApp。

现在想象一下,你是一个社交媒体公司,希望为用户提供免费账户。用户在您的网站上注册,您为他们创建一个区块链账户,然后将一些带宽委托给他们。您的应用可以选择为每个授权用户支付有限的存储空间,这使他们能够在他们需要携带自己的存储空间之前,拥有N份杰出的帖子和V张投票。如果您的应用不想为用户支付存储费用,则该应用可能完全是BYOS(注:Bring your own storage,使用你自己的存储)和BYOB(注:Bring your own Bandwith,使用你自己的带宽)应用。如果用户不继续他们的订阅或停止使用您的服务,那么您可以将带宽重新分配给其他用户。[2018/4/30]

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

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

地球链

[0:31ms0-1:168ms