通俗讲解：PoW共识机制与以太坊的关系、Ghost协议 及 PoS共识机制的变种---Casper

做者：林冠宏 / 指尖下的幽灵

掘金：juejin.im/user/587f0d…

博客：www.cnblogs.com/linguanh/

GitHub ： github.com/af913337456…

腾讯云专栏： cloud.tencent.com/developer/u…

虫洞区块链专栏：www.chongdongshequ.com/article/153…

---

前序

本人版暂名为《区块链以太坊DApp实战开发》一书，即将完成，是一本废话少、讲解通俗、实操性强的技术书籍。本文为书中的小节的部份内容。想涉足这个区块链领域技术开发的同僚能够留意个人博客，届时会发布。

PS：本人技术书籍：《区块链以太坊DApp开发实战》已经出版并能够网购了

目录

• PoW 共识机制
• 以太坊目前所使用的共识算法
• Chost 协议
  • 选择最长链
  • 分叉块处理
• Casper PoS变种共识机制
  • 如何成为验证人
  • 验证人如何获取保证金
  • 候选区块如何产生
  • 按照什么规则轮着出块
  • 如何判断胜出区块
  • 验证人联盟投注的做弊问题

PoW 与 PoS 共识机制

若是对PoW共识机制还不了解的朋友，能够看下我以前的一篇文章

PoW共识机制通俗讲解。

PoS共识机制通俗讲解

以太坊目前所使用的共识算法

若是别人问你“以太坊目前所使用的共识算法”是什么？若是你此时去浏览器搜索发现有些文章说是PoS，又有些说是PoW。

完整且正确的说法应该是这样的，这其实也是PoW共识机制与以太坊的关系。首先以太坊的源码是分有阶段，不一样阶段所使用的共识算法要分开来讲。所分的阶段有：

• Frontier（前沿）。这个阶段的版本是以太坊的基础，此时的以太坊具有了挖矿、交易以及智能合约功能模块。可是没有供普通用户使用的图形化界面，仅适合于开发者使用。所使用的共识算法是“PoW”。
• Homestead（家园）。这个阶段的以太坊网络变得更加稳定，且具有了图形界面的钱包软件。所使用的共识算法仍是是“PoW”。
• Metropolis（大都会）。分有下面两个子版本：
  • 拜占庭。发布了集合钱包功能以及合约发布等丰富功能的图形化界面软件“Mist”，同时也引入了不少新的技术，例如零知识证实，抽象帐号等。使用的共识算法仍然是“PoW”。
  • 君士坦丁堡。使用混合共识算法“PoW + PoS”，为“宁静”作铺垫。
• Serenity（宁静）。将把以太坊的共识算法所有换成基于“PoS”的变种算法--“Casper投注共识”，它属于PoS系列。

截至2018-12-14，目前以太坊的最新发布版本是Metropolis大都会的拜占庭。由上述可知，在以太坊发展的过程当中，它的共识算法对于不一样的阶段，分别是：PoW共识,PoW + PoS 共识和PoS

Chost 协议

Chost 协议的全称是“Greedy Heaviest-Observed Sub-Tree protocol”，贪婪子树协议，又称幽灵协议，它属于主链选择协议范畴。

首先在比特币公链中，它是根据最长链规则来解决区块链分叉问题的。请注意，并非全部的区块链公链解决分叉问题都是使用最长链规则，以太坊就不是。

选择最长链

以太坊解决区块链分叉问题目前所使用的 是Ghost 协议，因此Ghost协议的真实做用是用来进行主链选择的。不一样于比特币的最长链规则，它在选择最长链的时候不以哪条链区块连续最长为标准，而是将分叉区块也考虑了进去，选择出一条包含了分叉区块在内区块数目最多的链做为最长链。例以下图所示：

在上图的分叉状况中，在比特币公链中，最终胜出的是链：0 <- 1A <- 2C <- 3F <- 4B <- 5A，一条由最长链规则选择的链。而在以太坊公链中，由幽灵协议得出的最终胜出的是：0 <- 1A <- 2B <- 3D <- 4A 。

缘由就是在上面的分叉状况中，幽灵协议把分叉区块也考虑进去了，统计总的区块数，发如今包含了区块: 0，1A，2B，3E，3D，3C，4A 的链是含有区块数最多的。所以该链胜出，这就是幽灵协议选择最初链的机制。

分叉块处理

此外，对于在最长链中被包含进去了的形成链分叉的块，例如上图中的3E和3C，Ghost 协议对它们也有一套对应的处理机制，这些区块会被根据规则处理为：

1. 孤块，彻底没用的块，挖出的矿工没任何收益。比特币链中的分叉块都是孤块。
2. 叔块，被必定范围内的后续子块所打包收纳的块，挖出叔块的矿工会按照必定算法给予收益。

关于叔块方方面面的通俗详细介绍，在我书里，这里就不展开说了。

咱们总结一下，Ghost幽灵协议在以太坊中主要起到了下面两点做用：

1. 选择出最长链
2. 对最长链中分叉块进行处理

Casper PoS变种共识机制

前提：Casper 目前还没彻底公布，还处于开发中，下面内容是根据目前现有的知识总结出的。

做为以太坊第四阶段版本的共识机制，Casper投注共识增长了惩罚机制，并基于PoS的思想在记帐节点中选取验证人，可以投注的角色是：验证人。能够将这类角色理解为新一代以太坊矿工。

在casper共识机制中，验证人要拿出保证金的一部分对它认为的大几率胜出的区块进行下注：

• 若是赌对了，它们就能够拿回保证金外加区块中的交易费用，也许还会有一些新发的货币；
• 若是下注没有迅速达成一致，下注太慢，它们只能拿回部分下注金，至关于损失了一些下注金；
• 所以数个回合以后下注的结果出来，那些选错了的验证人就会输掉它们的下注金；
• 此外若是验证人过于显著的改变下注，例如先是赌某个块有很高几率胜出，而后又改赌另一个块有高几率胜出，它将被惩罚。

如何成为验证人

想成为验证人，是要进行交保证金进行申请的，同时也能够在进入后选择退出，加入和退出都会将是以太坊网络中的一种特殊的交易类型，目前最多见的交易就是转帐ETH代币。也就是说，到时候可能要调用必定的以太坊接口来进行申请成为验证人。保证金颇有可能就是以太坊ETH代币，它将会被用来投注，或被因被以太坊惩罚而没收掉。

目前Casper的验证人逻辑将会经过一个名称为Casper合约的东西来实现，合约它提供投注，加入，取款和获取共识信息等一系列功能，所以经过简单的调用Casper合约咱们就能提交投注或者进行其余操做。Casper合约的内部状态以下：

这个合约会记录当前的验证人集合，对于每位验证人的6项主要字段解析以下：

• Return address，验证人保证金的返还地址
• Deposit size，当前验证人保证金的数量（注意验证人的投注会使这个值增长或减小）
• Validation code，验证人的验证代码
• Seq，最近一次投注的序号
• Prevhash，最近一次投注的hash
• 验证人的每次投注的表格

验证人如何获取保证金

别人转帐给验证人的钱包地址，或者在早期版本基于PoW挖矿收获。

候选区块如何产生

验证人出块，出块是一个独立于其它全部事件而发生的过程：验证人收集交易，当轮到他们的出块时间时，他们就制造一个区块，签名，而后发送到网络上。

按照什么规则轮着出块

由Casper机制提供规则。

如何判断胜出区块

当验证人中的绝大多数，知足协议定义阈值的一群验证人的总保证金比例达到67%到90%之间某个百分比以很是高的几率，下注某个块胜出的时候，此区块胜出。

验证人联盟投注的做弊问题

不难看出Casper投注方式是存在有验证人联盟在一块儿，共同投注某个区块使之胜出的问题的，对于这个问题的解决方案，目前以太坊还没完整公布，处于进一步的研究之中。

完