第二章自己动手写区块链之工作量证明和挖矿

叁歲伎倆 2022-10-03 00:58 150阅读 0赞

### 文章目录 ###

*   *   *  概览
         *  工作量证明拼图和难易度
         *  挖矿
         *  难易度共识
         *  时间戳校验
         *  累积难易度
         *  验证测试
         *  小结

### 概览 ###

本章节我们将会在我们的玩具版区块链的基础上加入工作量证明(POW)的支持。在[第一章节][Link 1]的版本中， 任何人都都可以在没有任何工作量证明的情况下添加一个区块到区块链中。 当我们引入工作量证明机制之后，一个节点必须要解开一个有相当计算量的拼图(POW Puzzle)之后，才能往区块链上添加一个新的区块。而去解开该拼图，通常就被称为挖矿。

引入工作量证明机制之后，我们还可以对一个新区块的产出时间作出大致的控制。大概的做法就是动态的改变拼图的难易程度来达到控制的效果：如果最近的区块产生的太快了，那么就将拼图的难度提升，反之，则将拼图的难度降低。

需要点出来的时，本章节中我们还没有引入 **交易(Transaction)** 这个概念。这就意味着矿工挖出一个区块后，并不会获得相应的奖励。 一般来说，在加密货币中，如果矿工挖到了一个区块，是应该获得一定量的币作为激励的。

### 工作量证明拼图和难易度 ###

在上一个章节的区块链的基础上，我们将会为区块结构加入两个新的属性：difficulty和nonce。要弄清楚这俩货是干嘛用的，我们必须先对工作量证明拼图作一些必要的阐述。

工作量证明拼图是一个什么样的任务呢？其实就是去计算出一个满足条件的区块哈希。怎么才算满足条件呢？如果这个计算出来的哈希的前面的0的数目满足指定的个数，那么就算满足条件。那么这个个数又是谁指定的呢？对，就是上面的这个difficulty指定的。如果difficulty指定说哈希前面要有4个0，但你计算出来的哈希前面只有3个0，那么这个哈希就不是个有效的哈希。

下图展示的就是不同难易程度的情况下，哈希是否有效：

![difficulty_examples.png][]

以下代码用来检查指定difficulty下哈希是否有效:

const hashMatchesDifficulty = (hash: string, difficulty: number): boolean => {
        const hashInBinary: string = hexToBinary(hash);
        const requiredPrefix: string = '0'.repeat(difficulty);
        return hashInBinary.startsWith(requiredPrefix);
    };

区块的哈希是通过对区块的内容算sha256来获得的，通过相同的区块内容做哈希，我们是无法算出符合指定difficulty的哈希， 因为内容一直没有变，哈希也就一直不变， 这就是为什么我们引入了nonce这个属性到区块中，我们可以控制nonce的改变来获得不同的哈希值。只要我们的内容有任何一点点的改变，算出来的哈希就肯定是不一样的。一旦相应的nonce修改后让我们获得到指定difficulty的哈希，我们挖矿也就成功了！

既然加入了difficulty和nonce到区块，我们还是先看看区块结构现在长什么样吧：

class Block {
    
        public index: number;
        public hash: string;
        public previousHash: string;
        public timestamp: number;
        public data: string;
        public difficulty: number;
        public nonce: number;
    
        constructor(index: number, hash: string, previousHash: string,
                    timestamp: number, data: string, difficulty: number, nonce: number) {
            this.index = index;
            this.previousHash = previousHash;
            this.timestamp = timestamp;
            this.data = data;
            this.hash = hash;
            this.difficulty = difficulty;
            this.nonce = nonce;
        }
    }

当然，我们的创世区块是硬编码的，记得把它也给更新成相应的结构哦。

### 挖矿 ###

如上所述， 为了解开我们的工作量证明拼图这个任务，我们需要不停的修改区块中的nonce然后计算修改后的哈希，直到算出满足条件的哈希。这个满足条件的哈希什么时候才会跑出来则完全是个随机的事情。所以我们要做的就是给nonce一个初始值，然后不停的循环，修改，计算哈希，直到满足条件的心仪的它的出现。

一旦满足条件的区块的哈希给找到了，挖矿成功！然后我们就需要将该区块广播到网络上，让其他节点接受我们的区块，并更新最新的账本。这个和第一章节的情况并无二致。

### 难易度共识 ###

我们现在已经拥有找出和验证满足指定难易度的区块的哈希的手段了，但是，这个难易程度是如何决定的呢？必须要有一个方法让全网各个节点一致认同这个决定。不然我的难易度是要挖半天才能出来，别人的是几毫秒就出来，那这个区块链网络就有问题。

所以，这里必须要有一个方法来让所有的节点都一致认同当前挖矿的难易度。为了做到这一点，我们首先引入一些用于计算当前难易度的规则。

先定义以下的一些常量：

*  **BLOCK\_GENERATION\_INTERVAL**： 定义 一个区块产出的 频率(比特币中该值是设置成10分钟的， 即每10分钟产出一个区块)
 *  **DIFFICULTY\_ADJUSTMENT\_INTERVAL**: 定义 修改难易度以适应网络不断增加或者降低的网络算力(hashRate, 即每秒能计算的哈希的数量)的 频率(比特币中是设置成2016个区块， 即每2016个区块，然后根据这些区块生成的耗时，做一次难易度调整)

这里我们将会把区块产出间隔设置成10秒，难易度调整间隔设置成10个区块。这些常量是不会随着时间而改变的，所以我们将其硬编码如下：

// in seconds
    const BLOCK_GENERATION_INTERVAL: number = 10;
    
    // in blocks
    const DIFFICULTY_ADJUSTMENT_INTERVAL: number = 10;

有了这些规则，我们就可以在我们的网络上达成难易度的一致性了。每产出10个区块之后，我们就去检查生成所有这10个区块所消耗的时间，然后和**预期时间**进行对比，然后对难易度进行动态的调整。

这里的**预期时间**是这样指定的：BLOCK\_GENERATION\_INTERVAL \* DIFFICULTY\_ADJUSTMENT\_INTERVAL。 该预期时间代表了当前网络的算力刚刚好和当前的难易度吻合。

如果耗时超过或者不足**预期时间**的两倍，那么我们就会将difficulty进行对应的减1或者加1。该算法如下：

### 时间戳校验 ###

第一章节中的区块链版本中，区块结构中的时间戳属性是没有任何意义的，因为我们不会对其作任何校验的工作，也就是说，我们其实可以给该时间戳赋以任何内容。 但现在情况变了，因为我们这里引入了难易度的动态调整，而该调整是基于前10个区块产出的耗时总长度的。所以时间戳我们就不能像之前一样随意赋值了。

既然时间戳的大小会影响区块产出难易度的调整，所以别有用心的人就会考虑去恶意设置一个错误的时间戳来尝试操纵我们的难易度，以实现对我们的区块链网络进行攻击。为了规避这种风险，我们需要引入以下的规则:

*  新区块时间戳比当前时间最晚不晚过1分钟，那么我们认为该区块有效。
 *  新区块时间戳比前一区块的时间戳最早不早过1分钟，那么我们任务该区块在区块链中是有效的。

const isValidTimestamp = (newBlock: Block, previousBlock: Block): boolean => {
        return ( newBlock.timestamp - 60 < getCurrentTimestamp() )
            && ( previousBlock.timestamp - 60 < newBlock.timestamp );
    };

> 天地会珠海分舵注：这里为什么要有一分钟的缓冲呢？估计是为了既考虑一定程度的容错，也减缓了时间戳恶意修改的攻击。如果还有其他原因的，请不吝指教。

### 累积难易度 ###

还记得第一章节的区块链的版本中，我们定的规则是：一旦发生冲突，我们总是选择最长的区块链作为有效的链进行更新，以示对更多区块生产者的努力的肯定。因为我们现在引入了挖矿的难易度，所以我们不应该再这样子做了，我们更应该对投入资源更多计算而出的那条链进行肯定。也就是说，现在正确的链，不是最长的那条链，而是**累积难易度**最大的那条链。什么意思呢？换个说法就是，正确的链，应该是那条消耗了最多计算资源(网络算力\*耗时)而产生出来的链。

那么怎么算出一条链的累积难易度呢？我们首先对区块链中每个区块的difficulty进行2^difficulty计算，然后将每个区块的计算结果加起来，最终就是这条链的累积难易度。

这里为什么我们用2difficulty来计算呢？因为difficulty代表了哈希的二进制表示中前面的0的位数。试想下，一个difficulty是11的块和一个difficulty是5的块相比，总的来说，我们需要多计算2(11-5) = 2^6 次哈希才能获得想要的结果。因为每一位在二进制中都有0和1两种变化，他们之间相差6个位，固有2^6个变化。

下图中，虽然链A比链B长，但因为链B的累积难易度比链A大，所以链B才是正确的链.

![Cumulative_difficulties.png][]

同时我们还要注意的是，我们累积难易度只和区块的difficulty属性有关系，和区块的真实哈希即其前面的位数是没有任何关系的。 拿一个difficulty为4的区块来说，假如它的哈希是000000a34c…(该哈希同时也满足difficulty为5和6的情况)，我们计算累积难易度是还是会以24来算，而不是25或者2^6， 即使它前面有6个0.

这种根据难易度选择正确的链的策略也叫做中本聪共识(Nakamoto consensus)， 这也是中本聪的比特币中最重要的一个发明之一。一旦账本出现分叉，矿工们就必须选择一条链来投入资源继续进行挖矿，因为这个关系到矿工挖矿后的激励，所以选择正确的链必须全网达成共识。

### 验证测试 ###

*  安装运行

npm install
    npm run node1
    npm run node2

*  挖矿

我们可以尝试通过curl或者postman调用/mineBlock这个api接口来进行挖矿，并查看对应的输出.

*  难易度调整

在通过不同的时间间隔调用完10次/mineBlock这个接口之后，难易度就会相应的进行变化

*  选择最大累积难易度的链

这个真实情况不好模拟出来。 但是我们可以去验证对应的算法。我们可以先开一个节点，创建3个以上的区块之后，再开第二个节点。这时节点2就会去获取节点1的所有区块，然后运行对应的逻辑去选择最大累积难易度的链。

### 小结 ###

**工作量证明拼图的一个重要特点就是难以解开但易于验证。所以不断调整nonce以算出一个满足一定难度的SHA256哈希，然后简单的验证前面几位是否是0，往往就是这种问题最简单的解决方案。**

有了工作量证明机制后，节点现在就需要挖矿，也就是解决工作量证明拼图，才能往区块链中新增加一个区块了。在下一章节中，我们将会为我们的区块链引入交易(Transaction)功能。

本章节代码请查看[这里][Link 2]

[第三章][Link 3]

> 本文由天地会珠海分舵编写，转载需授权，喜欢点个赞，吐槽请评论，如能给Github上的项目给个星，将不胜感激.

[Link 1]: https://github.com/zhubaitian/naivecoin/tree/chapter1
[difficulty_examples.png]: /images/20220109/b581b13441d147d88aee4ff620c541aa.png
[Cumulative_difficulties.png]: /images/20220109/a5d658ba4eff4cf7ad1ffe5605693fea.png
[Link 2]: https://github.com/zhubaitian/naivecoin/tree/chapter2
[Link 3]: https://github.com/zhubaitian/naivecoin/blob/chapter3/README.md