Tezos作为目前规模最大的ICO,在13天内募集到了惊人的15亿人民币。今天希多就来带大家看一看,Tezos到底是鬼?为什么能够募集到这么多钱?Tezos值不值得投资?

什么是Tezos?

Tezos是一个全新的分布式应用开发平台。Tezos和EOS一样自比为以太坊竞争者,将会是全新的一个区块连。Tezos和以太坊有许多相似的地方,比如他们都是基于blockchain的技术,他们都为开发者们提供了智能合约。

那么大家不禁要问了,那么Tezos和以太坊到底有什么不同的地方呢?Tezos又有什么底气来把自己比作以太坊竞争者呢?

特性与优点:

接下来希多讲来具体的讲解一下Tezos有别于以太坊的地方:

1.自治Self-Governance以太坊团队认为,协议的更新换代是必须的,以太坊需要不断地改进,这种远见对于更新换代极快的区块连行业是极好的,也是必须的,但是这样也是极其危险的,如果社区的人们意见不统一,那么区块链必然会分叉,你玩你的,我玩我的,就如果最近Bitcoin要分叉成BTC和BTCC的闹剧一样。Tezos的团队也拥有着相同的远见,但是他们却认为协议的更新换代是不需要以分叉为代价的。所以他们开发出了自己更新协议的方法:Self-Governace. 具体的做法是:当Tezos需要更新他的协议时,他会在区块链上发起投票。而网络的参与者们,需要决定到底要不要实行协议的更新。如果大部分人同意,那么协议将会自动的被编译部署到tezos的测试网络上,试运行。在一段时间的稳定运行之后,将会发起另一个确认的投票,如果大部分人同意的话,那么这次协议将会生效,协议的更新将会自动部署到主网络上,并强制网络每个节点更新成最新的协议。使用这样的方法,Tezos便避免了Hard-Fork的这种悲剧发生。

2.形式验证Formal Verification以太坊因为为了满足它的开放性和扩张性要求,注定以太坊的程序不会是完美的,一定会出现bug或者缺陷。以太坊自身有时候也会出现bug.,例如去年黑客利用以太坊的缺陷来发动DOS攻击, 再比如最近沸沸扬扬的ICO资金被盗的事件。Bug的代价真的非常惨痛。Tezos的团队认为,基于区块链的程序出现Bug的代价太大了,所以他们想要尽量减少Bug的出现。因此他们引入了形式验证这个新的特性到Tezos的开发中去。什么是形式验证?通俗的来讲就是,用证明数学题的方法,来开发软件,来用一些数学的公式来证明你开发的软件是完全正确的,是没有任何bug的。有些朋友可能会问到,这不就是软件开发中的测试Test吗?那形式化验证和测试有什么不同呢?这个问题问得好,如果测试用例足够多的话,测试就等于形式化验证。希多在此再举一个例子来区别测试和形式化验证,比如您现在正在开发一个机器人。如果你用Test的方式来验证系统的话,你会创造一些test case比如:机器人前进10步,机器人后退10步等等,这些test 用例非常的具体非常的多。那么请问您如何来验证,“机器人永远不应该伤害人类”这一条需求呢?这里便需要用到我们的形式验证,用一些方法来Proof证明您开发的机器不会伤害人类。总之一句话,形式验证有助于开发者们开发出有效稳定没有Bug的程序,这样可以极大地防止灾难的发生。

3.共识方法 POW vs POS以太坊现在还是在使用POW的共识算法。在以太坊下个版本,大都会中,以太坊将会逐步地从POW转换到POS。尽管如此,以太坊的POS和Tezos的POS确有很大的区别。在以太坊的POS算法中,共识依靠Validator验证者来达成,验证者们是大户,需要交纳1000个eth作为保证金,然后验证网络交易,当有新的block达成共识之后,验证者们将会收到以太币作为报酬,然而这种方式带来的问题是,随着Validator收到越来越多的以太币,那么其他人的以太币的价值就会变得稀释起来,因为以太币的总量变多了,而其他人所持的以太币总量没变。在Tezos的POS算法中,共识依靠Baker面包师来达成,面包师的门槛比较低,人人都可以参与。当有新的block达成共识之后,系统将会随机地从面包师中选取候选者来进行奖励,从某种意义上来讲,人人都可以参与到共识中,并得到奖励。

4.以太坊虚拟机 VS Michelson为了实现智能合约,以太坊在底层搭建了EVM即以太坊虚拟机来实现这个功能。开发者们需要在EVM上,使用更高层次的语言来编写智能合约程序,然后编译成低层次EVM可执行程序。而Tezos确完全去除了虚拟机的概念,Tezos的团队认为智能合约仅仅需要实现一些比较简单的逻辑,现实证明的确如此。Tezos团队认为,所有那些高计算量的任务都可以在Tezos之外计算,然后再将结果递交回Tezos。因此Tezos创建了自己的编程程序Michelson。Michelson除了拥有类似C语言等等底层语言的特性之外,还拥有如Javascript, Java等等高级语言的特性。

争议与挑战:

说了这么多Tezos的好话,那么再来聊一聊Tezos争议的地方吧。

1.Tezos背后的团队Tezos由夫妻档,Breitman和他的妻子Kathleen共同创办,从他们的白皮书可以开出来,Tezos自2014年中期以来一直在发展和改善。Kathleen是该项目的首席执行官。她在与专业服务公司埃森哲(Accenture)合作了近两年之后,担任了分布式分类账初创公司R3CEV的高级战略助理。而她的老公Breitman在2013年至2016年期间担任摩根士丹利(Morgan Stanley)副总裁。

2.ICO该项目由Tezos基金会支持,其总部位于瑞士的楚格州。 而值得一提的是,Tezos这个项目将被外包给Dynamic Ledger Solutions。而众筹的部分钱,将用于像Dynamic Ledger Solutions购买专利费用。Tezos ICO一共募集到了2亿美金。而其中的8.5%将直接进入到Breitman和他老婆的私人口袋。当有人从中赚到那么多钱,肯定会有质疑的声音。不过,希多认为,2亿美金确实太多了。以太坊当年也才募集到2千万美金。所以可以毫不夸张的说Tezos真的是熬着金汤勺出世的富二代。所以,希多认为如果你投资Tezos想要获得以太坊那样的收益是不太现实的。

3.挑战至于Tezos未来能不能和以太坊并驾齐驱,我认为Tezos首先要解决以下几个大问题:生态系统不够完善,应用太少。以太坊是经历了三年时间才吸引到那么多目光。而且以太坊已经成立了自己的以太坊企业联盟。有很多企业都参与到了其中。Tezos在这方面完全不可比拟。大胆的创新有待时间验证。不得不说Tezos的确引入了许多新的概念,比如自我修正,但是这些前卫的概念,究竟能不能为大众所接受,还需要时间的检验。

虽然目前Tezos的ICO已经结束了,但是在3各月之后,Tezos即将在交易所上线(目前期货价格已经3倍于众筹价格0.5美元),如果您觉得Tezos有潜力的话,不妨投资一点点(希多重仓持有。)。

来至于微信号: xiduoshuobi(希多说币)