1. 首页 > 币百科

Vitalik:Casper的激励哲学——危害三角



              



这张图是我这周在康奈尔大学做演讲中制造的幻灯片:




假定有一张图表可以抓住Casper的鼓励哲学的**原理,那可以就是如此。因此,有必要作进一步的注释。



该图显现了三个选区——少数、少数和协议(即用户),以及四个箭头代表可以的统一行为:少数攻击协议,少数攻击多数,多数攻击协议和多数攻击少数。每个示例包括:




  • 少数攻击协议Finney攻击(由矿工对义务量证明区块链中止的攻击,其中矿工对双花未确认或能够是繁多确认完成的买卖)



  • 少数派攻击多数派—羽毛分叉(义务证明链中的少数人试图恢复**包括一些不良买卖的块,但假定该块取得两次确认则坚持)



  • 多数攻击协议—激进的51%攻击



  • 多数攻击少数派—51%检查制度攻击,即cartel拒绝接受来自cartel以外的矿工(或考证者)的**封锁


Casper哲学的精髓是:关于一切四种攻击类,我们都希冀为攻击的受益者所遭受的损伤与攻击者所付出的代价之间的比例设定一个下限。在某种水平上,Casper中的每个想象决策都是基于这一准绳。



这与一般的任务量证明鼓励学派有很大不同,由于在任务量证明视图中,**两次攻击是毫无防范的。前两种攻击(Finney攻击和羽毛分叉)利息高昂,由于攻击者冒着他们的区块不归入链中的风险,因此丧失了支出。但是,假设攻击者占多数,那么攻击是无价的,由于攻击者一直可以保证他们的链将是主链。从暂时来看,难度调整可确保了一切矿工的总支出不论如何都是完整相同,并且这进一步意味着,假设攻击招致一些受益者丧失了收益,那么攻击者就会获利。



之所以会出现这种任务量证明,是由于激进的中本聪任务量证明会从基本上惩罚异议。假如您作为矿工制造了与共识一致的区块,您会取得奖励,如果您做出与共识不一致的区块,则会失掉惩罚。(协议中没有惩罚;而是由于这样的梦想:矿工会破费电力和资原本挖出区块,却得不就职何奖励)。



另一方面,Casper主要经过惩罚模棱两可的方式任务。如果您发送了两条相互抵触的音讯,那么即使这些音讯之一与共识一致,您也会遭到**严酷的惩罚。因此,在发生**恢复攻击时,招致复原事情的人员将遭到惩罚,而其他一切人将不会遭到影响。大多数人只能以繁重的代价攻击协议,而大多数人不能形成少数人的丧失。



当我们末尾议论另外两种攻击时,即更具应战性的是活性缺陷和检查制度。活性缺陷是指大局部Casper考证器下线以阻拦共识达成肯定性;而反省过失是大多数Casper考证器拒绝接受某些买卖或回绝接受其他Casper考证器的共识消息的过失,以剥夺他们的报酬。



这触及到一个基本的二分法:扬声器/**缺点对等





假定B说他们没有收到A的消息,有两种能够的注释:(i) A没有发送消息;(ii) B伪装没有听到消息。仅凭B提出的索赔的证据,无法区分这两种正文哪一种是准确的。与区块链协议鼓励的联系是这样的:如果您看到协议实施,其中70%的考证器消息包括在链中,而30%的消息没有包括在链中,并没有看到其他方式(这就是区块链所看到的),那么就无法区分效果是30%是离线外形还是70%处于检查外形。如果我们想让这两种攻击都变得高尚,那么我们只能做一件事:惩罚双方



惩罚双方会让**一方“仇恨”另一方,如果他们是少数派则下线,如果他们是多数派则检查。但是,我们能够经过悲伤要素剖析技术来肯定这种悲伤的难易水平。



战略的悲伤要素实质上是受害者丧失的**数量除以攻击者丧失的**数量,而协议的悲伤要素是它所允许的**悲伤要素。例如,如果一个协议允许我以1美元的利息让你丧失3美元,那么悲伤系数是3。如果没有其他方法能够使他人丧失**,则悲伤系数为零,如果你能让他人赔钱而不为自己付出代价(或让你自己受害),悲伤的要素是有限的。



一般,不论讲话人/听众二分法具有于何处,悲伤要素都不能全局地被大于1的**值所限制。其理由很冗杂:**一方都可能损伤另一方,所以如果A可以损伤B,那么B也可以损伤A,两者不能同时低于1。



我们可以思索这些因素,例如,可以允许多数攻击者的悲伤系数为2,以换取少数攻击者的悲伤系数为0.5,这是少数攻击者更有可能的理由。



关于小范围的攻击,我们也可以容许悲伤系数为1,但关于大范围攻击,特地是志愿中止链条拆分,其中在一条链的一侧遭到惩罚,而另一条链的另一侧受到惩罚,置信市场会选择攻击者不喜欢的链条。因此,在这个框架内,在不同的关心点之间有很大的退让和权衡的空间。



惩罚双方还有另一个益处:它可以确保如果协议受到损伤,攻击者也会受到惩罚。这确保了不论攻击者是谁,他们都无效果防止攻击,这与协议形成的损伤程度相称。但是,如果我们想限制协议的损伤与攻击者的代价相比,我们需求一个正式的方法来权衡对协议构成的损伤。



这引入了协议适用次第功用的概念,这个公式通知我们协议运转状况,梦想状况下应当从区块链外部中停止计算。在工作量证明的状况下,这可以是主链中一切已挖出区块的百分比。在Casper中,协议适用次第为零,是为了完成**的实施,其中每个时期都已完成,并且从未发生平安缺点,每个未完成的时期都受到了肯定的惩罚,而每个平安故障都受到了**大的惩罚。如果可以正式运用协议适用顺序功用,则可以将故障的惩罚设置为尽可能接远因这些故障招致的协议适用顺序的丧失。



**以WTFPL容许的方式公布为“损害三角”。