Tezos：以太坊的危险？

大多数山寨币 – 尤其是代币 – 已经在以太坊区块链上作为ERC-20代币出现。以太坊在加密货币空间中添加了图灵完整的编程语言。

“Solidity”允许使用所谓的智能合约。这些是两个或更多方之间的程序化合约，这些合约在预定条件出现后得以实现 – 无需中央监督机构。相反，在以太坊网络中去中心化地确保智能合约的（非）执行。

在以太坊，与比特币一样，通过工作证明达成了共识。只有通过创建第二大区块链生态系统以太坊才能使大量比特币变得可行。但是以太坊也不是那里无与伦比的。年轻的以太坊竞争对手从一开始就依赖于Stof of Stake。以太坊试图点燃的其中一个项目是Tezos网络。

Tezos由Dynamic Ledger Solutions开发，作为以太坊的替代品。该项目在2017年筹集了2.23亿美元，创下了破纪录的ICO。 Tezos拥有众多独特的卖点，使其在竞争中脱颖而出。

Tezos：硬分叉没有危险

Tezos协议的一个特点是它的开发方式。与其他公共区块链不同，这是在没有硬分叉的情况下相处的。例如，当去中心化网络未能同意更新底层协议时，就会出现硬分叉。区块链永久性地分裂，部分地对各自的密码生态系统造成严重后果，这些密码生态系统经常辐射到密码的其余部分。

Tezos试图使恶意或非计划的硬分叉成为不可能：

Tezos可以通过协议内部更改过程自行更新，而无需硬分叉。这样做是为了加速创新，减少有争议的划分的可能性，并在很长一段时间内协调网络中的利益集团，

它在项目的主页上说。与比特币和以太坊一样，开发人员可以选择让网络对改进建议进行投票。虽然在基于工作量的区块链的情况下，最终，矿工的计算能力最终决定超越变革，Tezos超越所谓的“Baker”。

“Baker”是Tezos网络中块生产者的名称。要获得Baker资格，网络成员或节点必须拥有Tezos中使用的至少10,000个XTZ加密货币单位的股份。质押越大，贝克能够产生阻止并奖励相关奖励的可能性就越大。

少于10,000 XTZ的网络用户可以将他们的XTZ借给Baker以间接参与块的验证。开发人员可以提交改进建议并颁发奖品。在更改为Mainnet之前，将在“测试分支”上进行48小时测试。然后贝克决定对采用更新进行另一次投票。原则上，必须至少80％的投票Baker做出决定。

智能合约的数学验证

通过形式验证的数学过程，Tezos区块链上的智能合约意味着特别安全。

例如，要测试程序是否正确地将数字列表排序为升序值，请使用（2,3,1）的输入进行测试。测试的输出应为（1,2,3），否则程序无效。但是，这种方法可能无法涵盖所有​​可能的输入（或边缘情况），并且这些可能导致程序失败。正式检查写出程序的数学定义。要使用与上面相同的示例，可以编写定义：“对于列表中的每个j元素，请确保j

它在Tezos的信息门户网站上说。 Tezos智能合约的普遍有效性旨在为金融领域的应用提供额外的安全性。

这并不是最不重要的背景，Tezos也在安全令牌产品中 – 迄今为止仍由以太坊主导 – 想干涉。在南美最大的银行BTG Pactual，Tezos在7月成功，以太坊作为STO平台取代。从长远来看，Tezos能否超越之前的行业领导者还有待观察。理想情况下，整个加密货币生态系统将受益于争夺STO主导地位的斗争 – 因为众所周知，竞争会促进业务发展。