位置:编程技术网 > 架构设计 > 正文 >

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

2019年05月25日 15:58来源:未知手机版

青桐木虱

项目介绍

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

本文地址:http://www.reviewcode.cn/jiagousheji/49716.html 转载请注明出处!

今日热点资讯