译言译语——另类角度看智能合约1

原文：https://medium.com/@jimmysong/the-truth-about-smart-contracts-ae825271811f
作者：Jimmy Song
译者：比特猫

就像“区块链”，“AI(人工智能)”和“云”这样的词语一样，“智能合约”就是那些被大量炒作及宣传的词语之一。

毕竟，除了司法制度的约束外，还有有什么比能够相信会发生什么更好？智能合约的承诺包括：

?自动化、去信任、公正地执行合约

?在合同建设，合同执行和合同执行方面取消中间人

?（暗示）去律师化

我认可炒作。毕竟，如果另一方能完整执行合约，我就不用在信任上花费时间了，那么事情会有多么地高效？

智能合约到底是什么？那不是以太坊里面的东西吗？这不是就是未来的方式吗？你们为什么要阻碍这样的进步？

在本文中，我将研究智能合约是什么以及与之相关的工程现实（先透露下：它可不简单，也很难保证可靠性）。

什么是智能合约？

常见的合同是两个或更多方之间的协议，就各方未来的某些东西联系起来。例如，爱丽丝可能会向鲍勃支付租金以来使用鲍勃的房子。查理可能会同意修复丹尼斯汽车未来的任何损坏，以换取每月一次的固定付款（又称汽车保险）。

“智能”合同的不同之处在于条件由计算机代码评估和执行，使其无法信任。因此，如果爱丽丝同意从现在开始3个月（也就是沙发未来）向Bob支付500美元用于交付沙发，那么一些代码可以确定条件是否正确（Alice是否支付了Bob？3个月到了吗？）并执行，而不给任何一方造成损失。

智能合约的关键特征是它具有无信任的执行力。也就是说，您不需要依赖第三方来执行各种条件。一个聪明的合同执行应该及时和客观地发生的事情，而不是依靠另一方兑现他们的承诺。如果出了差错，则需要依靠律师和法律制度来解决。

智能合约并不智能

使用“智能”这个词意味着这些合同具有一些与生俱来的智慧。他们没有。合同的明智之处在于不需要对方的合作来执行协议。一个“聪明”的合同将把非付费租房者锁定在他们的公寓之外，而不是必须踢出没有付款的租房者。商定的后果的执行使智能合约变得越来越强大，而不是合同本身内在的功能。

真正聪明的合同会考虑到所有情有可原的情况，看看合同的精神，即使在最黑暗的情况下也要做出公平的裁决。换句话说，一个真正聪明的合同就像一个非常好的决策者。相反，在这种情况下，“智能合约”根本不是智能的。它实际上是基于规则的，并遵循规则，不能考虑任何次要考虑因素或法律的“精神”。

换句话说，想要使合约实现去信任意味着我们真的不能有任何模棱两可的空间，由此带来下一个问题。

智能合约相当难编写

由于以太坊的大量集中式的营销宣传，人们错误地认为智能合约只存在于以太坊中，这是不对的。从2009年开始，比特币就包含一种具有广泛拓展性的智能合约语言——Script。事实上，智能合约早在1995年就存在了，比比特币还要早。比特币的智能合约语言与以太坊的区别在于以太坊是图灵完备的。也就是说，Solidity（以太坊的智能合约语言）能够实现更复杂的合约，但却使对应的代码编写也困难倍增。

要明确的是，即使在比特币之前，智能合约也存在，就像卡通一样

复杂性也会引起有一些重大后果。虽然复杂的合同可以允许更复杂的情况，但复杂的合同也很难确保安全稳定。即使在正常合同中，合同越复杂，执法越难，因为多种情况并发会增加更多的不确定性和解释空间。通过智能合约，安全意味着处理合约可以执行的每种可能方式，并确保合同符合双方预期。

在图灵完备环境中执行合约会非常棘手且难以分析。确保图灵完整的智能合约相当于计算机程序没有错误。我们知道这很困难，因为现有的几乎所有计算机程序都存在bug。

考虑写正常合同需要多年的学习和通过非常艰苦的考试才能胜任。智能合约至少需要这种水平，但目前许多都是由不了解其需要安全性的新手编写的。从各种已被证明存在缺陷的合约中可以清楚地看出这一点。

比特币解决这个问题的方法就是没有图灵完整性。这使得合同更容易分析，因为程序的各种可能状态更容易枚举和检查。

以太坊的解决方案是将责任交给合约编写者。合约编写者需要确保合约符合他们的意图。

—-

编译者/作者：比特猫

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