比特币是区块链技术的一个典型应用。央行发行的数字货币，由银行提供验证、背书。
比特币是一个去中心化的数字货币。
去中心化的数字货币，需要解决的问题是：
- 谁发行货币
- 怎么验证
1. 谁发行BTC
比特币的发行是由挖矿决定的。
挖矿本质是争夺记账权，提交下一个区块。提交下一个区块的时候，会获得block reward（出块奖励），出块奖励的比特币是新产生的，等同于发行新的币。
比特币争夺记账权的过程叫作挖矿(mining)，比特币被称为数字黄金(digital gold)，争夺记账权的节点被称为矿工(miner)，一旦找到就能赚钱。
最初的出块奖励是50个比特币，比特币协议规定，每21万个区块后，奖励减半。所以比特币一直运行下去，最终会产生2100万个比特币。
21万 * 50 * （1+ 0.5 + 0.25 + 0.125 + ... ） = 2100万
按照比特币系统平均每10分钟出一个区块的速度计算，差不多4年，出块奖励就减半。
21万 * 10分钟 /（60 * 24 * 365）≈ 4年
2. BTC的验证
比特币依赖区块链，由链上的所有节点共同维护。
比特币在交易的过程中，需要有相应的签名，转出方还需要提供自己币的来源。
上图就是一个简单的比特币区块链，记录了btc交易的流转。
每个小区块有2种hash指针：
-
连接在块之间，记录前一个区块头的hash值，因此形成区块链
-
指向前面的某个交易，指明比特币的来源。
指明币的来源的目的：证明币不是凭空捏造的，同时也能防范双花交易（double spending attack）
区块链里的内容是如何写到区块链里面的呢？
每个节点，每个账户都可以发布交易，交易是广播给所有节点的。有些交易是合法的，有些是非法的。
谁来决定哪些交易应该被写入下一个区块中呢? 按照什么顺序写呢? 如果每个节点自己决定可以吗?
区块链是什么？是个去中心化的账本，账本里的内容得有个统一的说法。如果每个人在本地维护一个区块链，那区块链的统一性得不到保证，而账本的内容是要取得分布式的共识(distributed consensus)。
借这里的图，提个有意思的事情。
如图中所示，A有10个BTC，图中转给B和C各5个，那么能转给B和C各4个吗？
可以，但是剩下的10-4*2=2个BTC 就成了交易手续费 赏给矿工了。
如果不想给矿工，可以给BC各4个，再转给自己另外一个账户2个。
3. 比特币中的共识协议
比特币中共识 (consensus in BitCoin) 要解决的一个问题是，有些节点可能是有恶意的。我们假设系统中大多数节点是好的，那么该如何取得共识协议?
投票
既然大多数节点是好的，那就直接投票，首先应该确定哪些区块有投票权，有些membership是有严格要求的，不是谁都可以加入的，（比如说联盟链hyperledger，只有某些符合条件的大公司才能加入 hyperledger fabric）这种情况下基于投票的方案是可行的。
但是比特币系统不是这样的。
但是比特币系统创建账户是很容易的，就在本地产生一个公钥私钥对就是一个账户，不需要任何人批准，甚至一个人产生了公私钥对别人都无法得知，只有转账时别人才知道。所以有些恶意节点可以不停的创建账户，当超过账户总数的一半时就有了控制权，这种称为女巫攻击(sybil attack)。因此投票方法不可取。
比特币不是按照账户数目投票，而是按照计算力来投票。
每个节点都可以在本地组装出一个候选区块，把它认为合法的交易放在里面，然后开始尝试各种nonce值(占4 byte)，看哪一个能满足不等式H(block header)≤target的要求。
block head里面有一个域叫做nonce。如果某个节点找到了符合要求的nonce，它就获得了记账权。
所谓的记账权，就是往比特币账本里写入下一个区块的权利。只有找到这个nonce，获得记账权的节点才有权利发布下一个区块。其他节点收到这个区块之后，要验证这个区块的合法性。
最长合法链（longest valid chain）
有时候会出现2个矿工都计算出nonce，都对外广播自己挖到下一个区块。其他节点验证之后，选择正确合法的区块，在其后继续挖。最终这个分叉的区块链会分出长短，长的取胜，不在最长合法链上的区块(orphan block)就被丢弃了。
这两条都是最长合法链，那该接受那条呢?
这里的接受 意味着 认可这个区块，并基于这个区块往下继续扩展。
比特币协议当中，在缺省(默认的意思)情况下，每个节点是接受它最早收到的那个。所以不同节点根据在网络上的位置不同，有的节点先听到新生成的其中一个区块，那就接受这个区块；有些节点先听到另一个区块，那就接受另一个区块。
这两个新区块有可能会各自拉拢，两个区块链看谁的算力强，有时候也是看谁的运气好，就会胜出。
比特币系统中共识机制要取得什么共识?
类似于分布式哈希表，有很多系统服务器要维护分布式哈希表，假如有人在自己电脑上插入一个键值对，那么别人在另一台读的时候也要能把这个读出来，这就叫一个全局的哈希表。这里维护的共识是这个哈希表中的内容，包含那些key-value值。
4. 分叉
比特币的分叉，分两种：状态分叉、协议分叉
4.1. state fork
由于对区块链当前状态有意见分歧而导致的分叉。
比如说：2个矿工同时挖到下一个正确的区块，就形成了一个分叉，只不过这个分叉随着时间的推移，会 根据【最长合法链】原则得到解决。
4.2. protocol fork
对比特币协议产生分歧，用不同版本的协议造成的分叉。根据协议修改的内容不同，可以分成 硬分叉 和 软分叉
-
hard fork
什么情况会出现硬分叉？
对比特币协议增加新协议，扩展新功能，未升级软件的旧节点会不认可这些修改，会认为这些特性是非法的。这也就是对比特币协议内容产生分歧，从而导致分叉。
硬分叉的一个典型例子，就是对比特币区块大小的修改。
在BTC系统中，区块大小最大为1MB，可以包含的交易最大数量为4000笔左右。而一个区块产生大概需要10min左右，也就是说，整个比特币系统，平均每10分钟最多只能处理4000笔交易(平均每秒7笔交易)。这个速度严重影响了吞吐量和交易处理。
所以，有人建议增大区块，使得一个区块可以包含更多笔交易。假设扩大到4M。
未升级的节点只认可1M的小块，新的节点对1M和4M大小的都认可。
就可能出现上图的效果：老节点认为包含1和3的块所在的链都是非法的，于是又在2后面分叉 并创建4。
这种分叉是永久性的，只要旧节点不更新，下面的链就永远不会消失。
-
soft fork
目前UTXO是全节点自己在本地为了方便查询自行维护的，但UTXO内容并未写入区块链。
UTXO（Unspent Transaction Output)
比特币采用了一种追踪比特币的流水账记录法。本质上，就是只记录交易本身，而不记录交易的结果。
区块链系统只处理所有的交易，而需要清算、查看余额等信息，由区块链节点自行处理。
在比特币中，采用transcation-base ledger，即基于交易的记账本。通常我们更容易理解account-base ledger基于账户的记账本。
比特币系统中，全节点负责维护UTXO数据结构，保存没有花费的交易。
如果账户要查询余额，可以查找账户在UTXO里输出一共收到多少个币，如果是全结点的话可以算出来，但是很多比特币钱包不可能在手机上维护一个完整的区块链，实际上是一个轻节点，如果查询某账户余额，轻节点便需要询问全节点，全节点根据UTXO中信息可以计算得到账户余额，但如何确保全节点给的数据可信？
有人提议把UTXO集合中的内容也组织成一棵Merkle tree，将其根哈希值写在coinbase域中，（如果改block header的话动静太大，coinbase域正好没人用），改这个域的内容，最后会改到block header中的根哈希值，这样就可以通过Merkle proof证明出来了。
可以看到，旧节点认可新节点的区块，因为旧节点不管你写的内容，但新节点对于旧节点CoinBase域检查时候，发行并没有这个UTXO的根哈希值，不会认可其发布的区块，所以这是软分叉。
小结一下：
soft fork：只要系统中拥有半数算力以上的结点更新了软件，系统就不会出现永久的分叉
hard fork：必须所有节点都更新了软件，系统才不会出现永久性的分叉，如果有小部分结点不愿意更新，系统就分成了两条链
5. 全节点和轻节点
比特币区块链中的节点，分为全节点和轻节点。
如果不需要进行挖矿，只需要进行转账 只需要运行一个轻节点就可以，没必要运行全节点。
两者区别如下：
5.1. 全节点
- 一直在线
- 在本地硬盘上维护完整的区块链信息
- 在内存里维护UTXO集合，以便快速检验交易的正确性
- 监听比特币网络上的交易信息，验证每个交易的合法性
- 决定哪些交易会被打包在区块里
- 监听别的矿工挖出来的区块，验证其合法性
- 挖矿并且可以决定挖矿的方向：最长链方向，如果出现等长的分叉时，选择最先监听到的那一条分叉
5.2. 轻节点
- 不是一直在线
- 不用保存全部整个区块链，只要保存每个区块的块头
- 不用保存全部交易，只保存与自己相关的交易
- 无法检验大多数交易的合法性，只能检验与自己相关的那些交易的合法性
- 无法检测网上发布的区块的正确性
- 可以验证挖矿的难度（即检测你发布的区块是否符合难度要求）
- 只能检测哪个是最长链，不知道哪个是最长合法链
6. 挖矿
前面说了，挖矿本质是争夺记账权，提交下一个区块。
挖矿的过程是无记忆性的memoryless，又称progress free。
就像 抛硬币，我想要抛一个正面向上的硬币，和已经抛过的过程无关系。
每尝试一个nonce，都是在一定概率下满足挖矿条件，和之前尝试了多少次nonce没关系。这种memoryless的特性，使得挖矿成功的概率等于节点占总算力的比例。
比特币中用的哈希函数叫作SHA-256，根据SHA256的特性：块头任意一位发生变化，得到的hash值会变得完全不一样，而且大小变化方向不确定。
挖矿的时候，miner用PoW算法（Proof-of-Work）计算整个块头的hash值，比较hash值是否小于某个值（实际上这个值是保存在块头中的nBit “解压后” 的current_target值）来判断是否满足要求；
如果小于，则广播这个区块；如果不小于，则按照当前挖矿节点的规则改变块头中可以改变的值，然后再次计算块头hash值，以此往复，直到结果小于目标值。
那么块头中，有哪些值可以改变，从而改变整个块头的hash的呢？
除了前面说到的nonce，其实还可以改变merkle root。
每次挖矿，矿工可以得到一定数额奖励。也就是常说的铸币交易，铸币交易（coinbase域）可以自由输入任意的一些内容，从而向上影响整个merkle tree root hash。
6.1 挖矿设备变迁
比特币的mining puzzle是哈希算法，流行的运算工具有CPU、GPU、ASIC等。
第一代，CPU挖矿，CPU擅长逻辑控制，串行的运算。普通电脑挖。
第二代，GPU挖矿，GPU擅长的是大规模并发计算。显卡挖。
第三代，ASIC专用设备挖矿，矿机。
ASIC，Application Specific Integrated Circuit，在集成电路界被认为是一种为专门目的而设计的集成电路。
矿机淘汰速度也很快，过段时间就有更好的矿机问世。
6.2 矿池
单兵作战的模式，已经比较难挖到矿了。
矿池可以将分散的算力集中起来，一个矿池可以管理很多个矿工，矿池负责打包区块，矿工负责接收矿池的任务进行hash运算。
矿池中的矿工按贡献率分配挖矿奖励，矿工的贡献也是采用工作量证明的方式。实际，矿池要求矿工提交一个较比特币puzzle难度低的结果。
比如比特币puzzle要求包含70个0，而矿池要求puzzle是60个0。
矿工每提交一个这样的结果，被认为比较了一个share。这些share中可能包含了符合比特币要求的结果，矿池就可以获得收益。
而绝大部分的share是没有意义的，仅仅作为矿工的工作量证明。
从概率上分析，加入矿池的矿工的收入期望并没有增加，获得的收益任然是矿工占全部节点算力的比例。但是，通过加入矿池，矿工收入的稳定性提高了。一些矿池为了吸引矿工加入，会为矿工提供额外的奖励，这也导致了超大型矿池的出现。
如果有一个矿池 包含了百分之51的节点，也不一定是百分之51，相当大的算力就有可能，那么他可以发动分叉攻击以及Boycott
分叉攻击：比如A将一笔交易给了B，经过了6个区块确认生效后。A发动分岔攻击，再生成一个链比原来的更长（拥有足够高的算力是有可能达到的）然后A转给B这笔交易就无效了。这样B就造成了经济损失。
Boycott：即对任意用户进行“封杀”，比如对A进行封杀，A进行的所有的交易都不让上链，只要A进行一次交易 就进行一次分岔。和分岔攻击不同的是，boycott不需要等6个区块确认，只要A进行上链就发动分岔 越早越好。
6.3 挖矿难度
比特币需要维持约10分钟出一个块，那么就要根据实际情况 动态调整挖矿难度。
难度调整公式：
target = target * actual_time / expect_time
比特币规定每2016个区块调整一次难度，计算公式等价于
newdiff = diff * (2016*10*60) / R
newdiff： 新的难度调整值
diff: 上次难度调整结果
(2016*10*60): 每10分钟产生一个区块，两周时间产生区块数=2016
R: 本次难度调整的2016个出快实际用时
问题，如何让所有矿工同时调整目标阈值target的值呢？
计算target的方法是写在比特币系统的代码里的，每挖到2016个区块。难度就会自动调整。
7. BTC相关问题
- 假设某全节点收到某个转账交易，会不会有可能转账交易中收款人地址该全节点从未听过？
可能，因为比特币账户只需要本地产生即可。只有该账户第一次收到钱时，其他节点才能知道该节点的存在。 - 私钥泄露怎么办？
尽快将剩余BTC转到其他安全账户上，没有第三方中心机构重置密码或冻结账户，只能自己对自己负责。
BTC系统中账户便是公私钥对，密码就是私钥，无法更改。 - 转账写错地址怎么办？
没有办法，只能自认倒霉，无法取消已经发布的交易。如果转入不存在地址，则该部分比特币便成为了死钱。当然，比特币系统中UTXO会永久保存该交易，记录该并不存在的地址。因此，对全节点来说，这是不友好的。
参考资料：
https://blog.csdn.net/qq_41569591/article/details/107932841
标签：Web3.0,比特,交易,分叉,区块,节点,挖矿 From： https://www.cnblogs.com/yejg1212/p/16855818.html