前一阵出差了一趟,这几天把Garay的The Bitcoin Backbone Protocol:Analysis and Applications读完了,有了些新的收获。

在我们之前的文章中,实际上好多的名词或者定义都可以认为是从这篇文章借鉴过来的。我有些概念看完之后依然不是非常理解,先记录下一些印象比较深刻的内容吧。

符号定义

  1. $\gamma$ 就是指诚实节点所具有的的算力
  2. $\beta$ 是指恶意节点所具有的的算力
  3. $f$ 指的是计算出问题所需要的次数(占整体算力的比例)

common prefix

前缀属性,就是指我除去了$\lambda$个最后面的区块后,不同节点间的链的内容是一致的
假设$\gamma > \lambda \beta$,然后$\lambda^{2}-f\lambda+1\ge 1$,其中$\lambda \in [1,\infty)$,这样诚实节点会拥有一样的前缀。
如果$f\to 0$,也就是说$\lambda \gets 1$,就是说不需要什么计算就可以得到结果,那么诚实节点和恶意节点的比例几乎相同
如果$f\to 1$,根据证明$\lambda \gets \phi$,实际上意思就是说恶意节点几乎没有。

chain quality

就是指所有的区块中,由诚实节点所产生的区块的数目,根据在common prefix定义的内容,我们可以知道诚实节点贡献的区块的数目至少是$(1-\frac{1}{\lambda})$,所以我们就知道,在实际系统中$\lambda$越大越好

账本属性

我们定义了两个基本属性,保证了账本的两个基本属性persistence和liveness
这两个和common prefix与chain quality是有联系的,大体对应关系就是common prefix对应persistence,chain quality对应liveness
persistence的含义是指一个交易所在的区块后面有了$k$个区块,这笔交易一定会被所有诚实节点承认。
liveness是指如果一笔交易由诚实节点生成,那么$k$个区块之后,这笔交易一定能够记录下来。

三个算法

定义了账本的基础属性后,论文还对区块链的核心算法进行了理论上的归纳总结。分别是Chain Validation、Chain Comparison以及Proof of Work。
这三个算法实际上和我们理解的常见的算法内容是一样的,只是更加学术,然后对于后面的理论比较容易应用。

其他

论文还对一些其他的内容进行了讲解,我还有些头大,以后再看一遍论文说不定就理解啦。

区块链 论文 比特币 协议

发表新评论