作者：ScottSullivan
来源：https://scottmsul.substack.com/p/a-bitcoiners-guide-to-proof-of-stake
一般来说，比特币友都不会太关注山寨币领域发生的事，但是，因为以太坊的“TheMerge”计划在一个月内推出，圈内的推特颇显得吵闹。当然，比特币网络是不会受到什么影响的，但我认为，这个“升级”也值得关注。一旦以太坊让自己跟“肮脏”和“浪费”的PoW撇清了关系，我们可以预期叙事的战争即将出现，比特币友应该准备好反击。
学习“权益证明”怎么工作，是了解它和PoW的区别、取舍的好办法。虽然我已经看过了许多关于PoS的抽象论述——PoS有更多的准入要求、更加中心化，而且会变成寡头——我得承认，如果不了解PoS的细节，这些说法听起来都有点虚无缥缈。通过深入研究PoS算法，我们可以慢慢看出，所有这些属性都是从其原理中自然产生出来的。所以，如果你也好奇PoS算法是如何工作的、为什么它的工作原理会导致它有这些属性，那就请读下去！
解决“重复花费”问题
我们先快速回顾一下我们到底想解决什么问题。假设我们有一个很多人参与的密码货币网络，希望维护一个去中心化的账本。我们将面临一个问题：我们的交易如何添加到每一个人的账本中，使得每个人都能对一笔交易是否“真实”达成共识呢？PoW解决这个问题的办法非常优雅：交易以区块的形式分组，同时每一个区块的生产都需要耗费大量的计算工作。区块生产所需的工作量会提高和降低，以保证区块以平均每10分钟一个的速度生成；如此一来，在下一个区块生成出来之前，每个区块都有好几分钟的时间可以在网络中传播。账本的任何不确定性，都可以通过选择凝聚了最多区块生产计算量的链来解决，重复花费也由此得到制止，因为重复花费若要成功必须要掌握超过51%的全局区块生产计算力。
但是，假设现在我们想抛弃中本聪的洞见。毕竟，这些讨厌的ASIC既可恨、又吵，而且它们所消耗的能源比乔治·索罗斯、比尔·盖茨、希拉里·克林顿的私人飞机加起来还要多。有没有一种办法可以让我们只需通过交谈，就能毫不含糊地同意哪些交易是“真实的”呢？
以太坊的权益证明机制使用两个关键要素来解决这个问题。第一个要素是时不时地制作特殊的“检查点区块”，其目的是向网络中的每一个人保证这个系统在不同时间的“真相”。创建一个检查点需要以“押金”计算的2/3的多数同意，这样就能保证在该时间点，绝大多数的“验证者”都认可一个事实。第二个要素是惩罚给网络增加不确定性的用户，也就是所谓的“罚没”。举个例子，如果一个验证者创建了一条分叉链，或者给一条更老的分叉链投票，那么TA的押金就会被罚没。验证者也会因为不活跃而被惩罚，但力度不会那么大。
”，是不折不扣的语言污染。在原本的概念中，“出块者”指的是共识机制的参与者，而“验证者”指的是验证共识结果的人，但使用“验证者”来指称“PoS共识的出块者”完全混淆了原本很清晰的分类方法。下文将该含义下的所有“validator”都翻译成“见证者”。）
这使我们可以得出PoS背后的第一条原理：PoS是基于负向激励的系统。这跟比特币和PoW完全相反，因为PoW是一个基于正向激励的系统。在比特币中，矿工可以尝试打破规则——生产格式错误的区块、打包无效的交易，等等——但这些区块会被忽略掉。最坏的影响也就是浪费一点能量。矿工也可以自由在更老的分叉链上生成区块，但如果没有占到全局的51%的区块生产力，这些老旧的分叉链就永远不可能追上当前的最长链，所以也只是白费力气。任何参与这些活动的矿工，无论存心还是无意，都不担心会损失自己此前积累的比特币，也不用担心损失矿机。所以比特币矿工不会生活在恐惧之中，在采取行动、承担风险的过程中，他们可以犯错。
过去一小时支付给比特币矿工的交易手续费创20个月新高:金色财经报道，支付给比特币矿工的交易手续费在过去一小时(7d MA)达到1.434BTC，创20个月新高。昨日，该数值为1.431BTC。[2023/3/24 13:24:44]
生活在以太坊大陆上的见证者可就完全不同了。他们不是靠工作努力、为网络增加安全性而得到奖励，他们不做实际工作，只是必须小心让自己的节点不要越轨，以免自己的储蓄付之东流。无论人们对网络提出了什么变更，见证者的第一反应都是随大流，不然就有被罚没的风险。这些见证者每天都是如履薄冰。
顺带说一句，根据Vitalik的《PoS常见问题解答》，让出块者活在负向激励系统中，正是PoS的“好处”之一，嗯。
那么，在技术层面上，罚没机制到底是怎么工作的呢？我们是不是先要建立一份列明所有见证者的清单，然后才能罚没一些东西呢？没错，就是这样。要想在以太坊的PoS共识机制中担当一位见证者，你先要把ETH移动到一个特殊的“质押”地址中。这不仅是为了应用罚没机制，也是为了投票，因为检查点区块需要得到2/3的多数票。
全天候维护这样一个记载所有见证者的列表会产生一些有趣的影响。加入见证者队伍困难吗？能不能随时离开？见证者是否可以投票表决其它见证者的状态？这就使我们得出了PoS背后的第二条原理：PoS是一个有准入的系统。
成为见证者的第一个步骤就是把一些ETH存入一个特殊的质押地址。需要多少ETH呢？最少32ETH，按现价大约50000美元。补充一下背景，像样的比特币挖矿设备一般是几千美元一台，如果你是家庭挖矿，你可以从几百美元一台的S9开始。公平地说，ETHPoS共识的高门槛是有技术上的理由的，更高的门槛意味着更少见证者参与，可以降低带宽要求。
所以，准入门槛是很高的，但是，任何人只要拥有32ETH，不就可以想参加就参加了吗？还真不是。如果大量的见证者在同一时间离开或进入，会有安全风险。举个例子，如果网络中绝大部分的见证者同时离开，那他们就能在一条分叉链上重复花费一笔资金，而且在两边都不会遭受惩罚。为了缓解这种风险，进入PoS共识和离开PoS共识都有内置的排队机制。当前，这个限制被设定为每个“时段”?max(4,|V|/65536)?个见证者，进入和退出都是这个限制。换算过来，就是每10个月可以换掉整个见证者集合。另外，虽然现在见证者可以发布一条“退出”交易、停止参加PoS共识，但实际取出资金的代码还没完成。听起来有点像加州旅馆……
-你可以随时住进来，但你再也不能离开-
最后一点是批准新的见证者加入的经济激励。假设你是一个大公司的股东，而且这个公司业务稳定，每个季度都会给你分红。你会愿意无偿增发股票吗？当然不会，因为这样会减少现在所有股东的分红。类似的激励结构也存在于PoS中。因为每一个新的见证者加入都会稀释现在所有见证者的收益。理论上来说，见证者可以直接审查所有添加新见证者的交易，但是，我认为，在现实中，这样露骨的办法是行不通的。这会非常明显，而且会一夜之间摧毁以太坊的“去中心化”形象。我认为，人们会使用更巧妙的办法。比如，以“安全性”或者“效率”为借口、缓慢地改变质押规则，让参与PoS的门槛越来越高。任何牺牲新见证者、有利于现有见证者的政策，都会得到经济上的支持，不论有没有在台面上曝光。现在，我们可以看出来为什么PoS会变成寡头制了。
声音 | CelticGold：建议投资者至少将其贵金属投资组合的1-5％分配给比特币:据Newsbtc消息，欧洲贵金属交易所CelticGold在一份报告中建议，大宗商品投资者购买世界领先的加密货币。报告指出，投资者应该至少将其贵金属投资组合的1-5％分配给比特币，理由是其两年的连胜纪录导致总收益的138％。[2020/2/17]
Casper算法概述
我们已经知道PoS背后的抽象原理了，那么，以太坊的PoS算法到底是怎么工作的呢？检查点和罚没机制背后的想法，是在一个名为“Casper”的算法中提出的，所以我们就从Casper开始。Casper自身并没有给出生产区块的方式，相反，它给出的是一个框架，说明了如何在已经存在的树状区块链分支中添加检查点/施行罚没机制。
首先，选出任意常熟C作为“检查点间距”，该参数决定了两个检查点之间间隔多少区块。举个例子，如果C=100，那就表示检查点会在区块高度0、100、200……上建立。然后，所有节点也要投票下一个“合理化”的检查点。见证者不是一次只投票一个区块，而是投票一对检查点?(s,t)?，其中s代表之前已经合理化的检查点，称为“来源”；t代表见证者希望它合理化的检查点，称为“目标”。一旦某一对检查点?(s,t)?获得以押金计算的2/3多数票同意，t就会变成一个新的合理化的检查点。下图展示了一棵作为示例的检查点树。
在这个图中，?h(b)?函数表示“检查点高度”，例如整百号的区块。你可能会注意到，并不是每发生100个区块就必然得到一个合理化的检查点，因为投票可能无法达成多数。举个例子，假设在区块高度200时，两个检查点分别获得了50%的票数。因为在同一时段中投票两次会被罚没，所以除非某些见证者愿意被罚没，否则系统就会“卡”在这里。解决方案是大家“跳过”区块高度200的这个检查点，在区块高度300时“再次尝试”。
一个检查点得到了合理化，并不意味着它已经“终局化”了。为了让一个检查点终局化，紧接着这个检查点的下一个检查点必须被合理化。举个例子，如果检查点0、200、400、500、700是一脉相承的并且都得到了合理化，那么只有检查点400会被认为是终局化的，因为只有它的下一个检查点才是合理化的。
因为这里的术语都是非常精确的，所以我们来概括一下这三个类别。“检查点”指的是任何发生在区块高度?C*n?上的区块，所以如果C=100，区块高度0、100、200、300等等上的区块，都是检查点。即使区块高度200上出现了两个区块，它们也都是检查点。如果一个检查点是高度为0的创世块，或者2/3的见证者通过投票在以前的合理化检查点和这个检查点之间建立了联结，这个检查点就被“合理化”。然后，如果这个合理化的检查点被联结到下一个检查点并且后者被合理化，这个检查点就得到“终局化”。不是每个检查点都会被合理化，也不是每个合理化的检查点都会被终局化，哪怕在最终得到公认的链上也不必然。
Casper罚没规则
Capser的罚没规则被设计成这样：两条分叉上不可能有分别有一个终局化的检查点，除非至少1/3的见证者违反了罚没规则。换句话来说，只有终局化的检查点应该被视为无可争议的“真相”。甚至两条分叉链上是有可能分别出现一个合理化的检查点的，但不会各自产生一个终局化的检查点。什么时候会出现终局化的检查点、在哪里出现，也是没有保证的；只不过，当链分叉发生的时候，你应该坐下来，等待一个终局化的区块出现，出现了，你就知道那是“真实”的链了。
动态 | 风投基金Pantera Capital CEO：Libra将带给比特币等加密货币巨大利好影响:据Dailyhodl消息，加密资产风险投资基金Pantera Capital CEO Dan Morehead近日发文表示，Libra将给比特币等加密货币带来巨大的利好影响。Morehead表示，竞争的加剧将培育出最强大的网络，从而为社会提供真正的利益。正如加密货币可能是金融领域的下一个进化一样，加密货币本身也将发生进化。Libra白皮书中所描述的方法是在两个现存金融体系之间实现平衡，这将有可能吸取这两个体系中各自最大的优点。[2019/7/24]
Casper使用两条罚没规则来实现这种特性：
第一条规则禁止任何人先后将同一高度的两个不同区块投票为目标检查点。所以，假设一个见证者，在先后两次投票时，把高度200的两个不同区块作为目标检查点，TA就会被罚没。这条规则的目标是防止链在同一个高度分裂成两个不同的合理化检查点，因为这将需要2/3+2/3=4/3的总票数，也就意味着至少1/3的见证者打破了罚没规则。不过，如我们前面所见，合理化检查点可以跳过某些高度。那么，怎么防止一条链分裂成两个不同的目标检查点呢？举个例子，检查点200能不能分裂成两条链，分别在高度300和400形成合理化检查点，而不会有人被罚没呢？
这就要用到第二条规则了，它的用意是防止出现一个投票“包住”另一个投票。举个例子，如果一个见证者给(300,500)和(200,700)投票了，TA就会被罚没。在链分裂的情形中，一旦某个分叉形成了一个终局化的检查点，其它分叉就不可能出现终局化的检查点，除非有1/3的见证者打破了这第二条规则。假设现在区块链分叉出来两个合理化的检查点(500,800)和(500,900)。后来，人们在第一条分叉链上看到了一个终局化的检查点(1700,1800)。因为1700和1800只能在一号分叉链上得到合理化，那么二号分叉链上可以看到1800之后的合理化检查点的唯一可能就是有些人把低于1700的检查点作为来源、高于1800的检查点作为目标。但因为这会包住(1700,1800)这个投票，而且合理化需要2/3的投票，那么，就至少有1/3的见证者打破了第二条规则。Casper论文给了一个很漂亮的图：
就是这样，只要你遵守Capser规则，你就是个好人！
听起来很简单，对不对？我们可以保证将罚没机制只是PoS用于维护共识的终极手段，而不是逼迫见证者以特定方式行事的勒索机制，不是吗？
声音 | 苏宁金融研究院院长助理：Libra的出现或给比特币敲响了丧钟:7月16日，苏宁金融研究院院长助理薛洪言在新浪专栏发表文章《Libra若成 比特币将灭》，文章表示，Libra的出现，或给比特币敲响了丧钟。比特币的核心优势是去中心化，解决了信任问题。Libra背后有巨头支撑，天然能俘获绝大多数人的信任，在安全性上不输比特币。此外，Libra与一篮子官方货币挂钩，革除了币值波动的弊端；在物理性能更是秒杀比特币。Libra及Libra们的出现，将在大多数支付场景中取代比特币。若Libra在各方压力下难产，则给比特币敲响警钟一说自不成立。因为Libra面临三种阻力：无法在禁止虚拟货币的国家落地、传统金融体系的竞争压力和金融风险防范压力。[2019/7/16]
-“给以太坊社区提问。如果绝大多数见证者在下文中选择了A，你会怎么做？X）将审查视为对以太坊的攻击，通过社会共识烧掉他们的押金；Y）容忍审查”“我会选择X”-
这使我们得到PoS背后的第三条原理：PoS没有规则。大多数人说什么，“规则”就是什么。
每一天，你的节点都严格遵循Casper诫命，但是第二天你的储蓄就有可能被罚没，因为你做了别人不喜欢的事情。你是不是打包过红队的交易？那蓝队的大多数就会罚没你。或者，你做了相反的事情，对红队的交易视而不见，那么明天红队就会说你搞审查，然后罚没你。罚没的力量远远超出了OFAC审查的权力限度。PoS就像永不停歇的墨西哥大逃杀，随时都有被罚没的威胁。
我完全不怀疑——在有争议的硬分叉中，双方都会硬编码针对对方的验证规则，以惩罚任何想加入“邪恶”一方的人。当然，这是一个核武器按钮，而且就像核战争一样，双方可能只会选择以牙还牙而不是率先攻击。我也怀疑，绝大多数个人见证者，都是“中立的”，他们比较关心财务上的自我保全，而不是在上自我牺牲，但如果他们意识到，“选边站”是一种避免被罚没的有效方法，他们可能也会这样做。
说到哪儿了？
现在，我们已经知道了检查点和罚没的基本知识，可以进入以太坊实际使用的算法“Gasper”了。这是Casper和GHOST的一个组合。Casper我们前面已经介绍过，而GHOST是一种用以在检查点之间选出“最优”链条的策略。
理解Gasper，你要知道的第一件事情是，它将时间当成了一个主要的独立变量。真实世界的时间被切分成了12秒一个的“时隙”，每一个时隙最多只能包含1个区块。许多个时隙组成了一个“时段”，每个时段都有一个检查点。一个时段包含32个时隙，所以每个时段的时长为6.4分钟。值得指出的是，这种范式逆转了在PoW中的时间与区块生成的关系。在PoW中，区块产生是因为找出了一个有效的哈希值，而不是因为过了多长时间。但是在Gasper中，区块产生是因为现实世界走过了足够长的时间、该到下一个时隙了。这样的系统会遇上什么棘手的时间问题，我只敢想象，不敢细数；尤其是，这不是运行在一台计算机上的程序，它是运行在全世界数万台尝试同步的计算机上的系统。希望以太坊的开发者们熟悉《程序员对计算机时间的误区》。
金色独家 数字货币分析师肖磊：民间力量将对印度央行形成压力，给比特币挤出一定的生存空间:今日自称为“区块链律师”的Shri Varun Sethi要求印度央行澄清该国的“信息权法案”，但央行并未给出实质性的回答。对此，金色财经邀请数字货币分析师肖磊对此作出解读：印度这个还是挺有意思的，整体来说，可能在加密货币这方面的监管，会越来越多的引起争议，印度也是一个比较特殊的国家，虽然民众拥有更多的权利，但印度本身是一个体量比较大的国家，这样的国家对货币主权的需求是强烈的，也就是说国家的体量越大，可能会比特币货币属性就越警惕，比如中国美国等，反而一些非常小的国家，市场上甚至可以流通美元和其他货币，数字货币的生存空间也就比较大。印度央行对货币的掌控力本身要弱一些，整体本币对美元的优势不明显，比特币实际上还是会冲击到印度的外汇市场，因此央行刚开始可能不会太在意，但随着量的增大，受到央行的管制应该说是可以预期到的。未来看，还是一个市场跟央行的博弈过程，印度央行很难说有太多的空间来放纵比特币的交易，但民间的力量也会对央行形成一定的压力，给比特币挤出一定的生存空间。[2018/6/13]
现在，假设你要建立一个见证者节点，你要首次同步区块链。你只能看到使用了特定时间戳的特定区块，你怎么知道这些区块真的是在那个时间产生的？因为区块生产不需要做功，恶意的见证者群体不能伪造出一条从创世块开始的假链吗？而且，如果你看到了两条相互竞争的区块链，你怎么知道哪一条是真的呢？
由此，我们得出了PoS背后的第四条原理：PoS依赖于主观理解。因为没有客观的办法从两条相互竞争的链中选出真实的那一条，而且任何新加入网络的节点都必须信任现有的一些节点作为事实的来源、解决不确定性。这跟比特币完全不同，在比特币中，凝聚了最多工作量的链就是那条“真实”的链。几千个节点告诉你X链是真的也没用，只要一个节点放出了Y链，而且Y链包含了更多的工作量，Y就会成为真实的链。一个区块的区块头就告诉了你它的价值，所以它可以完全消除信任需要。
-这些0表明了找出这样一条哈希值是需要做功的-
因为依赖于主观理解，PoS重新引入了信任需要。现在，我要承认，从这里开始，我可能会带上一些偏见。如果你想了解另一边的意见，Vitalik写了一篇包含他的观点的文章。我承认，在现实中，因为Casper规则，链分裂不太可能发生，但无论如何，我从比特币中得到的心神安宁，在这里是不可能的。
区块生产与投票
现在，我们已经熟悉了时隙和时段，那么单个区块是如何生产的，又是如何投票的呢？在每个时段开始之前，所有见证者会被“随机”地分成32组，每一组负责一个时隙。在每一个时隙中，“随机”选出的一位见证者会成为区块生产者，而其他人则是投票者”）。我把“随机”打上引号是因为这个过程必须是确定性的，因为每一个人都必须无偏差地同意哪些验证者负责哪个时隙。但是，这个过程也必须是不可愚弄的，因为区块生产者拥有优势地位，他们可以获得现在称为“矿工可抽取价值”的额外价值”了）。有一篇好文讲了这种价值是怎么回事：《以太坊是一个黑暗森林》。
那么，一个区块生产出来之后，其他见证者如何投票呢？区块提议被假设在时隙的前半段发生，而投票则在后半段发生，所以理论上来说，见证者应该有足够多的时间给自己所在的时隙的区块投票。但如果区块提议者下线、通信失败，或者构造了无效区块呢？其实，见证者的任务不是必须给所在的区块投票，而是指出从当时的自己出发“看起来最棒”的区块。在正常情况下，这个最好的区块就是他们所在时隙的区块，但也可能是更老的区块。不过，“最好的区块”，在技术上来说是什么意思呢？这就是GHOST算法的用场了。
GHOST是“可观察到的最贪婪的最重子树”，而且是一种贪婪的递归算法，用于找出包含最多“最新活动”的区块。基本上，这种算法将近期的所有区块看成一棵树，它会遍历整棵树，贪婪地选出累积有最多见证的分支。每个见证者都只有最新的一条见证消息会被计入，最终算法会得出某个叶子区块作为“最好的区块”。
见证者的见证消息中不仅包含对当前最好区块的投票，还包含了引向这个区块的最新一个检查点。需要指出的是，在Gasper中，检查点是基于时段而非区块高度的。每个时段都指向具体的一个检查点区块，要么是这个时段的第一个时隙中的区块，要么是这个时隙以前的最新一个区块。理论上来说，同一个区块可以是两个不同的时段的检查点，所以，检查点使用(epoch,block)对来表示。在下图中，“EBB”是“时段边界区块”的缩写，表示一个时段的检查点；而“LEBB”则是“最新的时段边界区块”的缩写，表示整体上最新的一个检查点。
类似于Casper，一个检查点得到超过2/3的见证之后就会合理化；而如果其下一个时段的检查点也被合理化，该检查点就被终局化。投票机制的工作流程的一个示例如下图。
Gasper也有两个罚没条件，跟Casper的罚没规则类似：
1）不能在同一个时段中重复投票。
2）一个投票所包含的检查点区间不能被“包在”另一次投票的检查点区间内。
尽管Gasper基于时段而废除区块高度，Casper的规则依然能保证两条分叉链上不可能都有终局化的检查点，除非1/3的见证者被罚没。
同样值得一提的是，见证消息会被包含在区块中。类似于PoW中的区块使用自身的哈希值来为自己辩护，PoS中一个终局化的检查点也会使用它过往的所有见证消息来为自身辩护。当某些人违反罚没规则是，这些坏的见证消息也会被包含到区块内，证明其越轨。区块生产者还有一个小额的经济激励去打包这些证明越轨的消息，这是为了给人们提供激励去惩罚破坏规则的人。
分叉
想象一下在分叉的时候会发生什么，是有趣的事。快速回顾一下，分叉指的是共识规则的变更，可以分成两种：硬分叉和软分叉。在硬分叉中，新的规则是不向后兼容的，可能会产生出两条互相竞争的区块链。而在软分叉的，新规则比起老规则更加严格，所以它们是向后兼容的。一旦超过50%的矿工或者见证者开始强制新的规则，共识机制就会切换，而不会产生分裂。软分叉通常跟升级和新的交易类型有关，但从技术上来说，它也包括由51%的多数执行的任何类型的审查。PoS还有一种“分叉”，是PoW没有的：不是因为共识规则变更而引起的链分裂。但因为前面我们已经讲过了，这里就只讨论硬分叉和软分叉。
我们从最简单的情况开始：一个专门的、有争议的硬分叉。“有争议”的意思是，某一条规则变更让人们产生上的派别。漏洞修复和微小的技术改变不太可能有争议，但有些变更——比如改变见证奖励——可能就会。如果一个硬分叉有很大争议，链分叉就可能发生，但最终会因为用户卖出一条链上的资产、购入另一条链的资产而得到经济上的解决。就像2017年的BitcoinCash分叉，似乎胜负已分：
现在，假设某一天见证者们开了一场大会，认为他们没有得到足够的奖励，并决定将回报率从每年5%变成每年10%。显然，这是牺牲非见证者的利益来满足见证者的胃口。要是出现了链分裂的话，哪条链会赢呢？
这就推导出了PoS背后的第五条原理：金钱就是权力。现在世界上有超过1.2亿的ETH，超过10%已经质押了起来，就如下图所示。
假设一个硬分叉在见证者和非见证者之间产生了争议，假设所有的非见证者都在新链上卖掉所有的币、而所有的见证者都在旧链上把所有的币卖掉，那么理论上来说，旧链会赢，因为绝大部分的ETH还在非见证者手上。但我们还有一些东西需要考虑。首先，在分叉之后，见证者们依旧“控制着”两条链。如果见证者们有能力影响旧链，他们可能有激励让这条链失败。其次，上文说的核武器依然存在，新链可能会罚没依然在旧链上出块的见证者，以迫使他们加入。最后，一些见证者可能比网络中的其它人有更强大的社会和影响力。如果Vitalik、以太坊基金会和交易所都结成了同盟，决定提高见证奖励，我很难相信普通的以太坊用户和见证者可以保证旧链继续运行，同时通过买入来让旧链变得相对更有价值。
至于软分叉，要是出现了有争议的软分叉，比如OFAC审查，那会怎么样？见证者是非常中心化的，看下面这个图就知道了。
不像PoW中，矿工可以一键切换矿池，以太坊上的见证者被锁定在一个质押地址中，在发起退出交易之后才能离开。要是Lido和最大的交易所准备审查某一些交易，他们很容易可以达到决定检查点的2/3多数。前面我们已经看到了Vitalik和其它ETH见证者可以如何使用反审查的硬分叉来跟审查软分叉对抗。即使他们成功创建了一条分叉，这个过程中也会有许多价值被摧毁，不论是因为罚没，还是因为信任的崩塌。
结语
在这篇文章中，我们探讨了PoS如何使用Gasper算法来解决重复花费问题。Gasper是Casper检查点/罚没规则和GHOST“最佳区块”投票规则的结合体。
Gasper将时间划分成叫做“时隙”的单元，每个时隙只能包含最多一个区块；多个时隙组成时段，每个时段指向一个检查点。如果2/3的多数都投票了某个检查点，这个检查点就得到了合理化；而如果两个相邻的检查点的得到了合理化，两个中的第一个检查点就被终局化。一旦某个检查点得到终局化，与之相竞争的分叉链就不可能被终局化，除非超过1/3的见证者被罚没。
在这个过程中，我们发现了PoS的五条原理：
1）PoS使用负向的激励结构。
2）PoS是一个带有准入机制的系统。
3）PoS没有规则可言。
4）PoS依赖于主观理解。
5）在PoS中，金钱就是权力。
这些原理的每一条，都跟PoW相反：
1）PoW使用正向的激励结构。
2）PoW是一个无准入的系统。
3）在PoW中，不遵循规则的分叉会被忽略掉。
4）PoW依赖于客观事实。
5）在PoW中，矿工为用户服务，而且只有有限的权力。
我相信，每个人都应该奋力为自己想生活于其中的世界奋斗。如果你跟我一样，希望生活在一个没有准入的世界中，想控制自己的财产，希望努力工作可以得到奖励、被动的所有权成为债务，希望货币可以一直存储价值而不会因为一时兴起而改变，那么，你应该仔细思考PoW和PoS的区别，以及为你偏爱的原则奋斗。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。