郭倩等：基于要约-承诺的智能法律合约订立方法与实现 3 方面： 同条款已经达成合意.由此可见，“订”是“立”的 首先，从规范程序设计与平台构建角度，为解 过程，“立”是“订”的结果. 决非计算机人员难以理解智能合约内容的问题， 合同订立采用要约-承诺制度.要约是一方当 高级智能合约语言被提出，它是介于自然语言与 事人以缔结合同为目的，向对方当事人提出合同 智能合约语言间的一种语言.2016年Farmer和HuW 条件，希望对方当事人接受的意思表示.发出要约 提出了一种具有精确语义的形式语言FCL,通过 的一方称为要约人，接受要约的一方称为受要约 该语言编写的智能法律合约由一组包含定义、协 人.承诺是受要约人按照所指定的方式，对要约的 议和规则的组件构成.2018年He等2I提出了一 内容表示同意的一种意思表示.采用“要约-承诺” 种智能合约规范化语言SPESC,它可以将现实合 制度优点是使合同成立过程清晰，易于判断：也有 同采用类自然语言的形式编写为智能法律合约 助于分清合同订立过程中双方的权利义务与责任 同年，Regnath和Steinhorst提出了SmaCoNat语 解释2：智能合约归属 言，创建了从自然语言到程序语义的映射. 我国《电子签名法》第2条规定：“本法所称数 其次，为使智能法律合约自动转化成与其意 据电文，是指以电子、光学、磁或者类似手段生 思表达一致的智能合约代码，2017年Mavridou和 成、发送、接收或者存储的信息” Laszka提出了一种FSolidM语义框架，用于将 智能合约采用计算机代码的形式表达合约条 高级智能合约设计为有限状态机FSM模型，使其 款，它通过电子化方式被发送至区块链网络，并被 自动生成以太坊Solidity合约.2018年Choudhury 网络中所有节点接收和存储)，符合我国《电子签 等)提出了一种根据特定领域的本体和语义规则 名法》的规定，应被认定为数据电文 自动生成智能合约代码的框架；2020年Zupan等l6 其次，智能合约以区块链为依托平台网，当事 提出了一种基于Petri网生成智能合约的框架；同 人可通过电子数据交换形式从区块链上随时调取 年，Zhu等)提出了一种将高级智能合约语言SPESC 查看合约内容，并能以屏幕显示或打印形式，有形 自动转化为智能合约语言Solidity的转化规则 地表现所载内容，根据我国《民法典》第469条规 最后，从合约模板生成智能合约代码角度，为 定：“当事人订立合同，可以采用书面形式、口头 使智能法律合约具备与现实合同同等的法律效力， 形式或者其他形式.书面形式是合同书、信件、电 2016至2018年间，C1ack等u8-20通过探索智能合约 报、电传、传真等可以有形地表现所载内容的形式 的语义框架，并基于现实合同设计了具备法律效 以电子数据交换、电子邮件等方式能够有形地表 力的合约模板，同时使用操作参数建立了高级智 现所载内容，并可以随时调取查用的数据电文，视 能合约与智能合约间的联系.Account和OpenLaw 为书面形式”，因此属于数据电文的智能合约是书 项目开发了一种使用特殊标记语言的合约模板 面形式，其归属图如图1所示.因此，属于书面形 库，将现实合同转化为对应的智能法律合约 式的智能合约在订立方面应符合《民法典》中的相 上述研究表明智能合约正朝着跨领域合作、 关规定.其中，《民法典》第471条规定：“当事人订 标准统一、法律化的方向不断发展. 立合同，可以采取要约、承诺方式或其他方式”，为 2预备知识 符合上述规定，本文的智能合约订立过程采用亦 要约-承诺方式，注意：未加说明的情况下，合同是 解释1：合同订立 指法律上的传统合同，合约是指智能（法律）合约 法律上，法律合同订立是指缔约当事人相互 的缩写，泛指具有合同性质的代码化程序 为意思表示并达成合意而成立了合同.合同的订 立是合同双方动态行为和静态协议的统一，它既 Writing 包括缔约各方在达成协议之前接触和洽谈的整个 Data message 动态的过程，也包括双方达成合意、确定合同的主 要条款或者合同的条款之后所形成的协议四.也 Electronic data interchange 就是说，合同订立分为“订”和“立”两个阶段在， Smart contract 前者强调缔约双方在达成合意之前不断接触、协 商的整个动态过程，包括要约，要约邀请等；后者 图1智能合约归属图 强调缔约双方协商的结果，表示双方当事人对合 Fig.1 Venn diagram of a smart contract方面： 首先，从规范程序设计与平台构建角度，为解 决非计算机人员难以理解智能合约内容的问题， 高级智能合约语言被提出，它是介于自然语言与 智能合约语言间的一种语言. 2016 年 Farmer 和 Hu[11] 提出了一种具有精确语义的形式语言 FCL，通过 该语言编写的智能法律合约由一组包含定义、协 议和规则的组件构成. 2018 年 He 等[12] 提出了一 种智能合约规范化语言 SPESC，它可以将现实合 同采用类自然语言的形式编写为智能法律合约. 同年，Regnath 和 Steinhorst [13] 提出了 SmaCoNat 语 言，创建了从自然语言到程序语义的映射. 其次，为使智能法律合约自动转化成与其意 思表达一致的智能合约代码，2017 年 Mavridou 和 Laszka [14] 提出了一种 FSolidM 语义框架，用于将 高级智能合约设计为有限状态机 FSM 模型，使其 自动生成以太坊 Solidity 合约. 2018 年 Choudhury 等[15] 提出了一种根据特定领域的本体和语义规则 自动生成智能合约代码的框架；2020 年 Zupan 等[16] 提出了一种基于 Petri 网生成智能合约的框架；同 年，Zhu 等[17] 提出了一种将高级智能合约语言 SPESC 自动转化为智能合约语言 Solidity 的转化规则. 最后，从合约模板生成智能合约代码角度，为 使智能法律合约具备与现实合同同等的法律效力， 2016 至 2018 年间，Clack 等[18–20] 通过探索智能合约 的语义框架，并基于现实合同设计了具备法律效 力的合约模板，同时使用操作参数建立了高级智 能合约与智能合约间的联系. Account 和 OpenLaw 项目开发了一种使用特殊标记语言的合约模板 库，将现实合同转化为对应的智能法律合约[21] . 上述研究表明智能合约正朝着跨领域合作、 标准统一、法律化的方向不断发展. 2    预备知识 解释 1：合同订立 法律上，法律合同订立是指缔约当事人相互 为意思表示并达成合意而成立了合同. 合同的订 立是合同双方动态行为和静态协议的统一，它既 包括缔约各方在达成协议之前接触和洽谈的整个 动态的过程，也包括双方达成合意、确定合同的主 要条款或者合同的条款之后所形成的协议[22] . 也 就是说，合同订立分为“订”和“立”两个阶段在， 前者强调缔约双方在达成合意之前不断接触、协 商的整个动态过程，包括要约，要约邀请等；后者 强调缔约双方协商的结果，表示双方当事人对合 同条款已经达成合意. 由此可见，“订”是“立”的 过程，“立”是“订”的结果. 合同订立采用要约–承诺制度. 要约是一方当 事人以缔结合同为目的，向对方当事人提出合同 条件，希望对方当事人接受的意思表示. 发出要约 的一方称为要约人，接受要约的一方称为受要约 人. 承诺是受要约人按照所指定的方式，对要约的 内容表示同意的一种意思表示. 采用“要约–承诺” 制度优点是使合同成立过程清晰，易于判断；也有 助于分清合同订立过程中双方的权利义务与责任. 解释 2：智能合约归属 我国《电子签名法》第 2 条规定：“本法所称数 据电文，是指以电子、光学、磁或者类似手段生 成、发送、接收或者存储的信息”. 智能合约采用计算机代码的形式表达合约条 款，它通过电子化方式被发送至区块链网络，并被 网络中所有节点接收和存储[23] ，符合我国《电子签 名法》的规定，应被认定为数据电文. 其次，智能合约以区块链为依托平台[24] ，当事 人可通过电子数据交换形式从区块链上随时调取 查看合约内容，并能以屏幕显示或打印形式，有形 地表现所载内容，根据我国《民法典》第 469 条规 定：“当事人订立合同，可以采用书面形式、口头 形式或者其他形式. 书面形式是合同书、信件、电 报、电传、传真等可以有形地表现所载内容的形式. 以电子数据交换、电子邮件等方式能够有形地表 现所载内容，并可以随时调取查用的数据电文，视 为书面形式”，因此属于数据电文的智能合约是书 面形式，其归属图如图 1 所示. 因此，属于书面形 式的智能合约在订立方面应符合《民法典》中的相 关规定. 其中，《民法典》第 471 条规定：“当事人订 立合同，可以采取要约、承诺方式或其他方式”，为 符合上述规定，本文的智能合约订立过程采用亦 要约–承诺方式. 注意：未加说明的情况下，合同是 指法律上的传统合同，合约是指智能（法律）合约 的缩写，泛指具有合同性质的代码化程序. Smart contract Electronic data interchange Data message Writing 图 1    智能合约归属图 Fig.1    Venn diagram of a smart contract 郭    倩等： 基于要约–承诺的智能法律合约订立方法与实现 · 3 ·