区块链基本知识

区块链基础知识区块链（BlockChain），是区块（Block）和链（Chain）的直译，其数据构造如图1所示，即每个区块保存规定时间段内的数据统计，并通过密码学的方式，构建一条安全可信的链条，形成一种不可篡改、全员共有的分布式账本。比特币的区块分为区块头和区块体两部分。区块头的大小为80字节，涉及4字节的版本号、32字节（256位）的上一区块哈希值、32字节的Merkle根节点、4字节的时间戳、4字节的难度值和4字节的随机数。区块体包含10分钟内选定的交易统计，第一笔交易（coinbase交易）是用于奖励矿工比特币的特殊交易，由矿工自己添加进区块。图1

区块链的数据构造示意图基本概念区块链是诸多现有技术交叉融合在一起的集成创新。因此，要理解区块链，首先要理解区块链终究集成了哪些技术。P2P网络如图2所示，P2P（Peer-to-Peer）网络是一种端到端的网络。P2P网络分为构造化（例如基于Chord的P2P网络）和非构造化的P2P网络（例如Gnutella）。比特币的区块链采用的是非构造化P2P网络，整个网络没有中心化的硬件或管理机构，任一节点既是服务端，也是客户端。任何节点只要安装对应的客户端软件，就能接入P2P网络（例如BT软件），参加区块链的统计和验证，不超出1/3节点的损坏、退出甚至被植入恶意代码，都不会影响整个系统的运作。图2

传统中心化系统和P2P网络的拓扑对比图加密算法和数字签名加密技术分为对称、非对称和哈希（Hash）加密。对称加密是指用同样的密钥来进行加密和解密，非对称加密是指用一种密钥对来进行加密和解密，哈希加密重要是通过对数据进行哈希运算，用固定的哈希成果值验证信息与否被篡改。非对称加密在非对称加密技术中，对外公开、分发出去的密钥叫做公钥，不能公开、自己留存的密钥叫做私钥。公钥加密的，对应的私钥才干解密。反之亦然。如图3所示。图3

非对称加密RSA算法的简化示例图非对称加密算法有RSA、DSA和ECC等种类，区块链使用的是基于椭圆曲线加密技术的数字签名（ECDSA），具体实现是secp256k1。ECDSA相称于是DSA和非对称加密ECC的结合。相比RSA算法，ECDSA含有计算量小、存储空间小、带宽规定低等特点。数字签名基于数字签名的通信机制工作原理，如图4所示，发送报文时，发送方用一种哈希函数从报文文本中生成文献摘要，然后用自己的私钥对摘要进行加密，加密后的摘要将作为报文的数字签名和报文一起发送给接受方。接受方首先用与发送方同样的哈希函数从接受到的原始报文中计算出报文摘要，接着再用发送方的公钥来对报文附加的数字签名进行解密，如果得到的明文相似，那么接受方就能确认传输的文献并未受到篡改，是安全可信的。图4

数字签名的流程示意图哈希加密安全哈希算法（SecureHashAlgorithm，SHA）是由美国国家安全局研发，由美国国标与技术研究院（NIST）公布的一系列密码哈希函数，涉及SHA-0、SHA-1、SHA-2和SHA-3等系列。比特币的区块链使用的是SHA-256哈希加密算法，于公布，属于SHA-2分支。由于SHA256伪随机性的特点，只要是相似的数据输入，一定会得到相似的成果，如果输入数据稍有变化，将得到一种千差万别的成果，如图5所示。SHA256还是一种单向不可逆的算法，即根据一种输入数算SHA256的成果很容易，但根据SHA256的成果反算输入数几乎是不可能。除此之外，比特币还使用ripemd160算法来生成比特币钱包的地址。图5

哈希加密的示意图梅克尔树梅克尔（Merkle）树是区块链的基本构成部分。如果没有梅克尔树，区块链也是能够运转，但是要在区块头里包含全部交易统计，扩展性方面存在很大挑战。如图6所示，区块链中的每个区块，由区块头和区块体构成，区块头中含有一种Merkle根节点的字段，通过对区块体中全部交易统计，以二叉树的形式迭代地两两拼接、进行哈希操作，能够得到一种最后的哈希值，我们称之为Merkle根哈希。Merkle根哈希相称于是对区块中全部交易统计进行了一种快照，区块中交易统计的任意改动都能够通过比较Merkle根哈希而很容易地察觉。Merkle根哈希重要用于简朴支付验证（SPV），在验证某个交易与否在区块中时，也能极大地减少网络传输成本。图6

Merkle树示意图工作量证明机制工作量证明机制，简朴地说，就是一种共识机制，用来确认你与否做过一定量工作的证明。比特币的区块链重要是依靠计算数学难题来衡量工作量。每个区块，当选定一定数量的交易统计之后，填充版本号、时间戳、难度值，生成对应的Merkle根哈希。很容易看到，这些数值在选定交易统计后来，都是拟定的，唯一能够变化的就只有随机数（Nonce）这个值。如图7所示，系统根据难度值，规定计算整个区块头的两次SHA256算法，得到的哈希成果要不大于一种阈值。根据前面描述的SHA256算法的伪随机性，只有通过不停地尝试和枚举，才干找到对应的随机数，证明自己的工作量。图7

工作量证明机制示意图除了工作量证明机制（PoW）这类共识机制之外，尚有股权证明机制（PoS）、授权股权证明机制（DPoS）、拜占庭容错机制（BFT）、实用拜占庭容错机制（PBFT）这些在不可信环境下的共识机制以及规定在可信环境下的共识机制，例如PaxOS和Raft。表1是做了简朴的对比。表1

共识机制的简朴对比表运行机制接入网络和验证节点通过安装对应的软件（例如比特币核心），接入区块链。节点启动后来，重要是在P2P网络上发现邻居节点、链接邻居节点、传递P2P消息和下载区块链验证。节点能够选择下载全量的区块链进行验证，或者是只下载区块头，通过Merkle树节点来进行简朴支付验证（SPV）。钱包软件能够分为移动钱包、桌面钱包、互联网钱包和纸钱包，都支持保存顾客的私钥，钱包也能够根据私钥与否是种子产生的，而分为决定性钱包和非决定性钱包，核心区别在于私钥的备份和易恢复性。区块链的存储和接受比特币的区块链使用BerkeleyDB（文献数据库）作为钱包数据库，使用LevelDB（键值数据库）存储区块的索引和UTXO（UnspentTransactionOutput，未开销的比特币交易输出）。节点在启动的时候，将整个区块链的索引从LevelDB加载入内存。当收到一种新区块时，节点对新区块中的全部交易进行检测，验证交易格式、交易大小、交易签名、UTXO与否匹配、交易签名、脚本合规等方面。如果验证成功，检查上一区块头与链头区块哈希值与否一致，如果是一致，则更新UTXO数据库和回滚交易数据库，如果不是，则将该区块放在孤儿区块池中。当节点发现网络中存在另一条更长的区块链时，就需要断开现有的区块并对区块链进行重组。如果验证不成功，会抛弃该区块，继续等待新区块的到来（矿工会继续计算新区块的数学难题）。区块链的工作量证明计算机制“矿工”角色的节点始终收集网络中广播的交易统计，并致力于计算新区块的数学难题，即工作量证明。如果其它节点发来的新区块验证成功，节点除了更新UTXO数据库和回滚交易数据库，节点会立刻开始下一种新区块的计算。新区块的构建优先选用交易内存池中优先级高的交易统计。优先级的计算方式为：如果自己的工作量证明计算成功，节点会第一时间将这个区块广播至整个网络中，其它节点收到该新区块，如上所述，会进行对应的验证和存储。整个区块链的运转机制如图8所示。图8

区块链运转机制示意图其它有关脚本语言区块链采用的脚本语言并不是图灵完备的语言，不支持循环，只能进行堆栈式操作。这种脚本语言的好处是，不允许矿工提交一种死循环的脚本，更重视的是安全方面的考量，但其扩展能力有限。从以太坊为首的区块链编程平台支持图灵完备的编程语言，引领区块链跨入2.0时代。由于支持循环等复杂操作，以太坊用Gas（燃料）机制来避免死循环的出现，确保系统的安全。消息队列比特币区块链采用ZeroMQ（ZMQ）作为消息分发和消息队列管理工具。与诸多人熟悉的RabbitMQ相比，ZMQ不像传统意义的消息服务器，更像一种底层的网络通信库，在多个线程、内核和主机盒之间弹性伸缩，在SocketAPI之上将网络通信、进程通信和线程通信抽象为统一的API接口。挖矿设备和算法演进挖矿设备从支持复杂指令（CISC）、适合串行计算的CPU矿机时代，经由基于众核体系、适合并行简朴计算的GPU挖矿和低功耗却价格昂贵的FPGA挖矿，逐步向集约高速的ASIC矿机和规模效应的矿池演进。基于工作量证明机制的算法，容易造成矿工算力集中的问题。有人将这种“中心化”的责任归咎于SHA256算法。此时，基于SCRYPT算法的莱特币（Litecoin）进入了人们视线，其占用内存多、计算时间长、并行计算困难的特点，限制了矿工的“军备竞赛”。莱特币的成功催生了更多算法的交叉融合，衍生