智能合约的限制是什么？

什么时候 以太币 将智能合约引入区块链生态系统，一切都改变了。 突然间，建立一个基于去信任原则的整个金融体系的可能性出现了。 你能把这个想法贯彻到什么程度？ 嗯，这取决于你问的是谁。

智能合约的概念于 1994 年由计算机科学家兼法律学者 Nick Szabo 首次提出。 他将它们比作“不起眼的自动售货机”，当输入正确的付款金额时，自动售货机会自动分配产品。

本质上，智能合约是一种计算机程序，当满足某些条件时，它会自动执行合同条款。 它可用于促进、验证和执行合同的谈判或履行。 这是一种使用代码创建自动执行协议的方法，无需使用中介（例如，律师执行遗嘱）。

区块链之外存在的智能合约的一个早期例子是托管服务。 在 2010 年代初，这些成为在暗网市场上执行交易的默认方式，这需要很少的人力投入来最大程度地减少执法的漏洞。 买方通常会将资金投入 BTC – 在托管账户中，仅在产品交付后执行智能合约以释放资金。 

在萨博最初提出提案后的几年里，智能合约的实施仍然是小众的，并且很大程度上是理论上的。 然而，自 2015 年以太坊区块链推出以来，智能合约已经开始发挥作用。 

简单的想法是，随着智能合约复杂性的增加，您可以在区块链上创建整个去中心化应用程序（dApp）。 如果是 DEFI，这使得交易、借贷和一些保险服务的创建成为可能。 所有这些都基于无需人工中介的去信任原则。

超越“代码即法律”

智能合约的史前史可以说始于 Lawrence Lessig 的书 《网络空间法典和其他法律》 （1999）。 在其中，他认为在网络空间中，计算机代码在很大程度上类似于现实生活中的法律，甚至可以取代它们。 这个想法在 2023 年显得有些古怪，因为那时互联网已经渗透到我们生活的方方面面，政府几乎监管企业和个人行为的方方面面。 当时，这是激进的。

然而，莱西格的书给了世界一个具有悠久历史的短语：“代码就是法律。” 目前，这通常被用作描述数学和代码如何消除歧义和操纵的简写。 并非所有人都同意这很容易。

“正如我们都看到的那样 卢纳/去年的 Terra、Celsius 和 FTX 以及 Mango DAO 最近，代码达到了极限，不良行为者可以利用恶意收购、黑客攻击或其他恶意优势，”该项目的联合发起人 Nicolas Biagosch 说道。 Q区块链，其座右铭是“超越代码即法律”。

“随着越来越多的人进入 Web3 世界，良好的治理需要更多的细微差别和人类意图的空间。 “代码就是法律”适用于某些情况，但不适用于所有情况。”

智能合约有缺点 

智能合约最大化主义者眼中的职业之一是法律职业。 当您可以简单地在代码中执行法律决策时，为什么还要有一个官僚（有些人会说腐败，取决于您所在的位置）的仲裁层次结构？ 从本质上讲，扭转了莱西格关于代码即网络空间法的想法。 为什么不让代码 真正的法律?

对于这个想法有一些简单的反驳：法院可以以一种广泛理解的方式推翻错误的决定，并减少它们再次发生的可能性。 在加密货币环境中，如果一些 BTC 被错误或欺诈地从一方发送到另一方，法院可以考虑证据并下令退回资金。 

但在像区块链这样的仅附加系统中，您将有效地将交易写入石头。 区块链是不可变的，因此智能合约和经过验证的交易无法逆转，这使事情变得无比复杂。 你可以 更新 修复错误的智能合约。 但这比为游戏下载补丁要昂贵得多且耗时得多。

我们当然可以超越 DEFI Biagosch 继续说道，并在社会其他地方实施智能合约。 “我们可以仅仅依靠代码吗？ 代码现在不是这样的。 细微差别、意图和复杂性是当今智能联系人的限制。 为了建立去中心化的社会和组织，我们需要找到一种方法，将去信任的代码与考虑人类意图的工具结合起来。”

“代码无法解释所有情况。 人类拥有回顾性思考、判断意图并确定某些行为是否符合规则的独特能力。 超越“代码就是法律”并不意味着不再使用代码作为 Web3 的基本治理层。 这意味着一起使用代码和人类语言。”

讽刺的是，人类是缺失的一部分

就像自动售货机一样，智能合约也无法匹配其所处的人类社会的复杂性。智能合约的核心成员 Cain Cao 表示，它们并不像我们通常理解的那样“智能”。 KCC 和 戈道. “它们无法自动执行交易、存储复杂的数据结构、执行复杂的计算，而且成本高昂，这些都是短期问题。” 

“从长远来看，智能合约或 DeFi 的最大限制是其感知现实世界的能力， 这意味着我们缺乏高效和安全的 神谕 需要第三方代理的服务。 对于现实世界中更复杂的保险、资产抵押等仍然没有成熟的解决方案。”

智能合约的一个明显途径是通过人工智能和人工智能来增强智能合约的潜力 机器学习。 像 ChatGPT 这样的聊天机器人的势不可挡的崛起，开启了为它们添加“类人”维度的可能性。 本质上是创建自我实现的机器，可以自行执行交易并调用庞大的数据集。 但是，任何使用过人工智能语言模型的人都知道，它们远非完美。 如果人工智能生成了输入，我们如何验证它是否正确？

它只会加剧智能合约先前存在的问题。 它们是用我们大多数人无法读取或写入的代码编写的。

“智能合约背后的整个设计应该改变，”Awa Sun Yin，联合创始人 异常。 “为了让用户安全、私密地与智能合约交互，他们不仅需要非常清楚地了解直接智能合约中发生的情况，还需要了解调用的其他智能合约以及底层区块链的工作原理。 这是不可行的，并且通常会导致人们在不了解风险的情况下使用这些应用程序，并意外地付出高昂的代价（例如漏洞利用、泄露敏感数据）。”