常用
####

比特币网络系统中并没有特殊创新的技术，它有机的组合了如下领域的已有成果::

    * 密码学
    * 博弈论
    * 记账技术
    * 分布式系统
    * 控制论

挖矿
====

.. note:: 挖矿即不断接入新的Block延续Block Chain的过程


挖矿为整个系统的运转提供原动力，是比特币的发动机，没有挖矿就没有比特币。挖矿有三个重要功能::

    1.发行新的货币（总量达到之前）
    2.维系货币的支付功能
    3.通过算力保障系统安全
    金矿消耗资源将黄金注入流通经济，
    比特币通过“挖矿”完成相同的事情，只不过消耗的是CPU时间与电力。
    当然，比特币的挖矿意义远大于此。


Block Hash算法
==============


区块头部信息结构::

    1. Version(4字节):
        版本号，用于跟踪软件/协议的更新

    2. hashPrevBlock(32字节):
        上一个block hash值，引用区块链中父区块的哈希值

    3. hashMerkleRoot(32字节):
        Merkle根，上一个block产生之后至新block生成此时间内，交易数据打包形成的Hash
        即: 该区块中交易的merkle树根的哈希值

    4. TimeUnix(4字节):
        时间戳，该区块产生的近似时间（精确到秒的Unix时间戳）

    5. Bits(4字节):
        难度目标值，即该区块工作量证明算法的难度目标

    6. Nonce(4字节):
        随机数，用于工作量证明算法的计数器(PoW 问题的答案)

区块结构::

    
    1. 区块大小(4字节):
      用字节表示的该字段之后的区块大小
    
    2. 区块头(80字节):
      组成区块头的几个字段
    
    3. 交易计数器(1-9的可变整数)
      交易的数量
    
    4. 交易(大小是可变的)
      记录在区块里的交易信息



创业区块::

    创世区块的哈希值为：
    0000000000 19d6689c085ae165831e934ff763ae46a2a6c172b3f1b60a8ce26f

概念
====

比特币账户::

    采用了非对称的加密算法，用户自己保留私钥，对他发出的交易进行签名确认，并公开公钥。
    比特币的账户地址其实就是用户公钥经过一系列 hash及编码运算后生成的 160 位（20 字节）的字符串:
        hash算法: HASH160，或先进行 SHA256，然后进行 RIPEMD160

交易::

    交易是完成比特币功能的核心概念，一条交易将可能包括如下信息：
    1. 付款人地址：合法的地址，公钥经过 SHA256 和 RIPEMD160 两次 hash，得到 160 位 hash 串
    2. 付款人对交易的签字确认：确保交易内容不被篡改
    3. 付款人资金的来源交易 ID：从哪个交易的输出作为本次交易的输入
    4. 交易的金额：多少钱，跟输入的差额为交易的服务费
    5. 收款人地址：合法的地址
    6. 收款人的公钥：收款人的公钥
    7. 时间戳：交易何时能生效
    
    网络中节点收到交易信息后，将进行如下检查：
    1. 交易是否已经处理过
    2. 交易是否合法。包括地址是否合法、发起交易者是输入地址的合法拥有者、是否是 UTXO
    3. 交易的输入之和是否大于输出之和
    检查都通过，则将交易标记为合法的未确认交易，并在网络内进行广播

脚本
----

.. note:: 脚本（Script） 是保障交易完成（主要用于检验交易是否合法）的核心机制，当所依附的交易发生时被触发。通过脚本机制而非写死交易过程，比特币网络实现了一定的可扩展性。比特币脚本语言是一种非图灵完备的语言，类似 Forth 语言。


一般每个交易都会包括两个脚本::

    输出脚本（scriptPubKey）
    认领脚本（scriptSig）

输出脚本目前支持两种类型::

    * P2PKH：Pay-To-Public-Key-Hash:
        允许用户将比特币发送到一个或多个典型的比特币地址上（证明拥有该公钥），
        前导字节一般为 0x00；
    * P2SH：Pay-To-Script-Hash
        支付者创建一个输出脚本，里边包含另一个脚本（认领脚本）的哈希，
        一般用于需要多人签名的场景，前导字节一般为 0x05；

以 P2PKH 为例，输出脚本的格式为::

    scriptPubKey: 
        OP_DUP OP_HASH160 <pubKeyHash> OP_EQUALVERIFY OP_CHECKSIG

    其中:
        1. OP_DUP 是复制栈顶元素；
        2. OP_HASH160 是计算 hash 值；
        3. OP_EQUALVERIFY 判断栈顶两元素是否相等；
        4. OP_CHECKSIG 判断签名是否合法。
            这条指令实际上保证了只有 pubKey 的拥有者才能合法引用这个输出。

另外一个交易如果要花费这个输出，在引用这个输出的时候，需要提供认领脚本格式为::

    scriptSig: 
        <sig> <pubKey>
    其中:
        <sig> 是拿 pubKey 对应的私钥对交易（全部交易的输出、输入和脚本）hash 值进行签名
        pubKey 的 hash 值需要等于 pubKeyHash。

进行交易验证时，会按照先 scriptSig 后 scriptPubKey 的顺序进行依次入栈处理，即完整指令为::

    <sig> <pubKey> OP_DUP OP_HASH160 <pubKeyHash> OP_EQUALVERIFY OP_CHECKSIG

.. note:: 引入脚本机制带来了灵活性，但也引入了更多的安全风险。比特币脚本支持的指令集十分简单，基于栈的处理方式，并且非图灵完备，此外还添加了额外的一些限制（大小限制等）

设计理念
========

如何避免作恶
------------

.. note:: 基于经济博弈原理。在一个开放的网络中，无法通过技术手段保证每个人都是合作的。但可以通过经济博弈来让合作者得到利益，让非合作者遭受损失和风险。


博弈论早已被广泛应用到众多领域::

    一个经典的例子是两个人来分一个蛋糕，如果都想拿到较大的一块，在没有第三方的前提下，该怎么指定规则才公平？
    最简单的一个方案是负责切蛋糕的人后选。

推广到 N 个人::

    比特币网络需要所有试图参与者（矿工）都首先要付出挖矿的代价，进行算力消耗，
        越想拿到新区块的决定权，意味着抵押的算力越多。
    一旦失败，这些算力都会被没收掉，成为沉没成本。
    当网络中存在众多参与者时，个体试图拿到新区块决定权要付出的算力成本是巨大的，
        意味着进行一次作恶付出的代价已经超过可能带来的好处。


负反馈调节
----------

比特币网络在设计上，很好的体现了负反馈的控制论基本原理::

    比特币网络中矿工越多，系统就越稳定，比特币价值就越高，但挖到矿的概率会降低。
    反之，网络中矿工减少，会让系统更容易导致被攻击，比特币价值越低，但挖到矿的概率会提高。

    因此:
        比特币的价格理论上应该稳定在一个合适的值（网络稳定性也会稳定在相应的值），
        这个价格乘以挖到矿的概率，恰好达到矿工的收益预期。

共识机制
--------

.. note:: 传统的共识问题是考虑在一个相对封闭的体系中，存在好节点、坏节点，然后如何达成一致。对于比特币网络来说，因为它是开放的，网络质量也是完全无法保证的，导致问题更加复杂，难以依靠传统的一致性算法来实现。


比特币网络对共识进行了一系列的放宽，同时对参与共识进行了一系列的限制::

    1. 不实现最终共识，理论上现有达成的任何结果都可能被推翻
        只是被推翻的可能性随着时间而指数级的下降，要付出的代价迅速上升
    2. 达成共识的时间比较长，而且是按照块来进行阶段性的确认（快照），提高网络可用性
    3. 通过进行 PoW 限制合法提案的个数，提高网络的稳定性

闪电网络
========

比特币的交易网络最为人诟病的一点便是交易性能::

    全网每秒 7 笔的交易速度，远低于传统的金融交易系统；
    同时，等待 6 个块的可信确认导致约 1 个小时的最终确认时间。

闪电网络的主要思路十分简单::

    将大量交易放到比特币区块链之外进行。
    该设计最早是 2015 年 2 月在论文《The Bitcoin Lightning Network: Scalable Off-Chain Instant Payments》中提出

    比特币的区块链机制自身提供了很好的可信保障，但是很慢；
    另一方面考虑，对于大量的小额交易来说，是否真实需要这么高的可信性？

    闪电网络通过智能合约来完善链下的交易渠道。

核心的概念主要有两个::

    RSMC（Recoverable Sequence Maturity Contract）
    HTLC（Hashed Timelock Contract）
    前者解决了链下交易的确认问题，后者解决了支付通道的问题


RSMC
----

* Recoverable Sequence Maturity Contract，中文可以翻译为“可撤销的顺序成熟度合同”

这个词很绕，其实主要原理很简单，就是类似准备金机制::

    我们先假定交易双方之间存在一个“微支付通道”（资金池）。
    双方都预存一部分资金到“微支付通道”里，之后每次交易，就对交易后的资金分配方案共同进行确认，同时签字作废旧的版本。
    当需要提现时，将最终交易结果写到区块链网络中，被最终确认。可以看到，只有在提现时候才需要通过区块链。

    另外，即使双方都确认了某次提现，首先提出提现一方的资金到账时间要晚于对方，这就鼓励大家尽量都在链外完成交易。

HTLC
----

* 微支付通道是通过 Hashed Timelock Contract 来实现的，中文意思是“哈希的带时钟的合约”。


这个其实就是限时转账。理解起来其实也很简单::

    通过智能合约，双方约定转账方先冻结一笔钱，并提供一个哈希值，
    在一定时间内有人能提出一个字符串，使得它哈希后的值跟已知值匹配（实际上意味着转账方授权了接收方来提现）则这笔钱转给接收方

    推广一步，甲想转账给丙，丙先发给甲一个哈希值。
    甲可以先跟乙签订一个合同，如果你在一定时间内能告诉我一个暗语，我就给你多少钱。
    乙于是跑去跟丙签订一个合同，如果你告诉我那个暗语，我就给你多少钱。
    丙于是告诉乙暗语，拿到乙的钱，乙又从甲拿到钱。
    最终达到结果是甲转账给丙。
    这样甲和丙之间似乎构成了一条完整的虚拟的“支付通道”。