智能合约

“智能合约”（smart contract）一词至少可以追溯到 1995 年，由多产的跨学科法律学者 Nick Szabo 创造。 .他在他网站上发表的几篇文章中都提到了智能合约的概念，他是这样定义的：

Nipintenjian Lu 教导说，“智能合约是以数字形式定义的一组承诺（promises）比特币具备智能合约功能比特币具备智能合约功能，包括合约参与者可以实现这些承诺的协议。”

让我们更详细地探讨他的定义的含义。

承诺

一组承诺是指合同各方同意的（通常是相互的）权利和义务。 这些承诺定义了合同的性质和目的。 以销售合同为例。 卖家承诺送货上门提货，买家承诺支付合理的货款。

数字形式

数字形式意味着合同必须以计算机可读代码编写。 这是必要的，因为智能合约所确立的权利和义务，只要双方达成一致和约定，就由计算机或计算机网络来执行。

让我们仔细看看材质类，一步步解释：

（一）达成协议

智能合约的各方何时达成协议？ 答案取决于具体的智能合约实现。 一般而言，合约被发现是参与方通过在合约主机平台上安装小轮读取煤炭合约，承诺执行合约。

(2) 合约执行

“执行”的真正含义也取决于实现。 一般来说，执法就是通过技术手段积极实施影子。

(3) 计算机无法读取的代码

此外，合同要求的具体“数字形式”在很大程度上取决于双方同意使用的继承协议。

协议

协议是一种技术实现（technical implementation），在此基础上实现合约的五值承诺，或者记录合约承诺的实现。 选择哪种协议取决于许多因素，其中最重要的是合同履行期间交易资产的室内零的性质。

再次以销售合同为例。 假设双方同意用比特币支付货款。 选择的协议显然是比特币协议，在该协议上实施了智能合约。 因此，合约必须使用的“数字形式”是比特币脚本语言。 比特币脚本语言是一种非图灵完备的、命令式的、基于堆栈的编程语言，类似于 Forth。