《读懂区块链PoS共识》第十章 PoS项目例子-Tezos

Tezos项目起源于2014年，出发点为了解决频繁的BTC分叉问题，提出了一套可从程序最底层自行升级的系统，希望用链上治理来整顿BTC分叉闹剧。外加上智能合约，Tezos变成了一个可自治理的智能合约平台，从此，Tezos也被贴上了以太坊竞争对手的标签。但不得不说的是，Tezos启用了新的智能合约语言，支持形式化验证，是新一代智能合约平台有力的竞争者。

Tezos有多个特点，在位置白皮书(Position Paper)中也有比较清楚的描述，后多个特点升华出来，其中最为用户感知的就是以下3个：

自治理

自治理指的是Tezos可以通过提议，对基础的协议进行升级。该升级的可以修改到Tezos的最底层协议，满足时代变化所需。Tezos不会像BTC一样无休止的分叉，所有大部分人同意的修改，都会得到执行，而少数人分叉注定是失败的。

为此Tezos提议设计了一套底层协议，来支持底层协议的升级，并配套了一套链上治理机制，用以为协议升级达成一致。两者配合，是目前我们能看到的，在区块链世界开始运用起来的一套链上治理方案了。

形式化验证

形式化验证的概念看起来不太好明白，维基百科给出的定义是：

在计算机硬件(特别是集成电路)和软件系统的设计过程中，形式验证的含义是根据某个或某些形式规范或属性，使用数学的方法证明其正确性或非正确性。

软件测试中，你很难测试出什么是对的，或者什么是错的，唯一能确定的是，你规定了某种情况/方式/方法是错的，然后以这种标准去做软件测试，形式化验证就是这样一种标准。这样的标准能有效帮助系统测试做出有效的判断。

这种标准对智能合约平台是极其有帮助的，因为涉及到Token的价值传播，代码编写就需要极其谨慎，形式化验证对常见的错误进行了规范并纠正，能有效减少代码的bug比率。

当然，不是所有的公有链或者智能合约平台都达到了这个要求，所以形式化验证是Tezos主推的一个特点。

LPoS(Liquid Proof of Stake 流动性的权益证明机制)

2012年PoS共识被提出，后经历了两年左右的发展，Tezos提出了自己的PoS共识，采用了单块抵押金，配合Slash的方式，解决Nothing at stake等重要的PoS问题。创新性的引入委托权益的证明，使得Tezos整个项目的去中心化程度变得较为突出。历经4年，2018年上线主网，目前这套PoS系统成功代替了BTC的PoW共识，无消耗，无竞争，运行良好，也算是开启了PoS第二阶段的第一个项目里程碑(第一阶段是PoS在2012~2014年发展阶段)。

这3个特点的提出吸引了众多的投资人，2017年进行ICO的Tezos获得了2.3亿美金的投资，成功成为2017年ICO募资之最，其中不乏大名鼎鼎的硅谷投资教父Tim Draper。

Tezos的发起人是Authur B，最早是高盛的员工。和其他项目的创始人一样，都从迷恋比特币的白皮书开始进入区块链世界。面对BTC的分叉，ETH的性能，PoW的消耗性能，AB提出了解决办法都应用到了Tezos上。

但是一直以来，Tezos项目都相当低调，据AB说，低调的性格是秉承了法国人独有的调性。所以项目很早之前，开发团队基本不露脸，也不公开发展路线图，社区能得到的消息极少极少，也因此，曾经一度有投资者组成了维权群。

ICO结束后，Tezos经历了项目史上最严重的两次磨难，一个是基金会主席的中饱私囊，ICO募资资金光发自己，不发开发者;另外一个是美国SEC法案将Tezos ICO列入调查的情况。两者相冲突，项目进展信息得不到，社区里一度认为这个项目已经黄掉了，但没想到后面Tezos奇迹的站了起来，由社区请愿罢免了基金会主席，也通过法律手段解决了SEC的问题。

经历了这两次磨难，Tezos的社区变得更加健全，开发者，验证人都在稳步增加，新的基金会大方拨款成立开发者资助计划，目前来看，整个社区发展较为稳健，白皮书中列举的一些方案，都在有序进行当中，包括投票治理，扩容和隐私等，新的一年，还是值得期待的。

目前，Tezos请了四大的会计事务所对Tezos的所有开销进行审计，并公开。从中可以了解到的是Tezos基金会目前还有约5亿美元的资金，可以支持项目的长期发展。长期发展是Tezos提出的一个重要理念，所以我们可以看到Tezos的开发周期基本是按月以上来排的，很多调整都较为仔细，并且和众多高校，科研机构达成了合作，资助了很多开发工具的团队，着重培养学生，准备好了来打区块链5年以上的"战争"。

这种步调，像极了法国人处事的节奏。

代币情况

Tezos的代币称号为XTZ，符号为ꜩ，总量约7.6亿。其中20%留给基金会和团队，其余80%用于ICO。Tezos ICO采取不设硬顶的方式，XTZ的总量和投资总额有一定的关系，最终投资额锁定在2.3亿美元，由此得出的XTZ总量。