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

假如有一张图表可以抓住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，这是少数进攻者更有大概的来由。

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