概念炒作的背后，“智能合约”的真相是什么？

编者按:本文由Jimmy Song编译自Medium，原标题为“智能合约的真相”。就像“区块链”、“人工智能”和“云”一样，“智能合约”也是当今流行的新概念。想象一下，还有什么比确保合同在未来会在没有任何司法干预的情况下按约定执行更好的呢？智能合约的承诺包括:合约可以自动执行，无需信任和公平。在合同的制定、履行和执行过程中，可能不再需要中间人。我可以理解为什么智能合约正在升温。毕竟，如果我们不必担心对方是否会按约定履行合同，那么许多事情的效率将大大提高。换句话说，智能合约到底是什么？这是源自以太坊的概念吗？这是签订未来合同的方式吗？在本文中，我将探讨智能合约的细节以及与之相关的“工程现实”问题（剧透:这并不简单，也很难保证可靠性）。什么是智能合约？正常的合同是两方或多方之间的协议，将他们约束在未来将要发生的事情上。例如，爱丽丝可能付给鲍勃一些钱来使用鲍勃的房子（也称为租金）。查理可能会同意修理丹尼斯的汽车的任何未来损坏。作为回报，丹尼斯每月向查理支付费用（也称为汽车保险）。AkqAPq7N所谓的“智能”合同的不同之处在于，合同的所有条款都由计算机代码评估和执行，这使得无需背书任何信用。因此，如果爱丽丝同意向鲍勃支付500英镑购买沙发，交货时间将为3个月。然后计算机代码可以用来判断合同的某些条款是否有效（爱丽丝付钱给鲍勃了吗？3个月交货是否到期？）并执行合同（将托管的沙发交付给爱丽丝）；合同的任何一方都无权反悔。智能合约的关键特征是其执行不依赖于任何信用背书。换句话说，你不需要依靠第三方来执行各种条款。既不需要依靠对方履行合同，也不需要在合同执行中出现问题时依靠律师和法律系统来纠正事情；智能合约可以及时、客观地执行合同中约定的所有条款。智能合约非常“愚蠢”。使用“聪明”一词意味着这些合同具有某种与生俱来的智慧。然后事情就不是这样了。所谓“智能”的一部分是合同的执行不依赖于任何一方的合作。一份“聪明”的合同将直接将未能按时支付租金的租户拒之门外，而不是请他们离开房子。合同后果的无条件执行是智能合同强大的原因，而不是智能合同的自然智慧。23Ay 1JwJ一份真正明智的合同应该考虑所有的情有可原的情况，专注于合同精神，即使在非常不确定的情况下也要努力做出公平的裁决。换句话说，真正的智能合约就像一个非常优秀的法官。相反，现实中的智能合约非常不智能。事实上，它只是基于规则并严格按照规则行事，没有任何次要因素或法治精神可以考虑在内。换句话说，由于智能合同不依赖任何信用背书，这也意味着合同的缔结不能有任何模棱两可的空间。这就引出了下一个问题。起草一份巧妙的合同是非常困难的。由于以太坊的大量宣传，人们误以为智能合约只存在于以太坊中。但事实并非如此。自2009年初以来，比特币有一种被广泛使用的语言，称为脚本，用于起草智能合约。事实上，智能合约的存在可以追溯到1995，比比特币更早。比特币的智能合约语言与以太坊版本的区别在于以太坊语言的图灵完备性。换句话说，以太坊的可靠性语言允许更复杂的合约，代价是增加了分析的难度。语言的复杂性带来了一些重大后果。尽管复杂的合同可以允许更复杂的情况，但复杂的合同也很难确保安全性。即使对于普通合同来说，执行的难度也会因为复杂性的增加而增加；因为复杂带来了更多的不确定性和解读空间。使用智能合同，确保安全性意味着处理合同执行的所有可能方式，并确保合同执行符合起草者的意图。【dgc加密数字货币可靠吗】当在图灵完备性的背景下执行时，分析起来极其困难和困难。安全可靠地执行图灵的完全智能契约相当于证明计算机程序没有错误。我们知道这非常困难，因为几乎所有现有的计算机程序都或多或少存在缺陷。考虑到撰写普通合同需要多年的学习和优秀的考试。编写智能合同至少需要相同的能力，但仍有许多新手编写的合同不知道如何确保其安全性。从目前许多有缺陷的智能合约中可以清楚地看到这一点。比特币的解决方案只是放弃了图灵完备性。这使得合同更容易分析，因为合同的可能结果更容易列出和检查。Ethereum的解决方案是将确保可靠性的责任委托给智能合约的起草者。合同的起草者应该确保合同按照他们的意图执行。智能合约不是真正的合约（至少在以太坊中是这样）。尽管从理论上讲，将确保合同可靠性的责任移交给起草者是一个好主意，但它在实践中已经产生了一些严重的集中后果。以太坊是以“代码即法律”的观点发起的。换句话说，合同是以太坊中的最终权威，没有人可以否决合同。这种观点向智能合约开发人员表达的是，他们必须依靠自己。如果你搞砸了你的智能合约，从某种意义上说，你活该。当DAO事件发生时，它引起了崩溃。DAO是“去中心化自治组织”的缩写。他们在以太坊设立了一只基金，以展示该平台的能力。用户可以将资金存入DAO，并根据DAO的投资收益获得回报。投资决策将通过去中心化众包进行。当以太坊价值20美元时，DAO筹集了大约1。5亿美元。这些东西看起来很美，但千里之堤溃于蚁穴。由于代码的可靠性没有得到很好的保护，有人终于想出了一个办法来窃取DAO的所有资金。很多人称盗刀者为“黑客”。从这个意义上说，这个“黑客”找到了一种从合同中窃取资金的方法，这是智能合同起草者没有考虑到的。这是一个真实的例子。但从更广泛的意义上来说，这个人根本不能被称为黑客。他只是一个利用智能合约中的缺陷来获利的人。这与深思熟虑的注册会计师利用税收漏洞为客户节税没有太大区别。之后，以太坊决定不将代码视为法律，并退还了存入DAO的所有资金。换句话说，智能合约的起草者和投资者做了一些蠢事，以太坊的开发者决定拯救他们。这一事件在中的影响有据可查。因此，以太坊经典平台诞生了，它保留了DAO，并延续了“代码即法律”的原则。此外，开发人员开始避免使用具有以太坊图图精神完整属性的智能合约，因为事实证明很难保证可靠性。目前，ERC20和ERC72 1标准是以太坊中使用最频繁的智能合约模板。应该强调的是，这两种契约都可以在没有任何图灵完备性的情况下编写。智能合约只是数字无记名工具。即使它们没有图灵完备性，智能合约听起来仍然不错。毕竟，谁喜欢必须去法院才能得到属于他们的东西呢？使用智能合约实现这一点难道不比普通合约更容易吗？例如，房地产行业不能从智能合约中受益吗？爱丽丝可以证明她拥有这所房子，鲍勃可以付款并得到它。没有所有权问题，机器可以在没有信任的情况下快速执行合同，不需要法官、行政机构或财产保险。听起来很棒，不是吗？这里有两个问题。首先，中心化组织执行智能合约并不是真的不可靠。您仍然需要信任这个集中的组织来执行合同。不需要信任是智能合约的关键特征，因此集中执行机制使合约毫无意义。为了让智能合约真正不需要信任机制，你需要一个真正去中心化的平台。第二个问题导致了这一点。在去中心化的环境中，只有当数字版本和实体之间存在明确的联系时，智能合约才能有效地取代普通合约。换句话说，只要数字版的房子改变所有权，其实体就必须改变所有权。数字世界需要与物质世界连接。这就是所谓的“甲骨文问题”。当Alice将房子转让给Bob时，智能合约需要知道她实际上将房子转让给了Bob。有几种方法可以做到这一点，但它们都有相同的基本问题。也就是说，有一个可信的第三方来验证现实世界中的转移行为。例如，房子可以表示为以太坊中不可替代的代币。爱丽丝可以通过原子互换将房子转让给鲍勃，以获得一定数量的以太币。问题是鲍勃需要相信这个代币实际上代表了房子。必须有一些测试标准来确保代表房屋的代币的转让实际上意味着房屋实际所有权的合法转让此外，即使政府当局承认代币实际上代表房屋，如果代币被盗会发生什么？这房子现在属于一个小偷吗？如果我的令牌丢失了，我该怎么办？房子不能再卖了吗？代表房子的代币可以重新发行吗？如果是，谁来执行？在去中心化的背景下，将数字与实物资产联系起来是一个棘手的问题，无论是水果、汽车（中央数字货币）还是房子。实物资产由您所在地区的政府或其他机构管辖，这意味着除了您创建的智能合约之外，他们还需要相信其他东西。这意味着智能合约中的所有权不一定等于现实世界中同一事物的所有权，它将像普通合约一样面临信任问题。需要信任第三方来履行的智能合约将不再具有其不信任任何人的最大功能（或优势）。即使是电子书、健康记录或电影等数字资产也会遇到同样的问题。这些数字资产的“权利”最终由其他权威机构决定，测试标准需要得到信任。从这个角度来看，测试标准只是现实中法官的简化版本。除了仅依靠机器获得良好的合同性能和简化的执行规则之外，您实际要面对的复杂工作是用代码考虑合同的所有可能情况以及主观性和人为判断的风险。换句话说，签署“智能”合同意味着您需要编写复杂的代码，同时信任某人或组织。唯一不需要测试标准的合同主体是数字无记名票据。本质上，交易双方不仅需要数字化，而且合同的标的物必须是无记名票据。换句话说，代币的所有权不能在智能合约签署平台之外具有依赖性。只有当智能合约的标题为数字无记名票据时，智能合约才可以在没有信任的情况下执行。结论我非常希望智能合约能够比目前看起来更实用。不幸的是，我们人类对契约的理解包含了许多不需要明确解释的假设和判例法。此外，已经证明使用图灵完备性是破坏智能合约并导致各种意外行为的简单方法。我们应该标记那些不具有图灵完备性的智能合约平台，而不是那些具有图灵完备性的平台。DAO事件也证明了人们隐约相信并有助于解决纠纷的契约精神确实存在，这超出了我们的想象。智能合约太容易搞砸了，很难保证可靠性，在没有信任的情况下很难广泛实施，并且它依赖于太多的外部事物来使其适用于大多数场景。智能合约具有不需要信任这一特征的唯一场景是基于比特币等去中心化平台的数字无记名票据。由编译团队制作。编辑:郝鹏程报道/反馈

注册有任何问题请添加 微信：MVIP619 拉你进入群

文章转载注明 网址：https://netpsp.com/?id=66864