区块链技术与应用:系统实现
小饱1
发表于 2023-1-14 19:04:42
180
0
0
比特币采用的是基于交易 transaction-based ledger的账本模式?。每个区块中记录的是交易信息,转账交易,铸币交易。但是没有记录某个账户中有多少钱,需要根据交易记录去推算。区块链中一共有多少往某账户的地址转账的交易,转入多少币,这些币中又有多少被花掉,推算出余额。
比特币中全节点要维护一个UTXO的数据结构(Unspent Transaction Output),是由还没被花掉的交易的输出组成的集合。一个交易可能有多个输出,如下:* E) I: g A: l: E
A→B (5BTC) 花掉了,不在UTXO中。 B→D (5BTC) 在UTXO中。
→C (3BTC) 在UTXO中。
UTXO为了检测double spending,想要花掉的币必须在这个集合中才是合法的,如果不在集合中要么不存在,要么被花过。全节点要在内存中维护UTXO结构。
随着交易的发布,每个交易会消耗一些UTXO输出,也会产生新的输出。
每个交易可以有多个输入,也可以有多个输出。所有输入的金额要等于所有输出的金额,即 total inputs = total outputs。有些交易会出现input > output,那么这个差额就是作为交易费给获得记账权的节点。
比特币系统的激励机制:1.block reward 2.transaction fee(这也是为什么获得记账权的节点会打包别人的交易): V2 Z% w# ^. B
目前来说,获得记账权的目的还是为了得到block reward,12.5BTC,但是这个奖励每21万个区块会减半,大概是4年时间(21w10min) / (60min24h*365d)。很多年之后block reward就会变得非常小,到那时transaction fee可能就会变成主要奖励。7 o2 W+ ~7 s# i; C- M# j- v
另外一种与之对应的模式是基于账户account-based ledger的模式,例如以太坊,这种模式需要显式的记录每个账户有多少个币,不需要显式说明币的来源。) x. q2 t; s$ c$ `5 V
具体区块信息例子:, a6 n8 d, J% h8 }/ a- L5 N- T
图片来源于视频截图
4 ]6 H0 f8 |+ s& ^/ e
挖矿概率分析:+ K; i# U/ U A$ Q* }. Z6 m
挖矿就是不断地尝试nonce,来求解puzzle。每一次尝试可以看作是一次Bernoulli trial(a random experiment with binary outcome),eg:抛硬币。如果做了很多的Bernoulli trial,每个实验都是随机的,那么这些Bernoulli trial就够成了一个Bernoulli process(a sequence of independent?Bernoulli trials)。Bernoulli process一个性质是无记忆性 memoryless,即做大量的实验,前面的结果对后面没有影响。?
对于挖矿来说,每次尝试nonce,成功的可能性很小,需要尝试大量的nonce才能符合要求,这种情况下,Bernoulli process可以用Poisson process来近似。实验的次数很多,每次成功的概率很小。9 U6 `. H: L }/ S" \0 o) [
出块时间服从指数分布 exponential distribution。整个系统平均出块时间为10min,是比特币协议设计的定期调整挖矿难度,使得平均出块时间维持在10min左右。具体到每一个矿工,他能够挖到下一个区块的时间,取决于矿工的算力占系统总算力的百分比。指数分布也是无记忆的,也叫作progess free,是挖矿公平性的保证。
比特币总量分析:
出块奖励每隔4年要减半,这样产生出来的比特币数量就构成了几何序列 geometric series。
21w50+21w25+21w12.5+… = 21w50*(1+1/2+1/4+…)=2100w。2100w就是比特币系统中所有比特币的总量,包括已产生的和将要产生的。
比特币求解puzzle的过程, 除了比拼算力,没有其他的实际意义。比特币越来越难被挖到,是因为出块奖励被人为减少了,比特币的稀缺性是人为造成的。虽然挖矿求puzzle本身是没有实际意义,但是挖矿过程对维护比特币系统安全性是很重要的,Bitcoin is secured by mining。挖矿提供了一种凭借算力投票的有效手段,只要大部分算力掌握在诚实的人的手里,系统的安全性就能够得到保证。$ u% ^+ R1 s+ W2 j! h
**
比特币安全性分析:**0 [0 L1 H; L# u0 Y! t8 Y: r6 i
前提假设大部分算力掌握在诚实的人的手里。挖矿给出的只是概率上的保证,只能说有比较大的概率下一个区块是由一个诚实的矿工发布的,但是不能保证记账权不会落在有恶意的人手里。如果有恶意的节点获得记账权,他可能会做的事:
1.伪造一笔不合法交易,比如把别人账上的钱转到自己的账户上,但是由于自己不知道别人的私钥,所以不合法,验证不通过。那么其他诚实节点不会认同该区块,因为包含不合法交易,所以还会接着上一个区块去扩展,那么根据最长合法链,该区块不会获得block reward,而且浪费大量电力,人力。1 c4 @+ b" Y, P+ M: _0 c2 @4 e
2.通过forking attack想把花出去的钱再次花出去,比如M转账给A,已经写到区块链中,那么现在M获得记账权,又发布另一个交易,把这个钱转回给自己。新的区块不能写在上次转账的区块后面,因为double spending很明显,只能写在上次转账的前一个区块后面,即forking attack。区块插入的位置是在设计区块的时候就决定的,这种情况下攻击难度很大,有恶意节点获得一次记账权是不够的,还需要不断地获得记账权。防范这种攻击就需要多等几个区块确认 confirmation,缺省情况下需要6个confirmation,这个时候认为前面的交易不可篡改,等待时间大概是一个小时左右。; M* k/ n: z3 ^ k" i" ~. S- f+ X
" \3 m3 l* M+ b; z1 u; W i+ O
3.恶意节点获得记账权,故意不写合法的交易,但是合法的交易可以被写到下一个区块里,总会有诚实的节点写合法交易。正常情况下也会出现合法交易没有被写到区块中,因为可能某段时间交易数目太多,比特币协议中规定每个区块大小是有限制的,区块大小不能超过1M字节,所以如果交易太多那么有些交易只能等到下一区块发布。. o1 z) B2 _. S, a; W
4.selfish mining。正常情况下如果挖到区块会及时发布,以免别人挖到后自己的区块无效,作废了。但是在selfish mining中,挖到区块先不发布,隐藏一条链,等待超过最长合法链时发布。
目的:1)forking attack的一种手段,但是恶意节点需要超过51%的算力,难以实现。: ~" t3 A( u' }# P! y) w/ O* o4 N
2)就是为了赚取正常的出块奖励,挖到第一时间不发布,那么其他人还会接着上一个区块挖,自己延着已挖到区块的挖,减少该区块的竞争。如果自己已经挖到第二个区块,当其他人宣称挖到第一个区块之后,自己把手里的两个一起发布,成为最长合法链。这种做法风险大,要以为别人挖出第一个区块时,自己能够挖出第二个,否则当别人挖出第一个发布时,自己手里只有一个,这时候是等长链,只能去竞争。
成为第一个吐槽的人