Tezos是一个可以自我修复的区块链,可以随着时间的推移自我升级,通过自我修复来实现功能迭代的区块链底层网络。Tezos可以自行升级,而无需将网络分叉成两个不同的区块链。利益相关者可以就协议的修正案进行投票,不仅限于对提案达成共识的任何因素。就像以太坊一样,Tezos支持智能合约,并提供一个平台让其他人在其上建立去中心化的应用程序(Dapps)。
简单来说,Tezos就是一个类似于ETH的智能合约平台,但是平台的发展完全由社区投票来决定,是一个完全自制的智能合约平台!
而智能合约,正向项目创始人说的那样,在未来会有广大的用处,比如在入住酒店是的check in,重新分布宽带的带宽,记录健康记录信息,等等场景!
Tezos的创新之处
虽然以以太坊为首的智能合约平台去年得到了广泛的关注,但是现在以太坊平台存在两个问题,一个是拥堵问题,一个平台安全问题。
由于以太坊共识机制及一些历史原因限制,ETH的可扩展性极差。艾希欧高峰期,或者出现加密猫或者Fomo3D这些很多用户参与的Dapp时,以太坊都会出现网络瘫痪的状态。
另外,以太坊目前无论是自身还是使用以太坊智能合约语言开发的智能合约,到处都存在漏洞。外国的一团队使用特征分析扫描了以太坊上的100份智能合约,抽样分析显示其中89%的存在真正的漏洞:之前的DAO被黑事件,Parity多重签名事件引发Polkadot被锁币事件,还有年初多个以太坊艾希欧项目被黑客利用出线数字资产被盗的事件,都表明以太坊平台存在很多安全的隐患!
Tezos的形式化验证(Formal Verification)
向上面提到的一样,为了减少区块链智能合约平台的bug,Tezos在设计之初就考虑到了这一点,引入了形式化验证来极大程度的减少系统的bug。通俗的来说,形式化验证根据某个或某些形式规范或属性,使用数学的方法证明其正确性或非正确性。也就说说,Tezos用数学来证明合约,消除很多潜在的bug,尽可能的让开发者开发出稳定且无bug的程序。这也是Tezos最核心的特性。
不需要应分叉的平台升级
比特币,以太坊等平台在发展的过程中都出现过硬分叉的现象,但是Tezos的设计重点是可以在不进行硬分叉的情况下实现区块链的升级。Tezos解决这一问题的技术是链上治理,通过链上治理,Tezos则可以做到在不硬分叉的情况下自我升级和修正,并且允许所有持币人参与到决策中来。
当Tezos需要更新他的协议时,他会在区块链上发起投票。而网络的参与者们,需要决定到底要不要实行协议的更新。如果大部分人同意,那么协议将会自动的被编译部署到tezos的测试网络上,试运行。在一段时间的稳定运行之后,将会发起另一个确认的投票,如果大部分人同意的话,那么这次协议将会生效,协议的更新将会自动部署到主网络上,并强制网络每个节点更新成最新的协议。