炒作背后智能合约的真相是什么？(智能合约骗局)

本篇文章给大家谈谈炒作背后智能合约的真相是什么？对应的信息，希望对各位有所帮助，不要忘了收藏本站喔。

来源：36Kr就像“区块链”，“AI”和“云”一样，“智能合约”也是如今收到热捧的新概念。

试想一下，有什么能比相确信合约在未来会按照约定被执行而不需要任何司法介入更好？ 智能合约的承诺包括：合约可以被自动地、无需信任地和公正地执行在合约制定，履行和强制执行过程中取消中间人或许不再需要律师我能够理解智能合约为何会被热炒。

毕竟，如果我们不需要担心对方是否会按照约定履行合约，那么很多事情的效率会大大提高。

话说，到底什么是智能合约？ 这是源于以太坊的概念么？ 这是未来合约订立的方式么？在这篇文章中，我将探究智能合约的种种细节以及与之相伴的“工程现实”问题（剧透：它并不简单，并且很难保证可靠性）。

什么是智能合约？正常的通常意义上的合约是双方或多方之间的协议，将他们约束在未来发生的某些事物上。

譬如，Alice可能会向Bob支付一些钱来使用Bob的房屋（又名租金）。

Charlie可能会同意修复对Denise的汽车未来发生的任何损坏，作为回报Denise每月向Charlie支付一笔费用（又名汽车保险）。

所谓“智能”合约，其不同之处在于合约的所有条款都是由计算机代码评估和执行的，这使得它无需任何信用背书。

因此，如果Alice同意支付向Bob支付500购买沙发，交货期为3个月。

则通过计算机代码可以判断合约的某些条款是否成立（Alice是否付款给了Bob？3个月的交货期是否到期？）并执行合约 （将托管下的沙发交付给Alice）:合约双方都没有反悔的权利。

智能合约的关键特点是它的执行力不依赖任何信用背书。

也就是说，你不需要依赖第三方来执行各种条款。

既不需要依靠对方对合约的履行言行一致，也不需要在合约执行出现问题时依靠律师和法律制度来纠正事情:智能合约可以及时客观地执行合约约定的各个事项。

智能合约非常“傻瓜“使用“智能”一词意味着这些合约具有某种天生的智慧。

然后事情并非如此。

所谓”智能“的部分在于合约的执行不依赖任何一方的合作。

相比把拖欠房租的租客请出房子，一个“智能”的合约会直接将没有按时付款的租客锁在房子外面。

对于合约约定后果的无条件执行是智能合约显得强大有力的原因，而不是智能合约具有天生的智慧。

一个真正意义上的智能合约应当考虑到所有情有可原的情况，着眼于契约精神，即便在情况非常不明朗的条件下也试图做出公平的裁决。

换句话说，一个真正的智能合约就像一个非常好的法官。

与之相反，现实中的智能合约非常不智能。

它事实上只是基于规则并严格按照规则行事，不能将任何次要因素或法治精神考虑在内。

换句话说，由于智能合约不依靠任何信用背书，同时也意味着合约的订立不能有任何模棱两可的空间。

这一点引发了下一个问题。

拟定智能合约非常困难由于以太坊大量的宣传，使得人们错误地认为智能合约只存在于以太坊。

然而事实并非如此。

2009年伊始，比特币就已经拥有了一种被广泛使用，名叫Script的语言来拟定智能合约。

事实上，智能合约的存在可以追溯到1995年，要早于比特币。

比特币的智能合约语言同以太坊版本的区别在于以太坊的语言具有图灵完备性。

也就是说，以太坊的Solidity语言允许更复杂的合约，其代价是会增加分析难度。

这种语言的复杂性带来了一些重大的后果。

虽然复杂的合约可以允许更复杂的情况，但复杂的合约也很难保证安全。

即使是普通的合约，实施难度也会因为复杂性的提高而加大:因为复杂性带来了更多的不确定性和解释空间。

凭借智能合约，确保安全意味着处理合约可能被执行的所有可能方式，并确保合约执行符合拟定者的意图。

执行具有图灵完备性的上下文中是极其棘手和难以分析的。

安全可靠地执行图灵完备的智能合约相当于证明一个计算机程序没有错误。

我们知道这是非常困难的，因为几乎所有现存的计算机程序都或多或少存在缺陷。

考虑到需要多年的学习和非常过硬的考核才能够胜任编写普通合约的工作这样一个事实。

智能合约的编写至少需要与之相当的能力，但目前还有的合约是由很多不懂得如何确保其安全性的新手编写的。

从当前很多存在缺陷的智能合约中可以清楚地看出这一点。

比特币的解决方案简单地放弃图灵完备性。

这使合约更容易分析，因为合约可能的结果更容易列举和检查。

以太坊的解决方案是将确保可靠性的责任托付给智能合约的起草者。

合约的起草者应确保合约按照他们的意图进行。