火星链 火星链
Ctrl+D收藏火星链
首页 > 莱特币 > 正文

VIE:研究 | 如何通过委员会平均分配一个区块的MEV?

作者:

时间:1900/1/1 0:00:00

来源|?ethresear.ch

作者|?frankdfr

原标题:《委员会驱动MEV均匀分配》

非常感谢JustinDrake、BarnabèMonnot、Casper和其他以太坊基金会研究团队的成员对本文作出的有益评论和讨论。Casper还直接主笔了文章的部分章节。

均匀分配MEV意味着减少每个验证者所捕获到MEV的差异,最终目的是尽可能接近均等地把奖励分配给每个验证者:质押者可以获得与他们的押金成比例的奖励份额,形式就像发行一样。在我看来,这是我们可用的唯一最具影响力的共识级MEV均匀分配措施,严格来说比民主化更强大。关于这个提案的详细原因和更多方面的探索可以参见这篇完整版文章,我将在下文多次推荐感兴趣的读者去阅读(如果你想直接从那片文章看起,很欢迎,但请记住我的研究工作还在进行种)。

在下文,我将提出一种机制——试图通过在委员会和区块提议者间(这意味着提议者与委员会里的任何成员被平等对待,但这当然可以被改变)平均分配一个区块的MEV,以实现MEV?的均匀分配。这样做需要两个元素——一个运作良好的区块内容市场,如在《对区块提议者/构建者分离友好的提案》里提到的,还有一些相对温和的共识修改。

证明

鉴于存在区块内容市场,我们假设在证明时间,每个委员会成员都能在规定时间窗口收到并有查看具有最高费用区块的view视图。具体来说可以这样设想,委员会成员为vi,其验证者索引为为i,其当前view显示最高费用区块为bi,最高费用为pi?.?vi会做出如下证明:

如果下列条件都满足,则对新提议区块投票:a)区块已经及时被提议,例如,在一个特定期限前它已经被vi收到了(现在是slot开始后的4秒)b)区块基于在vi的view中前一个链头的内容延展下去c)区块支付了p,使得p≥pi否则,就对前一个链头投票条件a)和b)与现在是一样的,但我们增加了最高费用的条件c)。尽管如此,我们仍然基本上有两个选项——区块存在(blockpresent)vs区块不存在(blockabsent),除了如果一个被提议区块的费用不是最高的,该区块会被认为是不存在的。如我们在下文会看到的,实际的证明规则可以比这更复杂,但重点是我们可以通过添加条件c)能总是确保提议的是费用最高的区块,并要求绝大多数已经发布的证明认为它是满足条件的。如果支持的证明数超过前一个链头的证明数,该slot应该会被跳过。

飞利信:公司会认真研究是否会跟百度就元宇宙版块的合作:12月28日消息,飞利信表示,公司子公司厦门精图昨天已经参加了百度研发者大会,同时公司会认真研究是否会跟百度就元宇宙版块的合作。[2021/12/28 8:08:47]

通过这种方式的证明,委员会本质上是试图协调执行一种以牙还牙的策略(tit-for-tatstrategy),惩罚不合作的区块提议者,以达至长期的协作平衡。

分叉选择规则

当前分叉选择规则的运作是不允许这种策略的。它的操作对象是区块,而不是(区块,slot)对:对不存在区块的投票实际上只是对前一个链头投票。这意味着,正确地延展上一个链头的区块总会变成新的权威链头,不管委员会如何投票。只有在提议者对链进行了分叉的情况下,证明投票才直接起作用。

我们需要的是,只有当一个区块得到大多数已发布证明时,该区块才会变成新的链头。基本上,我们需要一个提议区块与一个空块竞争。在下图,B在slot1被提议,它前一个区块是A,但它获得的证明少于它的竞争区块,这样权威链就变成包含空slot1的链。

更正式地说,我们可以把(区块,slot)对作为竞争证明目标来看:

现场 | BSN发展联盟理事长单志广:BSN正在研究支持各国央行数字货币:金色财经现场报道,首届区块链服务网络(BSN)全球技术创新发展峰会暨湖北区块链技术创新大会11月27日在武汉举行。国家信息中心信息化和产业发展部主任、BSN发展联盟理事长单志广在会上发表演讲表示,BSN的目标是成为区块链互联网。他还介绍了BSN未来规划:计划在三年内全面开源;继续完善跨链机制;在中国持续适配各类联盟链和开放联盟链框架、集成更多云服务、建成各省主干网门户;正在联合多家国内外金融机构研究在BSN上如何支持未来的各国央行数字货币,在合法合规基础上,BSN作为各国央行数字货币流通载体之一。[2020/11/27 22:18:11]

(区块,slot)式证明已经被多次讨论,最终总是决定不采用它们,因为它们会对活性造成硬性延迟的限制。在目前的参数下,它们会造成任何在四秒内(证明时限)无法得到50%证明投票的区块被跳过,因此在糟糕的网络条件下活性会受到威胁。我们可能可以采用另一种设计,避免接上延迟的和非费用最高的区块来缓解这个问题,但还存在一些权衡(这些都会增加问题的复杂性)。我将在全文的最后详细讨论这些问题,但请记住,这都只是这个阶段的初步想法。

区块提议的生命周期

为了全面了解区块是如何进入权威链的,让我们集中在区块构建者/提议者分离方案这个具体版本吧,特别是文章的第一个想法。步骤基本是相同的,除了我们需要给构建者的区块头添加一个期限,以给证明者在评估最高费用时提供参考。没有了期限,就可以一直发布有高费用的区块头,这些区块头可能会因为出现得太迟而不被提议者看见和选择,但仍然会导致证明者查看最高费用的view更新。

The Block研究总监:无法办会将严重影响CoinDesk的营收:TheBlock研究总监LarryCermak发推称:“对于CoinDesk来说,接下来的几个月可能会非常艰难。现在几乎所有的大型会议都被推迟或取消,而CoinDesk80%的收入来自于两次会议。”[2020/3/18]

这个过程看起来像这样,每个步骤间有延迟,证明者会被要求在期限内做证明:

区块头期限:构建者在这个期限前发布区块头。证明者接受在期限后发布出来的区块头,但他们在看最高费用时不会考虑这些区块。这个期限可以与之前的slot重合。提议期限:提议者在这个时间前发布它对区块头的选择。区块主体期限:被选区块构建者在这个时间前发布区块主体对应的被选区块头证明期限:证明者最迟在这个时间发布它们的证明请注意,这个构建者/提议者分离方案的特定版本需要修改它自己的共识,有三个证明选项:

区块提议不存在区块提议存在但交易捆主体不存在区块提议存在且交易捆主体存在尽管如此,正如已经预期到的,我们的均匀分配方案所需的变更可以直接加在上面,再次把“区块提议存在”等同于之前确定的a、b、c三个条件(即添加条件c到第二、第三个证明选项),如果全部发布了的证明中绝大多数都投了“区块提议不存在”,那么该区块就会被跳过。

安全性

在给证明过程引入新内容时,一个直接的忧虑是攻击者是否可能试图操纵证明者的view来产生不良结果。特别是,让我们想一下委员会成员的最高费用view会与实际情况有什么差异情况:

View>现实:在没有区块头期限的情况下,使用这篇文章的想法来执行攻击当然是可能的——通过在某个时间发布一个有高费用的区块头,这样超过50%的委员会成员都会及时看到,但提议者不会看到,这就会导致区块被拒绝。当区块头有期限时,该期限早于提议时间的时间差是充足的,这个攻击向量就不再可行,且需要有延迟发送信息给提议者的能力。这种攻击的失败成本也很高,因为提议者及时看到区块头就不得不支付这笔高费用了。最后,即使攻击者可以精准找到特定提议者,并使得他们延迟接收信息,如果提议者是通过一个单一秘密领导者选举选出的,攻击者也无法执行这样的攻击。View<现实:当提议者是诚实时,那些收到最高费用view是低于实际情况的证明者无论如何都能证明投票。他们唯一可能犯的错误是给一个非最高费用区块投票。对于一个非最高费用区块,顾名思义,肯定存在一个区块头有更高的费用,因为我们是通过区块内容市场来确定最高费用区块的。这还意味着,存在一个最高区块区块的构建者,他希望看到该区块被发布,因此想要有尽可能多的委员会成员及时接收到它的信息,由此避免竞争的非最费用区块成为干扰选项。我们依靠这种构建者的自利倾向来确保委员会成员不会看到非最高费用区块的信息,起码在攻击者对网络延迟没有太多控制的情况下。

动态 | 独立研究员Mikerah将开发基于以太坊网络层的混合网络Meson:独立研究员Mikerah将开发一种基于以太坊网络层的混合网络 Meson,旨在通过提供抗审查和防止元数据被泄漏为用户提供隐私保护。以太坊网络层隐私保护的缺乏不仅会影响以太坊,还会影响所有基于以太坊的区块链,比如以太坊的分支链。Meson 主要目标之一是简化网络级匿名功能的集成,以方便开发者将其简单地集成到混合器或钱包中。[2019/11/17]

激励相容

我们的主要忧虑不在于对委员会成员view的潜在操纵,而是这个机制是否激励相容。最关键的是,委员会成员不对非最高费用区块投票,和防止恶意区块提议者获得多于公平份额的MEV这两点是否激励相容?

以下是我认为这个方案实际上是长期激励相容的原因:

?正确参与这个方案的长期结果是,MEV或多或少更均匀分配了,比目前的情况公平多了。对于足够大的质押池来说,这个方案与现状无异,因为在短期内,鉴于他们获得提议机会的频率,他们已经获得奖励分配的平均值。对于其他人来说,这要优于现状,因为他们很可能比以前赚更多,尽管他们会牺牲一些获得高涨幅的低概率机会(请看完整版本,了解详细的奖励均匀分配后与没有均匀分配的对比分布图,以及这个方案是如何影响多方参与者的)。

?把区块提议者与委员会间想成单个区块博弈,委员会被视为单个玩家,而提议者先行动。叛变等于不遵循协议。对于提议者,叛变是提议一个非最高费用的区块,且给他们不适当的MEV份额。对于委员会,叛变是接受一个非最高费用的区块,或未能接受最高支付额的区块。以下是这个博弈的回报矩阵

动态 | 紫鑫药业与链火信息合作 研究区块链+大健康整体解决方案:紫鑫药业今日发布公告称,为共同促进区块链与大健康领域的科学研究,公司与链火信息签署《战略合作框架协议》。合作的主要内容为研究区块链+大健康行业的整体解决方案、区块链技术与传统医疗以及基因测序仪产业的结合,尤其是中成药产业与人参产业的跟踪与溯源技术的应用。[2018/9/5]

在这个单一区块博弈里,提议者的主要策略总是叛变,因为委员会总会倾向于得到一些东西而不是一无所获,也就是说会协作。另一方面,在重复博弈的形式中,委员会可以采用以牙还牙的策略,这对应于诚实投票和惩罚不遵循协议的提议者。从长远来看,这能确保达至协作平衡。此外,读者可以看看完整版中“Short-termconsideration"的部分,大型质押池的委员会成员有非常不一样的回报矩阵,与提议者合谋叛变的回报是非常低的,甚至是负的。

?这个博弈当然把情况简化了。在现实,委员会不是一个实体,且实际上里面的一些验证者会经常与提议者分利益(至少任何时候提议者都属于一个足够大的质押池,这种情况发生的概率与提议者在这些质押池的质押份额成比例)。此外,一个验证者在一个区块是委员会成员,随后在另一个区块可能就是区块提议者,因此参与者实际上两个角色都扮演。

尽管如此,采用一个提议者友好的长期策略只是为了维持现状,就如之前提到的,希望在奖励上不会特别对谁有利。大型质押池的确受益于现况,因为他们有能力获得奖励的平均水平,而这就给了它们吸引质押的优势,但从另一个角度看,促进质押去中心化对整个以太坊生态来说只会产生积极影响,还会增加各质押池都在竞争的押金的总价值。此外,以一种容易归因的方式破坏协议很明显会带来声誉成本,特别对于大型质押池来说,以及当机制是以公共利益为导向的时候。

共识稳定性

目前的分叉选择规则和这个方案提出的分叉规则都容易受51%攻击,不同点在于在这个方案里,联合51%的验证者就可以投票否决少数人支持的区块,尽管当前,说服少数人加入大多数人的链需要一些时间(这对最终实现最终敲定是必须的)。因此,我们只应该担心那些适应性很强的攻击者会造成共识不稳定,尽管他们不能控制51%的押金但可以尝试控制某些委员会。

目前,委员会不会从区块内容获取价值,而仅通过协调共识过程来获取。因此,除了提议者(无论质押了多少押金)之外,没有人有理由通过分叉来窃取MEV。从上一个区块窃取MEV需要与提议者串通,以贿赂其他证明者,且在没有网络攻击的情况下,在两个委员会(包括受贿的成员)里的敌对总占比必须加起来是它们的2/3。另一方面,在这个方案里,控制两个委员会的51%就够了,因为第一个区块现在可以直接被跳过,而委员会成员可以有个人动机尝试分叉,以窃取MEV,因为它们会分到利益。尽管如此,这个情况仍然可以说是更优的:

?最重要的是,大型质押池的提议者没有通过分叉窃取MEV的动机,因为他们控制的份额与每个委员会一样,因此在每个区块获得的奖励是相同的百分比(在相当严格的范围内,即使对于只控制个位数比例押金的提议者也如是)。由于大型质押池是最强大的行动者,且可能进行协作,因此抑制它们攻击可以说是最重要的一种防御。

?如果提议者是独立验证者,或某种程度的小额质押者,它们可能想捕获上一个区块奖励的一定份额,因为它们没有收到任何奖励。另一方面,一个小到无法参与分奖励的质押者实际上也没有成功分叉的能力。它们基本上在委员会没有影响力,因此需要说服别人。质押池是尤其难以被说服的,因为同样的原因它们不会去分叉,而且在没有任何聚集大量押金的支持下去分叉是难以想象的。很多其他独立验证者可能有动机去分叉,但是能贿赂大量的小型质押者,使他们联合起来也是难以想象的。

抗审查

区块内容市场可能非常中心化,而且似乎很可能会这样发展。无论如何,我们都无法控制它是否如此发展。这样一来,抗审查会非常依赖于这样的假设——在有需要的时候,有利他主义精神的提议者会挺身而出,使用他们选择区块的自由裁量权来击败审查,例如通过构建他们自己的区块。但在均匀分配MEV的方案里,这是不可能的,因为它执行的是MEV最大化,因此我们需要探索其他解决方案。我在完整版文章里我已经开始这样做了,请看”通过分离交易打包和排序来抗审查“章节。我决定不在这里赘述了,文章在这里要结尾了,而且这个想法可能还存在问题,但总的来说,我们可以让提议者在slotn-1挑选一组交易在slotn打包,且不会让它干扰均匀分配机制。

标签:MEVSLOTVIELOTMEMEVENGERSSLOT币LakeViewMetaBoatPilot Token

莱特币热门资讯
人工智能:湖北区块链服务主干网已正式运营

据《湖北日报》消息,9月24日,在湖北省政府新闻办召开的2021年湖北省区块链技术应用创新创业大赛新闻发布会上,省发改委副主任袁德芳表示,一批具有创新活力和发展前景的区块链企业在湖北纷纷涌现.

1900/1/1 0:00:00
WEB3.0:A16z合伙人Chris Dixon:为什么Web3.0很重要?

作者:全球知名风投机构A16z合伙人ChrisDixon原文链接:A16z Web1.0是关于去中心化和社区管理的开放协议。大部分价值都归于网络的边缘——用户和建设者.

1900/1/1 0:00:00
ENS:扒一扒Reddit创始人收藏了哪些NFT,这些NFT透露了哪些信息?

原标题:《Reddit创始人收藏了哪些NFT?》9月14日,Reddit联合创始人AlexisOhanian发推表示:带着妻子的CryptoPunk前往MetGala.

1900/1/1 0:00:00
IOST:全球七个主要央行已为现金数字货币勾勒出一份可能的运作手册

据路透社消息,包括美国、英国及欧洲央行等七家央行为现金数字货币勾勒出一份可能的运作手册,希望在赶上加密货币趋势之际,也能兼顾有关商业银行可能受到冲击的疑虑.

1900/1/1 0:00:00
BNS:BitGo执行董事:企业每周都要求将比特币纳入其资产负债表中

据TheBlock消息,BitGo欧洲、中东和非洲地区的总经理DarrenJordan周四在伦敦举行的Token2049会议上表示,企业经常询问如何将比特币添加到他们的资产负债表中.

1900/1/1 0:00:00
WEB:观点 | 为什么一提到元宇宙,就会说起web3.0?

目前元宇宙还没有十分明确的定义,但在资本市场中却表现得异常火爆。很多人对爆火的元宇宙也持不同态度,有的认可它是未来互联网的最终发展形态,有的则认为这不过是资本炒作局.

1900/1/1 0:00:00