BCH又双叒叕分叉了。起因是一个“基础设施融资计划”的升级，它想要做的是把矿工挖矿收益的一部分捐赠给向BCH提供技术支持的项目，而社区和很多矿工却不同意这种强制性的协议修改。
这一次分叉除了带来了BCH价格短时间10%左右的跌幅，并没有引起太多的关注。不过两年之前与BSV的那一次分叉，却差点断送了BCH整个社区的生命。
其实比特币系的区块链历史上分叉已经成了家常便饭，比特币仅在2017年就产发生了多次分叉，并产生了BCH、BTG、B2X、BCD、SBTC、BCHC等多种分叉币。
分叉的原因在于社区的意见无法达成统一，深一层的原因是在去中心化的社区中没人具有绝对的话语权，再深一层是因为比特币的区块链中没有设计如何做决策的问题，没有考虑如何解决社区分歧和区块链软件升级的问题。
也就是说比特币的设计中没有治理机制。
虽然说区块链的分叉无可避免，区块链的去中心化自由理念也允许分叉的存在，但是它无疑也会给项目带来共识，社区，网络效应，甚至是本身价值等多方面的损失。严重的分叉对一个初创项目更可能会带来致命的打击。
根据刘昌用老师的说法，比特币在2017年的扩容之争中受到的损耗非常大，但是因为当时处于牛市，分叉带来的损失被人们忽视了。如果没有那次分叉，比特币的最终表现会好很多。
从上面的分析我们可以总结出比特币的分叉原因，一方面是因为它本身的初始设计不能满足后人的使用，而更重要和关键的原因却是缺乏治理机制导致的。
今天我们要分析的第一个话题就是
一、治理对区块链项目为何如此重要？
原因一，如上所述区块链没有具有控制地位的中心，就没有具有绝对话语权的人或组织，所有人都可以秉持自己的主张。没有一个有效的决策机制就很容易让社区消耗在各种无畏的争议和分歧之中，因此组织中如何做决策和达成共识就成为一个非常重要的课题。
治理就是帮助区块链组织做决策和执行决策的机制。
原因二，区块链根本上是一个由软件系统支撑的分布式账簿，任何软件都会有出现bug的可能，也必然会产生随时间推移环境变化而更新和升级的需要。而区块链网络中的软件分布在世界各地的节点服务器上，升级就意味着需要所有节点的同意和同步。因此如何让分布式节点统一升级账本，以及如何升级又是一个需要达成共识的治理问题。
可以说治理是帮助区块链实现自身进化的重要手段。
在比特币和以太坊之后的很多区块链项目都认识到了治理在区块链项目中的重要性，也在治理方面进行了很多的探索，提出了很多区块链进化的思路。
TEZOS就是这个探索过程中一个非常具有代表性的区块链明星项目。它最重要的理念就是依靠治理实现区块链的进化，避免类似比特币系区块链的分叉带来的损失，从而实现更好地续存和发展的目标。
所以，我们要分析的第二个话题是TEZOS的自进化理念。
二、TEZOS的自进化理念
第一、TEZOS是个什么样的区块链？
1．TEZOS是一个能够进行自我升级和进化的公链智能合约平台，能够通过对软件代码的修改来实现分布式账本的升级，和区块链协议的自我进化。这是TEZOS最大的特点。
2．进化原理是通过一套治理机制来实现。它定义了一套如何用程序化的方式来实现利益相关方同意区块链升级的基础协议，定义中升级的范围既包括对软件代码本身的修改，也包括对修改内容投票的程序。也就是说TEZOS系统中可以进化的内容不仅仅是区块链的账本软件，也包括对软件升级的决策方式和操作流程。
它们合起来构成了TEZOS的治理机制。
3．自进化的逻辑是：第一TEZOS提供了一个初始版本的区块链基础框架或者原型，它的功能和设计可能更多会考虑初始时期的需求，或者TEZOS理念中最重要的需求，可以理解为1.0版本；第二在之后使用的过程中，随着区块链的发展和人们需求的变化，会对TEZOS的系统能力提出更高的要求，在1.0版本无法适应新变化的时候，就可以发挥TEZOS在自进化解决方案中的优势，通过对TEZOS区块链的升级来提高系统能力，达到随着形势变化而自我进化的目的。
第二、TEZOS具体如何实现自进化的目标？
TEZOS的治理机制就是如何决定由利益相关方同意并执行区块链升级的机制。在展开其具体实现过程之前我们需要通过TEZOS的共识机制来弄清楚利益相关方。
1.LPOS共识机制：
TEZOS共识采用的是权益证明POS的一种，以持币数量多少来决定在网络中的话语权。
持币XTZ满8000个，也就是一个卷，就达到成为区块生产者的条件，TEZOS的区块生产者被称为面包师或者烘焙者。
在众多面包师中决定每一个区块的出块人，是通过随机算法来选举决定。每个生产周期选举一次出块人，每个周期生产4096个区块，时间大概为2.84天。在周期开始之前，决定出下一个区块的出块人，同时需要决定出32个验证人为新区块做共识背书。
出块人和验证人被选中的概率与面包师拥有的卷数量成正相关，持币越多，被选中的几率会越大。
出块人和验证人尽职工作都会得到奖励，奖励来自系统的增发，比例目前为每年4.96%。
TEZOS对出块人和验证人数量没有限制，但并不是所有持币者都有能力成为面包师。对无法参与到区块生产中来的持币者，TEZOS采用了委托代理DPOS的机制，让所有持币者都可以将自己的XTZ委托给其他面包师，代理自己行使出块和验证的权利，享受区块生产过程中产生的奖励。
但是TEZOS的DPOS与EOS等其他项目采用的DPOS又有着根本的区别。
第一TEZOS的委托代理根本目的是为了激励所有持币者都能参与到区块生产和网络建设中来，最大可能的实现去中心化。而EOS的DPOS根本目的是为了选择出21个超级节点来行使整个网络的出块权利，从某种意义上说是将权利集中到21个节点上的体现。
第二TEZOS中委托给验证人的是代币的生产权益，但并不锁定代币的流动性。也就是说在TEZOS系统中，持币者将XTZ委托出去可以享受出块和验证的收益，但是XTZ的流动性仍然在自己的钱包中，甚至你还可以将XTZ转移出去。因此TEZOS的DPOS又被称为LPOS。
通过上面的分析我们可以整理出TEZOS网络中的利益相关者与他们之间的关系，分别是出块人，验证者和委托者。
接下来我们来看TEZOS治理机制的具体实现。它包括从提议到投票的整个流程以及配套的系统，全流程以链上治理的形式完成。
2.TEZOS的治理流程
TEZOS的治理流程分为四个阶段：提议阶段，探索阶段，测试阶段和推进阶段。每个阶段的时长以周期来计算。
1）提议阶段：第1-8周期。主要工作是广泛收集议题。每个验证节点都可以发起提议，并由所有验证人投票，得票最多的议题将会进入下一个阶段。
2）探索阶段：第9-16周期。同样是由验证人投票，如果投票达到法定人数，并且80%的绝大多数卷投赞同票，则会进入测试阶段。
3）测试阶段：第17-24周期。这个阶段又分成两个阶段，前面48小时会从主链分叉出一个测试链，用来测试经过投票进入这一阶段的提案。之后的7.3周期时间会用来对测试结果进行评估。
4）上线推进阶段：第25-32周期。经过测试和评估之后，验证人可以对提案进行下一轮的投票，目的是推进提案从测试网到主网上线执行。在满足法定投票人数和80%卷投赞成票两个条件之后，提案便会被部署到主网并激活生效。
根据TEZOS的治理机制，底层协议的一次升级需要经历3次验证人的投票，48小时的测试以及20天左右的评估，历时32个周期，大概90天左右才能最终被部署到主网。
这可以理解为TEZOS的一个进化周期。
从治理流程中我们能看出TEZOS的治理，决策主体是网络中的验证人，需要质押一定的持币并需要注册成为验证人。也就是说认同项目长期发展并积极参与系统建设的持币者才具有治理的资格。这也符合项目长期发展的利益诉求。
TEZOS的治理机制，让长期利益相关者可以通过一套规范的标准和流程，针对系统的升级自动进行决策并执行。
升级提议的发起，讨论，审议，投票，以及决策和执行整个过程都在社区所有人的参与和见证下进行，意味着原则上所有人的意见都可以被看见和倾听，不同意见会经过足够的时间去消化，最后能够通过的提案都是代表了大部分人的意见并达成了共识。
因此它最大的作用应该是化解分歧，避免区块链的分叉，当然根本目的是实现区块链的自我进化。
以上所讲的两种机制是TEZOS项目非常重要的两个特征，它们对TEZOS甚至整个区块链行业都具有非同一般的意义。
第三、TEZOS两种机制的重要意义
1.TEZOS的自进化机制，让区块链在使用过程中进行升级和提升变成了有章可循自动发生的行为，最大限度地避免了分叉。它带来的意义是让区块链项目的发展过程更具有完整性，连续性，延续性和稳定性。
2.LPOS机制的意义，一在于它能使TEZOS的网络具有很高的去中心化。TEZOS目前拥有408个能够出块的验证节点，这一数据在所有类POS机制的公链中仅仅次于以太坊的4658个。而其他几个知名的公链则都要逊色得多，比如EOS为21个，COSMOS为125，Polkadot为229。
LPOS机制的另一个意义在于它维持了经济结构上的一种动态平衡。根据质押奖励机制，在一定时间内TEZOS的通胀比例是固定的，它代表系统中奖励总量是固定的。而奖励总量的分配是根据系统中XTZ总质押量的比例决定，质押总量比例越多意味着参与分配奖励的XTZ数量越多，单个XTZ获得的收益越少。
目前网络中的质押比例为78.35%，意味着占总量78.35%，也就是6.71832468亿XTZ会参与到奖励的瓜分中来。
因此总质押比例会影响两个因素的变化，奖励比例和XTZ价格。当质押比例越高，意味着单个XTZ获得的奖励会越少，也就是奖励比例会减少；另一方面它意味着流通比例会减少，如果市场的需求不变，价格就会上涨。
这种时候，就会有人选择减少质押，卖出一部分XTZ获取更多利益。当这种行为增加到一定程度，又会导致市场流通量增多，价格下跌；同时因为质押总量和质押比例减少了，系统的奖励比例又会提高，这种变化又会吸引一部分XTZ回到质押。经过多次的调节慢慢进入一个动态平衡的循环。
可见这种质押机制会在质押比例，奖励比例和XTZ价格三者之间通过市场的博弈力量逐渐找到平衡和稳定，但是又会随着博弈力量的变化进行动态的调节。这样就形成了一种宏观上的经济结构的动态平衡和稳定。
这样的特征使得TEZOS的性能和发展可能在短期内不如其他注重性能的公链那么出色，却给TEZOS注入了去中心化，稳定，安全等基因。区块链的这些基因一经形成在后期就很难被改变，比如EOS的21个节点已经形成了绝对的控制权，它在去中心化上的硬伤几乎已经无法改变。
相反，TEZOS性能的问题却可以在后期利用自进化的机制进行扩展和升级。
可见TEZOS从一开始选择的就是一条让基础更为稳妥牢靠的路。而这种基因正好是涉及大量价值存储和转移的金融活动所急需的。因此经过市场几年时间检验的TEZOS，目前已开始在大型金融机构涉足的数字证券领域崭露头角。
今天分析的最后一个话题是让TEZOS经受住金融机构严格考验的另一个特征：形式化验证。
三、形式化验证
这个概念比较难理解，举个例子来说明。假设你拥有一项发明专利，产品正式生产需要投入比较大的资金，如果不知道量产后的市场接受度就可能导致很大的亏损。因此你需要提前进行一些测试，比如市场的反应，产品的可行性，商业模式的逻辑等等。
那么就需要有一个产前测试和验证的模式和标准，比如根据所在市场的人口流量缩小一定比例选择测试人群，还需要设定测试方式，流程，参数等等。
而形式化验证就是这样一个测试和验证的模式，不过它是为了测试和验证软件代码而设计。它是一种根据事先定义好的形式化数学模型，用机器来对软件中的算法，逻辑，定理，状态等代码进行测试，以验证其正确性和可行性。作用和目的是避免在代码运行过程中才发现错误和漏洞造成损失。
这个功能很重要是因为目前的区块链行业确保智能合约安全的方式决定的。
大多数公链都不支持智能合约的修改，因为智能合约涉及业务的规则，逻辑，甚至是用户的资金。其安全性的保证目前主要是依靠智能合约的可验证性，也就是人们要能够随时验证部署在公链上运行的智能合约必须始终如一，保持与审计时一样的状态。
智能合约不能修改，那么编码过程中确保代码不出漏洞和错误就很重要了。而对信任和安全要求特别高的金融行业，这个需求就比其他行业和项目更要高得多。
而形式化验证的目的就是为了在编码过程中测试和验证合约，避免出错。
TEZOS的设计中选择了多种能够友好支持形式化验证的函数式语言，包括
1）底层架构由OCaml编写；
2）智能合约的底层用基于OCaml的Mickelson语言编写；Mickelson对语意定义清晰明了，是一种能够在编译代码时轻松检测出任何Bug或错误的语言；
3）智能合约高级可以用Pascal,OCaml,ReasonML，Haskell,Pathon等语言编写。虽然智能合约底层使用的是Mickelson语言，但是DAPP的开发者却可以用更为广泛使用的Pathon来编写。这样就能既充分发挥Mickelson在安全性和审计性上的优势，又能发挥Pathon在易编程性上的优势。
对编程语言的创新组合使TEZOS能够在减少开发者学习成本的基础上，实现函数式语言的严谨性，精确性，安全性和稳定性，也让TEZOS的智能合约达到了企业级的需求。
可以说，在对智能合约的形式化验证方面，目前还没有哪个区块链能与TEZOS媲美。
最后，做个总结
因为在治理上的可进化性，在区块链网络上的去中心化，在宏观经济结构上的平衡和稳定性，在智能合约的形式化精确验证性，TEZOS区块链以其安全，稳定，精确的特性，已经成为大型金融机构进行证券通证化时无可替代的最佳选择。
如今，在TEZOS上已经发行证券通证STO的金融机构包括纽约资产管理公司ElevatedReturns，拉丁美洲最大私人投行BTGPactual，迪拜资管公司DalmaCapital，英国房地产开发商投资公司AllianceInvestments，德国区块链科技公司Fundament，数字资产软件提供商Vertalo，Overstock旗下证券型代币交易平台tZERO等等。在TEZOS上部署和执行的STO金额已达30亿美金的规模。
Tezos已经成为证券代币和其他高价值、高复杂度用例的最佳智能合约平台，并正在崛起成为STO领域一个突出的领航者。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。