最适于 Tezos 的用例？

如 Tezos 或以太坊这样的图灵完备智能合约平台，允许任意代码以信任最小化方式执行。但是，某些特定应用可能非常适于基于正式治理及聚焦于智能合约安全性的 Tezos 。以下是一些初步示例：

1，数字资产

如数字货币，代币化房地产，稳定币，数字收藏品等资产特别适于 Tezos。

在没有正式治理机制的区块链中，得到广泛采用的资产项目，可能会获得巨大的协议治理软实力。理论而言，在一个有争议及可持续的分裂中，资产将同时存在于两个分支中，但是，发行人很可能只在一个分支上兑现该资产。避免有争议分叉，可保持围绕网络的价值和协调，使 Tezos 成为一个用于发行数字资产的引人注目的平台。

尽管没有任何系统可以无条件地安全，但 Tezos 智能合约语言 Michelson 在设计时考虑了安全性和形式验证。鉴于智能合约漏洞的不可原谅性，这对于代表高价值资产的智能合约而言，尤为重要。

2，信任最小化的金融合约

去中心化交易，swaps，借贷等金融合约，要求高度的正确性。去中心化区块链网络的价值来自可信第三方的缺席，这使代码中的 bug 造成的资金损失，尤其无法原谅。在足够大的规模上，智能合约的滥用会给区块链治理带来挑战：

• The DAO 事件。
• A bug in Parity's Mulit-Sig Wallet 导致的资金冻结事件。
• 其他类似事件。

Tezos 的智能合约语言 Michelson 促进形式验证，该技术如果正确部署，从数学上证明代码的正确性，从而提高最敏感或有金融加权（ financially weighted ）的智能合约的安全性，减少错误发生概率。形式验证技术已广泛部署于关键任务软件基础架构，如飞行器，核反应堆和机动车辆中。

Tezos 希望将这种严格程度带入高价值智能合约和去中心化应用领域。

选译自：https://learn.tqtezos.com/files/basics.html#intro
编译：东林