发布时间:2018-03-28 09:33:21 文章来源:互联网
微博 微信 QQ空间
  

  通过形式化验证来减少bug也是Tezos的一个亮点,之前的一个项目Rchain也是采用的这种方式,相当于把问题解决在前端。当然,有一点也要清楚,形式化验证并不能消除bug,只是尽可能的减少,如果出现解决不了的bug,还是得需要升级系统来解决。
 
  作为当时史上最的一笔爱惜欧项目(2.3亿美金),Tezos自带金钥匙出生,不过却由于其创始人Breitman夫夫妇与基金会的矛盾,导致项目进展异常缓慢,中途甚至停滞不前。虽然现在矛盾有所缓和,但是在研发进度上已经远远落后与EOS这些项目,再好的理念也得靠人来实现,如果Tezos还是按照现在的进度来开展,不排除会出现出师未捷身先死的悲剧。
 
  至于Tezos的token,目前在交易所上市是以期货的形式存在的,说白了就是无法提现到钱包。只能等待主网上线,目前这个项目上线日期已在爽约。也是一个未知的风险。也怪不得有人说这是一个空气项目。
 
  一句话概述:白皮书中描述的前景非常美好,具体能不能实现,还未知。值得加入自选列表观察,毕竟这种投资的话也属于现在的一种热门投资,一定腰冷静冷静再说。
 
  ​PS:分析文章的目的一是学习,二是发现,把感兴趣的币种加入自选列表,等待时机去买入。也并非现在推荐就立刻买。这是不明智的。毕竟整个大环境不好,各币种跟比特币的联动性又这么强,不得不谨慎。

另一视角

换一换