区块链中的智能合约

**智能合约**是一种强大且自主的计算机程序，它体现了一项协议，能够自动执行和强制执行。这表明智能合约本质上是用计算机或指定机器可以理解的语言编写的程序。

它还通过**业务逻辑**来表示各方之间的协议。一个关键方面是智能合约根据编码的指令自动执行，例如在满足特定条件时。它们具有可执行性，这意味着合同的所有条款都将按预期执行，即使遇到反对意见也是如此。

智能合约中的强制执行是什么？

这里的**强制执行**是一个综合性的术语，包括传统的法律执行，以及促进执行合同条款而无需外部干预的具体措施和控制。理想情况下，智能合约应独立于传统的执行方法运行。

它们应遵循代码即法律的原则，消除仲裁员或第三方监督、控制或影响智能合约执行的必要性。与传统合同不同，智能合约是自我执行的，而不是法律强制执行的。虽然这个概念可能看起来像是一个理想化的愿景，但它是完全可行的，并且符合智能合约的基本本质。

智能合约是如何出现的？

在 20 世纪 90 年代，**尼克·萨博**在其题为“**在公共网络上形式化和保障关系**”的文章中提出了智能合约的概念。这个想法出现在智能合约的潜力和优势得到广泛认可之前近二十年，而智能合约的潜力和优势是在**比特币**的创建以及后来像**以太坊**这样的更复杂的区块链平台的出现之后才出现的。

萨博对智能合约的定义如下：

“智能合约是一种执行合同条款的电子交易协议。总体目标是满足常见的合同条件（例如付款条款、留置权、保密性，甚至强制执行），最大程度地减少恶意和意外的例外情况，并最大程度地减少对可信中介的需求。相关的经济目标包括降低欺诈损失、仲裁和执行成本以及其他交易成本。”

智能合约的功能首先在 2009 年的比特币中以有限的方式实现。比特币具有一个称为**脚本**的受限脚本语言，该语言有助于在用户之间转移比特币。但是，这种语言并不完整，不允许开发任意程序。它可以比作执行简单算术的基本计算器，而智能合约则可以作为能够执行任何程序的通用计算机。

智能合约的特点

智能合约具有几个关键特征，如下所述：

• **自我执行** - 它在区块链上自动运行，无需外部干预。
• 可执行：合同的所有条款都会自动得到遵守。
• **安全** - 智能合约旨在防篡改或具有抵抗力，受益于底层区块链提供的安全保障。但是，智能合约的编程语言和代码也必须准确、有效且经过验证。
• **一致且高效** - 此功能保证智能合约对于给定的输入将始终产生相同的结果。虽然这可以被视为安全方面的一部分，但单独突出显示它强调了它的重要性。
• **语法正确** - 智能合约被构建为对人类和机器都完整且有意义。
• **弹性和持久性** - 它们能够抵御对抗性行为或不利条件，确保智能合约一旦启动，就会在规定的时间范围内确定性地执行其功能。

智能合约的使用示例

让我们以金融合同为例。它可能不一定需要语义清晰度和不变性；但是，它必须能够自动执行、强制执行、确定性和安全性。

相反，产权证必须具有语义完整性和完整性。因此，为了使其能够有效地充当智能合约，使用的语言必须对人类和机器都易于理解。