垃圾分类手抄报:区块链有技术吗?
2019年9月10日

垃圾分类手抄报:区块链有技术吗?

区块链当然有技术,而且区块链是个复杂的交叉学科。先不谈,区块链的人文,社会,经济方面的技术,我不太专业。就纯粹从计算机技术来看,区块链的技术也非常的庞杂和专业。

垃圾分类手抄报:区块链有技术吗?

垃圾分类手抄报告诉大家:先从编程语言开始。2018年,go语言在区块链流行,几乎大点的公链都是用go进行开发,确实简洁好用,网络处理,命令行处理,都有非常丰富的库。2019年,rust语言慢慢流行起来。Facebook的libra项目全部采用rust语言开发。零知识证明的一些库也是由rust语言开发。Rust语言类型预先定义,避免安全隐患;数组定长,防止溢出攻击。Rust语言有个新的概念,所有权(Ownership)的内存管理方式。内存的所有权管理方式,能让编译器在编译的时候检查。所有权是管理堆上数据。通过所有权的设计,Rust在编译的时候,能检查和避免 数据竞争情况(多个地址访问同一数据,数据写入的时候必须有效等等)。区块链开发,经常在多种开发语言之间切换:go,rust,C++,python。有的时候,代码开发有点恍惚:变量类型的定义在变量的前面还是后面?表达式后面需不需要分号?表达式后面是否要加冒号?

数据结构,区块链中有两个比较重要的数据结构:Merkle树和DAG结构。Merkle树,通过叶子节点两两计算hash结果,生成上一层的节点,直至树根。Merkle树数据结构,有很明显的好处,叶子节点的任何改动,都会改动树根。Merkle树还有个优点,在给定某个Merkle path,能证明某个叶子节点确实在以某个树根的merkle树上。Merkle树,也有很多变种。以太坊管理账户信息(世界状态),使用的是MPT树。MPT树通过增加或者合并节点,优化了Merkle树的深度。Merkle树一般是两叉树,其实还可以扩展为多叉树。

DAG,有向无环图。传统的区块链(比如,比特币,以太坊),使用的单序的区块链接方式,也就是后一个区块依赖前一个区块。这种传统的区块链组织方式,限制了交易的性能(TPS)。为了提高TPS,DAG是一种新的区块组织的方式。如何在DAG的区块结构方式下,确定区块/交易的顺序,有很多相关的研究和算法。

虚拟机和智能合约,虚拟机是在区块链上安全执行“程序”的环境。智能合约,就是在虚拟机中执行的程序。不同的公链提供了不同类型的虚拟机,比如以太坊的EVM,星云链的JVM,EOS的基于WASM的虚拟机等等。不同的虚拟机有不同的编程规范。

共识算法,共识算法让数据在一定的网络环境下达成共识。最传统的是BFT/PBFT共识算法,基于投票以及少数服从多数的原则,只要超过2/3的节点签名的数据就是达成共识的数据。PBFT共识算法,需要有几个阶段,每个阶段都需要收集超过2/3的节点签名。这种方式,安全可靠,不会有区块分叉,但是效率比较低。PBFT共识算法的复杂度是O(N^2)。为了提高共识算法的性能,提出了其他很多基于BFT思想的共识算法,比如HoneyBadgerBFT算法,LBFT算法。Algorand也是PBFT算法中的一种变种,先随机抽取节点,然后让这些抽取的节点用PBFT算法形成共识。POS/DPOS共识算法,采用和PBFT算法完全不一样的共识原理。POS/DPOS共识算法,采用谁抵押多,谁出块概率高的思想,简单粗暴。抵押越多,贡献越大,也有相应的出块奖励。

加密算法,区块链中的加密算法比较多。椭圆曲线加密,各种签名算法(BLS,盲签,环签等等)。

零知识证明,零知识证明的理论基础就更多了:椭圆曲线,大数计算,群论,同态加密,配对函数,零知识证明的各种算法(zkSNARK,zkSTARK,BulletProof等等)。零知识证明的理论可以追溯到1985年。目前有两个方向的应用:隐私和数据压缩。Zcash就是利用零知识证明实现交易隐私,交易的双方信息以及交易金额只有交易双方可知。Loopring的去中心化交易协议3.0,就是利用零知识证明实现了链下计算,链上验证的思想。Filecoin利用零知识证明实现”数据的压缩“,用户存储的数据(数据量很大)不需要直接上链,只需要将数据证明(数据量比较小,几百个字节)存储在链上。在零知识证明技术之前,区块链世界是区块链世界,现实世界是现实世界。零知识证明的技术,提供了一种方式,将现实世界,部分映射到了区块链世界。

垃圾分类手抄报表示:很多人问我,为什么坚持做区块链技术,因为我对区块链技术感兴趣。仅此而已。

联系我们