智能合约没有你想象的那么智能！ 5分钟带你重新认识“智能”合约

假设有这样一个场景，Alice将房子作为以太坊上不可替代的Token，通过原子互换将房子转租给Bob，Bob每个月需要支付一定数量的比特币。 有一个前提，Bob 认为获得代表房子的 Token 就可以获得房子的所有权。 但是试想一下，如果Token被偷了，房子是小偷的吗？ 如果Token丢了，房子就不能再出租了吗？

真正的智能合约需要完全摒弃第三方信任，需要保证数字世界与现实世界的真实匹配。

Jimmy Song 是一位教育家、开发者和企业家，专注于比特币等数字货币的研究。 在这篇文章中，他将智能合约与真实事件相结合，探讨了智能合约在真实场景中的局限性，告诉你智能合约并不智能。

那么，智能合约存在哪些问题呢？ 为什么说智能合约不智能呢？ 让本文告诉您真正的智能合约是什么样的。

作者| Jimmy Song（比特币教育家、开发者、企业家）

编译 | 口

与“区块链”和“人工智能”一样，“智能合约”也是热门话题。

使用智能合约可以做到：

为什么对区块链有如此浓厚的兴趣？ 这是因为，在执行合约的过程中，如果不再需要第三方的信任，做事的效率会大大提高。

那么，智能合约到底是什么？ 它真的能简化我们未来的工作方式吗？ 是不是也能提高以后的工作效率呢？

什么是智能合约？

普通合同是两方或多方之间的某种协议。 在租赁方面，Alice 会给 Bob 一笔钱，用于出租他的房子； 在汽车保险方面，查理同意通过接收丹妮丝每月的汽车保险付款来修理丹妮丝的汽车的任何损坏。

与普通合约相比，智能合约的不同之处在于，判断条件的评估和执行需要借助计算机代码来完成，无需（与第三方）建立信任关系。 那么，如果 Alice 需要支付给 Bob 500 美元购买沙发，并且要求 3 个月内交货，则会触发智能合约代码，自动判断 Alice 是否已经支付给 Bob 500 美元，是否在三个月内完成交货，并执行期间过程中，双方不能自行改变交易。

执行智能合约时，不需要信任第三方，也不需要第三方确认各种条件。 智能合约实时、客观地强制执行发生的事情，而不是依赖第三方兑现承诺，或者更糟的是，如果出现问题，则依赖律师和法律系统来纠正问题。

智能合约，有时真的很愚蠢

“智能”这个词总是让人觉得智能合约会很智能。 然而，在现实中，情况往往并非如此。 或许，智能合约的独特之处在于不需要第三方确认。

智能合约可以确保不支付租金的租户被拒之门外，而不是因为不支付租金而被赶出公寓，但仍然可以居住。 根据合约的既定结果强行执行是智能合约的独特之处，而不是智能合约本身的智能。

真正智能的合约会考虑所有情有可原的情况，参考合约的性质，制定在任何情况下都显得非常公平的规则。 换句话说，一个真正的智能合约就像一个经验丰富的高素质法官。 一样可靠。

然而，事实恰恰相反，智能合约根本不智能。

智能合约完全基于规则的制定，除了合约中的条款和条件外，不会考虑其他因素，这不符合法律的本质。

也就是说，如果根据智能合约的内容进行价值判断，就永远不会有任何“情绪”。

智能合约，看似不简单

受以太坊社区对智能合约的密集宣传影响，你可能认为智能合约只在以太坊平台上使用，这是错误的。

以比特币为例，从2009年开始，出现了非常广泛的智能合约语言——Script。 事实上，智能合约的出现可以追溯到1995年，比比特币还早。

唯一不同的是，与比特币智能合约相比，以太坊智能合约是图灵完备的。

注：在可计算性理论中，如果可以用一组操作数据的规则（如指令集、编程语言、元胞自动机）来模拟单带图灵机，那么它就是图灵完备的。

虽然更复杂的情况可以借助合同来处理，但担保和执行却越来越难。

对于智能合约，安全意味着处理合约执行的所有可能方式，并确保合约按照创建者的意图执行。

左上角： A：为了安全起见，我说我们需要雇人……

B：打住，这不是第一要务。 我们得先开始做项目，以后再说。

右上角： A：您好，项目快完成了，我们要做安全检查。

B：太晚了，我们既没有时间也没有预算。

左下： A：本网站已经上线10天了，我们还没有采取任何安全措施。 我有点紧张...

B：别着急，到时候我们会处理的。

右下：B：坠毁！ 网站挂了！ 我们被黑了！

B：你怎么能让这种事发生！ ？

图灵完备下的智能合约很难分析和执行。 保证智能合约的图灵完备性，就相当于证明计算机程序没有错误，难度极大。

普通的纸质合同也需要有经验的人来制定。 智能合约也是一样，但是现在的情况是任何人，包括IT新手，都可以编写智能合约。 事实上，有些人不明白需要什么样的安全。

从已被证明有缺陷的各种智能合约中可以清楚地看出这一点。

智能合约，而非真实合约

将保证合约安全的责任“扔”给合约作者，理论上听起来不错，但仍然带来了一些中心化问题。

以太坊的哲学是“代码就是法律”。 也就是说，以太坊合约是权威的，没有人可以否决。

智能合约开发者相互独立，如果你的智能合约出现问题，后果需要你自己承担。

但是当The DAO事件发生后，情况发生了变化。

DAO 是 Decentralized Autonomous Organization 的缩写。 The DAO是迄今为止世界上最大的基于以太坊区块链平台的众筹项目。 其目的是让持有The DAO代币的参与者通过投票共同决定投资的项目。 整个社区完全是自制的，通过用代码编写的智能合约来实现。 众筹于2016年5月28日完成，共募集1150万个以太币，当时价值达到1.49亿美元。

事实上，黑客已经找到了一种无需遵循合约创建者意愿即可获取资金的方法。

然而，他们并不能称为真正的黑客比特币是不是智能合约，他们只是在自己的专业领域发现了智能合约的漏洞。

在 DAO 事件“代码不再是法律”之后，以太坊开发者恢复了所有进入 DAO 的资金。

我年轻时浪费了生命，所以我想申请政府救助

图灵完备的智能合约已被证明难以维护。

因此，以太坊开发者不再刻意追求智能合约的图灵完备性。

目前，以太坊中使用最多的智能合约模板是图灵不完备的 ERC20 和 ERC721。

智能合约，只为数字载体

即使放弃图灵完备性，智能合约听起来也不错。 毕竟，没有人喜欢必须通过法律才能获得理应属于他们的东西或权利，智能合约真的比普通纸质合约更容易使用吗？

比如，智能合约真的可以用在房地产上吗？ 通过智能合约，可以证明爱丽丝拥有房子的所有权，而鲍勃通过支付给爱丽丝的费用获得了房子的使用权。 合约保证交易可以快速执行，不需要任何第三方如律师的介入。 听起来真不错！

然而，仍然存在两个问题。

通过中心化组织执行的智能合约并不是去信任的，你仍然需要信任中心化组织。 去信任是智能合约的一个关键特性，所以中心化执行没有意义，你真正需要的是一个去中心化的平台。

在去中心化的情况下，智能合约只有在数字合约的内容与真实情况之间确实存在某种确定的联系时才有效。 也就是说，当智能合约中房屋的所有权发生变化时，现实中房屋的所有权也必须发生变化。

数字世界需要确保与现实世界完美契合。

当 Alice 将房子转让给 Bob 时，智能合约需要匹配真实情况。

在现实中，实现数字世界与现实世界的真正匹配是可能的，但我们面临一个问题。 在现实世界中，必须有可信的第三方进行验证。

左上：A：自从松鼠宣布入股以来，市场发生了很大的变化。

右上： A：很多小公司用橡子买了我们的股份，现在我们的股权不到50%。

左下： A：等等，这些小公司都被松鼠控制了，也就是说……

右下： A：我们被松鼠控制了！ ！

B：我希望我的办公室里能有更多的木头。

例如，在以太坊上使用房子作为不可替代的 Token，Alice 可以通过原子互换将房子转让给 Bob，从而获得一定数量的以太币。

这里有个关键问题。 Bob 需要相信这种 Token 可以代表 Alice 的房子，他认为获得代表房子的 Token 就可以获得房子的所有权。

另外比特币是不是智能合约，即使政府机构证明Token可以代表房子，试想一下，如果Token被偷了，房子是小偷的吗？ Token丢了，房子就不能卖了？ 房屋代币可以重新发行吗？ 如果有，由谁负责？

在去中心化的环境下，无论是水果、汽车还是房子，将数字资产与实物资产挂钩是一个很难解决的问题。

对于实物资产交易，除了信任特定的智能合约外，您还需要信任您所在环境的管辖权。

换句话说，拥有智能合约并不意味着拥有实物资产，你会遇到与普通合约相同的信任问题。

依赖第三方信任的智能合约失去了无需信任的关键特征。

甚至电子书、医疗记录或电影等数字资产也面临同样的问题。

只有数字承载工具才能真正“抛弃”第三方信任。 代币的所有权在智能合约平台之外，不存在依赖关系，真正实现去信任化。

因此，智能合约并没有我们想象的那么有用。

目前，智能合约难以保证和实现去信任化，外部依赖太多。 只有在比特币等去中心化平台上使用，智能合约才能有效发挥作用。

原文链接：

@jimmysong/关于智能合约的真相-ae825271811f

最新热点文章：