TEZOS，从治理明星到STO领航者

BCH又双叒叕分叉了。起因是一个“基础设施融资计划”（IFP，Infrastructure Funding Plan）的升级，它想要做的是把矿工挖矿收益的一部分（每个区块链奖励的8%）捐赠给向BCH提供技术支持的项目，而社区和很多矿工却不同意这种强制性的协议修改。

这一次分叉除了带来了BCH价格短时间10%左右的跌幅，并没有引起太多的关注。不过两年之前与BSV的那一次分叉，却差点断送了BCH整个社区的生命。

其实比特币系的区块链历史上分叉已经成了家常便饭，比特币仅在2017年就产发生了多次分叉，并产生了BCH、BTG、B2X、BCD、S BTC、BCHC等多种分叉币。

分叉的原因在于社区的意见无法达成统一，深一层的原因是在去中心化的社区中没人具有绝对的话语权，再深一层是因为比特币的区块链中没有设计如何做决策的问题，没有考虑如何解决社区分歧和区块链软件升级的问题。

也就是说比特币的设计中没有治理机制。

虽然说区块链的分叉无可避免，区块链的去中心化自由理念也允许分叉的存在，但是它无疑也会给项目带来共识，社区，网络效应，甚至是本身价值等多方面的损失。严重的分叉对一个初创项目更可能会带来致命的打击。

根据刘昌用老师的说法，比特币在2017年的扩容之争中受到的损耗非常大，但是因为当时处于牛市，分叉带来的损失被人们忽视了。如果没有那次分叉，比特币的最终表现会好很多。

从上面的分析我们可以总结出比特币的分叉原因，一方面是因为它本身的初始设计不能满足后人的使用，而更重要和关键的原因却是缺乏治理机制导致的。

出块人和验证人尽职工作都会得到奖励（不尽职也会受到惩罚），奖励来自系统的增发，比例目前为每年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的设计中选择了多种能够友好支持形式化验证的函数式语言，包括

1） 底层架构由OCaml编写；

2） 智能合约的底层用基于OCaml的Mickelson语言编写；Mickelson对语意定义清晰明了，是一种能够在编译代码时轻松检测出任何Bug或错误的语言；

3） 智能合约高级可以用Pascal, OCaml, ReasonML，Haskell, Pathon等语言编写。虽然智能合约底层使用的是Mickelson语言，但是DAPP的开发者却可以用更为广泛使用的Pathon来编写。这样就能既充分发挥Mickelson在安全性和审计性上的优势，又能发挥Pathon在易编程性上的优势。

对编程语言的创新组合使TEZOS能够在减少开发者学习成本的基础上，实现函数式语言的严谨性，精确性，安全性和稳定性，也让TEZOS的智能合约达到了企业级的需求。

可以说，在对智能合约的形式化验证方面，目前还没有哪个区块链能与TEZOS媲美。

最后，做个总结

因为在治理上的可进化性，在区块链网络上的去中心化，在宏观经济结构上的平衡和稳定性，在智能合约的形式化精确验证性，TEZOS区块链以其安全，稳定，精确的特性，已经成为大型金融机构进行证券通证化（STO）时无可替代的最佳选择。

如今，在TEZOS上已经发行证券通证STO的金融机构包括纽约资产管理公司Elevated Returns，拉丁美洲最大私人投行BTG Pactual，迪拜资管公司Dalma Capital，英国房地产开发商投资公司 Alliance Investments， 德国区块链科技公司Fundament， 数字资产软件提供商Vertalo， Overstock旗下证券型代币交易平台tZERO等等。 在TEZOS上部署和执行的STO金额已达30亿美金的规模。

Tezos已经成为证券代币和其他高价值、高复杂度用例的最佳智能合约平台，并正在崛起成为STO领域一个突出的领航者。

没有注册交易所的同学，推荐雪儿的邀请链接

OKEX交易所；（比较老牌的交易所，合约有特色，最近活动也挺多）

币安交易所；（最大币种最齐全，交易深度最好，体验也不错）

火币交易所； （雪儿体验手续费稍微有点小贵，不过用起来还是挺顺手）

酷币交易所；（雪儿购买AMPL的交易所，支持AMPL弹性调整）

—-

编译者/作者：币圈小雪

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。