虎符研究院:一份关于Tezos的深入研究报告

摘要:在2022年3月31日Tezos将会迎来自从平台建立以来史无前例最大的一次更新,这次更新将带来底层智能合约的重大改变。而且Tezos也是一个有着巨额融资的融资的区块链平台,可谓是含着金钥匙出生的,所以本期就介绍一下Tezos并来看看这次的更新后将会带来哪些的变化。
什么是Tezos
Tezos是一个对标以太坊的具有图灵完备智能合约的区块链网络,和以太坊一样,Tezos也支持智能合约,并可以提供一个去中心化的平台让开发者在其上建立去中心化的应用程序(Dapps)。只不过相较于以太坊他是一个可以以自我修复和升级的区块链,他可以随着时间的推移进行自我升级。以下是Tezos的所主打的特点:

工作方式
Tezos使用的是一种称为种子协议的区块链协议来进行工作。其中规定了需要使用Coin来验证的区块股权证明算法,即可以通过修改其种子协议来支持多种基于区块链的算法,实现快速迭代代码以及升级算法,从而自我修正成为一套新的区块链协议。而具体的工作流程可以参考以下的共识机制。
此外除了工作方式的介绍,种子协议还规定了Tezos初始就会有一百亿个币,这些币小数点后保留两位。一个币被称作 1tez,而最小的单位是分。使用?来代表一个 tez,也简称为XTZ。
共识机制
Tezos的共识机制虽然也称之为PoS,但是Tezos却有属于自己独有的特点,这套机制称之为流动权益证明LPoS(Liquid Proof of Stake)。在Tezos 里面,生产区块的人叫烘焙师(Baker),生产区块的过程叫烘焙(Baking),而烘焙的这个过程就会创建新XTZ。XTZ每年按照5%的增长率增加供应量。
首先每个区块都由烘焙师创建完成,而持有者用户则可以将他们的份额质押给烘焙师,让烘焙师负责检验所有的交易并把他们加到链上,之后烘焙师会获得一些额外的 XTZ 奖励。作为区块验证的奖励为16XTZ,也因此每一个烘焙块的产生,XTZ的总量会增加16XTZ。

当然只有持有XTZ数量超过8000 的用户才可以进行烘焙,而持有者可将他们的份额委托给烘焙师进行统一的烘焙,并且之后的奖励再根据份额的比例来进行分摊(注意在这里Token的持有者的控制权并没有进行转移,控制权还在自己手中,烘焙师拥有的是代理权)。
这听着跟传统企业治理的那套股东代理人机制很像,其实也确实可以这么来做类比。只顾不过股东是广大的用户,他们可以将他们的XTZ像股权一样给一个项目的开发者,这个开发者就像职业经理人一样来进行项目的开发和管理,而收益则是之后和哪些质押的“股东”进行共同的分成。这种质押的机制,很大的程度上鼓励着用户积极参与到项目中去,而事实上目前也有超过80%的币在质押。
特点
1、自我修正性(Self-Amendment)
Tezos这条公链具有自我修复功能。持有者可以自己抵押Token做节点,也可以通过委托给Baker(烘焙师)的方式间接参与治理,并进行技术升级和迭代,最大程度地避免分叉,从而实现稳定升级。
2、形式验证(Formal Verification)
Tezos团队认为基于区块链的程序出现bug的代价太大,想要尽量减少bug的出现,所以引入了形式验证到开发中去。就是证明数学题的方法来开发软件,类似于开发软件时的测试,不同点是如果测试的量足够那么其就是形式验证。形式验证有助于开发者开发出稳定没有Bug的程序,可以极大的防止灾难的发生
3、共识方法POS
Tezos用的也是POS。不过Tezos的POS算法中是依靠Baker(烘焙师)来达成,其门槛比较低,人人都可以参与。当有新的block达成共识之后,系统将会随机的从烘焙师中选取候选者来进行奖励。人人都可以参与到共识中并获得奖励。
4、Michelson
Tezos完全去除了虚拟机这个概念,Tezos的团队认为智能合约仅仅需要实现一些比较简单的逻辑即可,所有高计算量的任务都可以在Tezos之外进行,然后将结果递交给Tezos,因此Tezos创建了自己的编程语言Michelson,他拥有类似C语言等底层语言的特性,而且还拥有如Javascript,Java等高级语言的特性。
优势
他最大的优势就是自我修正性(Self-Amendment),即自我更新。我们知道传统的平台软件更新都是集中在中心化的机构里的,但是由于区块链去中心化的特点,平台并不掌握在某个个人或机构手中,那么更新就是一件非常困难的事情。
而在Tezos中解决这个问题的方式就是Self-Governance,做法就是当Tezos需要更新他的协议时,就会区块链上发起投票,而网络参与者们需要决定要不要实行协议的更新,如果大部分人同意那么协议将会被自动编译部署到Tezos的测试网络上进行测试运行。如果在一段时间的可以稳定运行,那么就会发起一个确认的需求,如果大部分人同意这个需求,那么这次协议将会自动生效,协议的更新将会自动部署到主网络上,并强制网络上的每个节点更新成最新的协议。而这种方法不仅解决了去中心化的更新问题同时也让Tezos避免了分叉的发生。像以太坊合约中经常爆出的bug这样的事,在Tezos上将极少发生。
生态
目前的生态包括以下区块链浏览器、区块开发(烘焙)工具、社区、去中心化金融、开发工具、NFT、游戏、数字身份和稳定币这9个维度共77个工具。其中NFT占大头,这也跟最近Tezos搭上NFT热火朝天的快车有关。如果排除NFT,那么DApp的数量还是不占优势的。尤其是跟拥有超过300数量DApp的以太坊相比。

团队
不同于大多数公链项目多是由技术人员,Tezos则是一对华尔街的明星夫妻——丈夫Arthur Breitman和妻子Kathleen Breitman共同创办。Kathleen与专业咨询公司埃森哲合