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

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

如果有一张图表可以抓住Casper的激励哲学的核心原理,那可能就是如此。因此,有必要作进一步的解释。

该图显示了三个选区——少数、多数和协议,以及四个箭头代表可能的对抗行为:少数攻击协议,少数攻击多数,多数攻击协议和多数攻击少数。每个示例包括:

少数攻击协议—Finney攻击

数据:Vitalik Buterin过去8天通过地址0x556向Bitstamp转入1,602枚ETH:9月3日消息,据Spot On Chain监测,Vitalik Buterin于20小时前将999枚ETH(163万美元)从地址0xD04转移至地址0x556。据了解,Vitalik似乎在过去8天内通过地址0x556向Bitstamp转入1,602枚ETH(268万美元),并出售100枚ETH获得17.3万美元。[2023/9/3 13:14:23]

少数派攻击多数派—羽毛分叉

多数攻击协议—传统的51%攻击

多数派攻击少数派—51%审查制度攻击,即cartel拒绝接受来自cartel以外的矿工的任何封锁

Casper哲学的精髓是:对于所有四种攻击类型,我们都希望为攻击的受害者所遭受的伤害与攻击者所付出的代价之间的比例设定一个上限。在某种程度上,Casper中的每个设计决策都是基于这一原则。

Vitalik:可以对ENS域名年费进行投标,增加ENS DAO收入:金色财经消息,以太坊创始人Vitalik Buterin(V神)在其个人网站发表文章,讨论ENS域名是否应该引入基于需求的注册常态费用。V神表示,如今的ENS域名注册常态费用非常便宜,由此引发了产权强度和公平性之间的权衡问题,而且ENS二级市场的高度投机性也无法确保市场的有效性。因此,V神提出可考虑为ENS域名引入基于需求的维护费用,对于ENS域名年费进行投标,从而以市场化方式对高需求的ENS域名进行定价。这一方法可提高域名抢注成本,同时可为ENS DAO增加收入。[2022/9/9 13:19:05]

这与通常的工作量证明激励学派有很大不同,因为在工作量证明视图中,最后两次攻击是毫无防备的。前两种攻击成本高昂,因为攻击者冒着他们的区块不纳入链中的风险,因此损失了收入。但是,如果攻击者占多数,那么攻击是无价的,因为攻击者始终可以保证他们的链将是主链。从长期来看,难度调整可确保了所有矿工的总收入无论如何都是完全相同,并且这进一步意味着,如果攻击导致一些受害者损失了收益,那么攻击者就会获利。

Gravity Bridge在Osmosis为流动池提供外部激励:7月5日消息,Cosmos生态的资产跨链桥Gravity Bridge在Osmosis为gUSDC/OSMO和ATOM/gUSDC提供外部激励。 gUSDC/OSMO的激励为50万GRAV,周期45天; ATOM/gUSDC的激励为100万GRAV,周期45天.[2022/7/5 1:51:36]

之所以会出现这种工作量证明,是因为传统的中本聪工作量证明会从根本上惩罚异议。如果您作为矿工制造了与共识一致的区块,您会得到奖励,如果您做出与共识不一致的区块,则会得到惩罚。。

另一方面,Casper主要通过惩罚模棱两可的方式工作。如果您发送了两条相互冲突的信息,那么即使这些消息之一与共识一致,您也会受到非常严重的惩罚。因此,在发生最终恢复攻击时,导致恢复事件的人员将受到惩罚,而其他所有人将不会受到影响。大多数人只能以沉重的代价攻击协议,而大多数人不能造成少数人的损失。

动态 | Gravity将为难民推出自我主权数字身份平台:据btcmanager消息,内罗毕区块链初创企业Gravity为非洲难民推出证明自我主权数字身份的平台,从而帮助难民获得金融服务。据报道,该公司已经开始在肯尼亚卡库马的一个难民营部署其平台,约有80,000名用户。测试将在营地的三所学校举行,允许Gravity跟踪每日出勤率和学生的学习成绩。该公司还将与非政府组织建立密切关系,以便能够追踪可能对难民营难民生活条件产生积极影响的其他数据和指标。[2018/12/2]

当我们开始讨论另外两种攻击时,即更具挑战性的是活性故障和审查制度。活性故障是指大部分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许可的形式发布为“危害三角”。

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

地球链

[0:0ms0-0:931ms