《工程科学学报》：基于要约–承诺的智能法律合约订立方法与实现

工程科学学报 Chinese Journal of Engineering 基于要约承诺的智能法律合约订立方法与实现 郭侍朱岩殷红建陈娥王迪刘国伟 Design and implementation of conclusion procedure in smart legal contracts based on negotiation and acceptance GUO Qian,ZHU Yan,YIN Hong-jian,CHEN E,WANG Di,LIU Guo-wei 引用本文： 郭倩，朱岩，殷红建，陈娥，王迪，刘国伟.基于要约承诺的智能法律合约订立方法与实现即.工程科学学报，优先发表.do: 10.13374j.issn2095-9389.2021.04.08.005 GUO Qian,ZHU Yan,YIN Hong-jian,CHEN E,WANG Di,LIU Guo-wei.Design and implementation of conclusion procedure in smart legal contracts based on negotiation and acceptance[J].Chinese Journal of Engineering,In press.doi:10.13374/j.issn2095- 9389.2021.04.08.005 在线阅读View online:https::/oi.org10.13374.issn2095-9389.2021.04.08.005 您可能感兴趣的其他文章 Articles you may be interested in

基于要约承诺的智能法律合约订立方法与实现 郭倩 朱岩 殷红建 陈娥 王迪 刘国伟 Design and implementation of conclusion procedure in smart legal contracts based on negotiation and acceptance GUO Qian, ZHU Yan, YIN Hong-jian, CHEN E, WANG Di, LIU Guo-wei 引用本文: 郭倩, 朱岩, 殷红建, 陈娥, 王迪, 刘国伟. 基于要约承诺的智能法律合约订立方法与实现[J]. 工程科学学报, 优先发表. doi: 10.13374/j.issn2095-9389.2021.04.08.005 GUO Qian, ZHU Yan, YIN Hong-jian, CHEN E, WANG Di, LIU Guo-wei. Design and implementation of conclusion procedure in smart legal contracts based on negotiation and acceptance[J]. Chinese Journal of Engineering, In press. doi: 10.13374/j.issn2095- 9389.2021.04.08.005 在线阅读 View online: https://doi.org/10.13374/j.issn2095-9389.2021.04.08.005 您可能感兴趣的其他文章 Articles you may be interested in

工程科学学报.第44卷，第X期：1-16.2021年X月 Chinese Journal of Engineering,Vol.44,No.X:1-16,X 2021 https://doi.org/10.13374/j.issn2095-9389.2021.04.08.005;http://cje.ustb.edu.cn 基于要约-承诺的智能法律合约订立方法与实现 郭倩，朱岩)区，般红建，陈娥)，王迪)，刘国伟) 1)北京科技大学计算机与通信工程学院，北京1000832)北京市经济和信息化局，北京100744 ☒通信作者，E-mail:小huyan@ustb.edu.cn 摘要从合同订立的相关法律规定入手，通过引人合约范本化思想，提出了一种包含智能合约建立、部署、订立和存证四 个阶段的规范化合约订立流程，使之满足书面合同成立要件的法律规定；同时，在合约范本中提出了书面化交互接口，使之满 足合约“订”和“立”两个阶段的交互：此外，在智能法律合约语言SPE$C中引入了合约订立相关语法，使之满足合约订立过程 中的“要约-承诺”制度，并设计了三种区块链交易结构支持当事人注册、签名、条款执行中交互数据的存证：最后，以销售合 约为实例.从订立过程的要约认定、承诺认定、存证合法性三方面辨析了所提智能法律合约订立方案的合规性.所做工作将 有助于为智能法律合约的订立过程提供法律依据，促进我国智能合约的法律化建设 关键词智能法律合约：合同订立：合约范本：要约-承诺：合规性：法律存证 分类号TP319 Design and implementation of conclusion procedure in smart legal contracts based on negotiation and acceptance GUO Qian,ZHU Yan,YIN Hong-jian,CHEN E,WANG Di,LIU Guo-wei) 1)School of Computer Communication Engineering,University of Science and Technology Beijing,Beijing 100083,China 2)Beijing Municipal Bureau of Economy and Information Technology,Beijing 100744,China Corresponding author,E-mail:zhuyan@ustb.edu.cn ABSTRACT Smart legal contract(SLC),as a form of smart contract in accordance with the law,has attracted extensive attention in recent years.However,the conclusion procedure of an SLC still lacks effective technical methods to make it conform to the current legal regulations,which directly affects the legitimacy of the SLC contract.Therefore,this paper starts with the relevant legal regulations of contract conclusion and introduces the idea of contract normative pattern (CNP),which is a reusable form,model,or template for contract conclusion.Based on these regulations,we propose a standardized conclusion procedure of smart legal contracts.This procedure includes four stages:establishment,deployment,conclusion,and deposit to meet the current legal regulations for the conditions of establishment in the written contracts.Meanwhile,a written form of interactive interface is proposed to satisfy the two stages of "negotiation"and "acceptance"in the CNP.The negotiation stage supports the parties to repeatedly negotiate and determine the pending contents in the CNP,and the acceptance stage is to activate the behavioral attribute by actively triggering predefined algorithms, such as registration and signature.In addition,the syntax of contract conclusion,including parties'negotiation and acceptance,is introduced in the SLC language,SPESC,to adhere to the "negotiation-acceptance"mechanism in the conclusion procedure.In this paper,we design three blockchain's transaction structures to store interactive data during party registration,signature,and clause execution.Finally,considering the sales contract as an example,we analyze the legitimacy of the proposed conclusion scheme based on three aspects:negotiation confirmation,acceptance confirmation,and deposit legitimacy.This paper will provide a legal basis for the 收稿日期：2021-04-08 基金项目：国家科技部重点研发计划资助项目(2018YFB1402702):国家自然科学基金资助项目(61972032)

基于要约–承诺的智能法律合约订立方法与实现 郭    倩1)，朱    岩1) 苣，殷红建1)，陈    娥1)，王    迪1)，刘国伟2) 1) 北京科技大学计算机与通信工程学院, 北京 100083    2) 北京市经济和信息化局, 北京 100744 苣通信作者， E-mail: zhuyan@ustb.edu.cn 摘    要    从合同订立的相关法律规定入手，通过引入合约范本化思想，提出了一种包含智能合约建立、部署、订立和存证四 个阶段的规范化合约订立流程，使之满足书面合同成立要件的法律规定；同时，在合约范本中提出了书面化交互接口，使之满 足合约“订”和“立”两个阶段的交互；此外，在智能法律合约语言 SPESC 中引入了合约订立相关语法，使之满足合约订立过程 中的“要约–承诺”制度，并设计了三种区块链交易结构支持当事人注册、签名、条款执行中交互数据的存证；最后，以销售合 约为实例，从订立过程的要约认定、承诺认定、存证合法性三方面辨析了所提智能法律合约订立方案的合规性. 所做工作将 有助于为智能法律合约的订立过程提供法律依据，促进我国智能合约的法律化建设. 关键词    智能法律合约；合同订立；合约范本；要约–承诺；合规性；法律存证 分类号    TP319 Design and implementation of conclusion procedure in smart legal contracts based on negotiation and acceptance GUO Qian1) ，ZHU Yan1) 苣 ，YIN Hong-jian1) ，CHEN E1) ，WANG Di1) ，LIU Guo-wei2) 1) School of Computer & Communication Engineering, University of Science and Technology Beijing, Beijing 100083, China 2) Beijing Municipal Bureau of Economy and Information Technology, Beijing 100744, China 苣 Corresponding author, E-mail: zhuyan@ustb.edu.cn ABSTRACT    Smart legal contract (SLC), as a form of smart contract in accordance with the law, has attracted extensive attention in recent years. However, the conclusion procedure of an SLC still lacks effective technical methods to make it conform to the current legal regulations, which directly affects the legitimacy of the SLC contract. Therefore, this paper starts with the relevant legal regulations of contract  conclusion  and  introduces  the  idea  of  contract  normative  pattern  (CNP),  which  is  a  reusable  form,  model,  or  template  for contract conclusion. Based on these regulations, we propose a standardized conclusion procedure of smart legal contracts. This procedure includes  four  stages:  establishment,  deployment,  conclusion,  and  deposit  to  meet  the  current  legal  regulations  for  the  conditions  of establishment  in  the  written  contracts.  Meanwhile,  a  written  form  of  interactive  interface  is  proposed  to  satisfy  the  two  stages  of “ negotiation” and “ acceptance” in  the  CNP.  The  negotiation  stage  supports  the  parties  to  repeatedly  negotiate  and  determine  the pending contents in the CNP, and the acceptance stage is to activate the behavioral attribute by actively triggering predefined algorithms, such  as  registration  and  signature.  In  addition,  the  syntax  of  contract  conclusion,  including  parties ’  negotiation  and  acceptance,  is introduced  in  the  SLC  language,  SPESC,  to  adhere  to  the “negotiation-acceptance” mechanism  in  the  conclusion  procedure.  In  this paper,  we  design  three  blockchain ’s  transaction  structures  to  store  interactive  data  during  party  registration,  signature,  and  clause execution. Finally, considering the sales contract as an example, we analyze the legitimacy of the proposed conclusion scheme based on three aspects: negotiation confirmation, acceptance confirmation, and deposit legitimacy. This paper will provide a legal basis for the 收稿日期: 2021−04−08 基金项目: 国家科技部重点研发计划资助项目（2018YFB1402702）；国家自然科学基金资助项目（61972032） 工程科学学报，第 44 卷，第 X 期：1−16，2021 年 X 月 Chinese Journal of Engineering, Vol. 44, No. X: 1−16, X 2021 https://doi.org/10.13374/j.issn2095-9389.2021.04.08.005; http://cje.ustb.edu.cn

工程科学学报，第44卷，第X期 conclusion procedure of an SLC and promote better achievement of legalization of a smart contract. KEY WORDS smart legal contract;contract conclusion;contract normative pattern;negotiation-acceptance mechanism;legitimacy; deposit legitimacy 随着数字经济时代的到来，以区块链为基础 于满足合约“订”和“立”两个阶段的数据交互，并 的智能合约(Smart contract)l-)正成为构建“价值 通过销售合约实例给出了当事人注册与签名动作 互联网”的颠覆性技术.伴随区块链技术1的不断 的行为处理算法，验证了上述交互接口设计实施 演化，智能合约不仅是区块链上满足预定条件时 合约订立过程的有效性： 自动执行的计算机代码，而且也演化出支持智能 (3)在智能法律合约语言SPESC中引入了合 合约可执行程序开发、生成、部署、运行、验证的 约订立相关语法，该语法包含当事人宣称和当事 信息系统，这使得区块链应用开发日益完善、产 人签名两部分，用于缔约双方以意思表示的形式 业应用日益广泛 对要约和承诺过程中的事项进行表述，并可记录 尽管智能合约具有将法律合同以程序代码形 合约成立的当事人信息、签名和签名时间，保证智 式加以自动执行的能力可，但就智能合约本身而 能法律合约能以书面合同样式体现“要约-承诺” 言，它仍然采用常规计算机语言编写，与传统的程 制度 序代码并无差异，因此在可读性、易理解、法律效 本文以销售合同为实例对上述智能合约订立 力等方面仍有别于法律合同.据此，智能法律合约 方法予以验证.首先，给出了采用SPE$C语言所 (Smart legal contract)被提出，它是一种含有合同 撰写的销售合约范本，并按照所提出的智能合约 构成要素、涵盖合同缔约方依据要约和承诺达成 订立流程，实现了该合约从协商、注册、签名到执 履行约定的计算机程序，兼具法律合同和计算机 行的全流程；其次，设计了三种伴随交易结构用于 程序的特征，为代码法律化提供了基础. 当事人注册、签名、条款执行中所有交互数据的 智能法律合约依据法律规定在形式上能够以 区块链存证：最后，以上述实例为基础，从订立过 程序代码表达法律合同条款m,保证了它既具有现 程的要约认定、承诺认定、存证合法性三方面辨 实合同的法律特征和易理解性，又有计算机程序 析了所提出的智能法律合约订立方案的合规性 的规范性，有助于解决智能合约的合法合规问题 1相关工作 按照我国现行法律规定，法律合同的订立过程也 应遵守特定的法律原则，特别是订立过程的“要约- 近几年智能合约法律化问题得到了广泛关 承诺”制度.然而，目前在学术和实践中都缺乏以 注，不少学者从智能合约本身是否符合现行法律 计算机程序为对象的订立过程合规性研究，无法 法规以及如何对智能合约进行规范使其转化为现 通过技术手段使智能法律合约的订立过程符合现 行法律法规所认可的形式两个方面进行了智能合 行法律规定，进而保证合约合法生效 约法律化研究. 针对上述智能法律合约订立过程中缺乏技术 一方面，一些学者采用“直觉逻辑”研究智能 手段来保证其合规性的问题，本文从合同订立的 合约本身所具有的合同属性，例如，2018年Kasprzyk 相关法律规定入手，规范了智能合约订立流程，扩 等通过分析智能合约能否真实表达缔约双方 充了智能法律合约语言使之满足合约订立过程中 的意图，来界定智能合约的法律效力.2019年郭少 的“要约-承诺”制度，并设计三种区块链交易结构 飞四从合同效力，修改与履行，违约及救济三方面 支持订立过程中交互数据的存证.具体工作如下： 深入剖析智能合约的合同法适用性.同年，陈吉 (1)通过引入合约范本化思想，提出了一种规 栋0通过讨论智能合约是否具有法律合同的要约- 范化的智能合约订立流程，该流程包含智能合约 承诺构造来判断智能合约能否成为法律合同.上 的建立、部署、订立和存证四个阶段，并详细给出 述研究基本认定了智能合约的合同法适用性 智能合约订立的数据流程，保证了智能合约满足 另一方面，一些学者则采用“构造逻辑”研究 我国现行法律对书面合同成立条件的规定； 智能合约法律化问题，希望通过对现有智能合约 (2)在合约范本中提出了针对要素属性信息 技术予以改进或规范化，使其转化为现行法律法 和行为属性信息两种类型的书面化交互接口，用 规所认可的形式.现有研究大致可分为如下三个

conclusion procedure of an SLC and promote better achievement of legalization of a smart contract. KEY WORDS    smart legal contract；contract conclusion；contract normative pattern；negotiation–acceptance mechanism；legitimacy； deposit legitimacy 随着数字经济时代的到来，以区块链为基础 的智能合约（Smart contract） [1–2] 正成为构建“价值 互联网”的颠覆性技术. 伴随区块链技术[3] 的不断 演化，智能合约不仅是区块链上满足预定条件时 自动执行的计算机代码，而且也演化出支持智能 合约可执行程序开发、生成、部署、运行、验证的 信息系统[4] ，这使得区块链应用开发日益完善、产 业应用日益广泛. 尽管智能合约具有将法律合同以程序代码形 式加以自动执行的能力[5] ，但就智能合约本身而 言，它仍然采用常规计算机语言编写，与传统的程 序代码并无差异，因此在可读性、易理解、法律效 力等方面仍有别于法律合同. 据此，智能法律合约 （Smart legal contract） [6] 被提出，它是一种含有合同 构成要素、涵盖合同缔约方依据要约和承诺达成 履行约定的计算机程序，兼具法律合同和计算机 程序的特征，为代码法律化提供了基础. 智能法律合约依据法律规定在形式上能够以 程序代码表达法律合同条款[7] ，保证了它既具有现 实合同的法律特征和易理解性，又有计算机程序 的规范性，有助于解决智能合约的合法合规问题. 按照我国现行法律规定，法律合同的订立过程也 应遵守特定的法律原则，特别是订立过程的“要约– 承诺”制度. 然而，目前在学术和实践中都缺乏以 计算机程序为对象的订立过程合规性研究，无法 通过技术手段使智能法律合约的订立过程符合现 行法律规定，进而保证合约合法生效. 针对上述智能法律合约订立过程中缺乏技术 手段来保证其合规性的问题，本文从合同订立的 相关法律规定入手，规范了智能合约订立流程，扩 充了智能法律合约语言使之满足合约订立过程中 的“要约–承诺”制度，并设计三种区块链交易结构 支持订立过程中交互数据的存证. 具体工作如下： （1）通过引入合约范本化思想，提出了一种规 范化的智能合约订立流程，该流程包含智能合约 的建立、部署、订立和存证四个阶段，并详细给出 智能合约订立的数据流程，保证了智能合约满足 我国现行法律对书面合同成立条件的规定； （2）在合约范本中提出了针对要素属性信息 和行为属性信息两种类型的书面化交互接口，用 于满足合约“订”和“立”两个阶段的数据交互，并 通过销售合约实例给出了当事人注册与签名动作 的行为处理算法，验证了上述交互接口设计实施 合约订立过程的有效性； （3）在智能法律合约语言 SPESC 中引入了合 约订立相关语法，该语法包含当事人宣称和当事 人签名两部分，用于缔约双方以意思表示的形式 对要约和承诺过程中的事项进行表述，并可记录 合约成立的当事人信息、签名和签名时间，保证智 能法律合约能以书面合同样式体现“要约–承诺” 制度. 本文以销售合同为实例对上述智能合约订立 方法予以验证. 首先，给出了采用 SPESC 语言所 撰写的销售合约范本，并按照所提出的智能合约 订立流程，实现了该合约从协商、注册、签名到执 行的全流程；其次，设计了三种伴随交易结构用于 当事人注册、签名、条款执行中所有交互数据的 区块链存证；最后，以上述实例为基础，从订立过 程的要约认定、承诺认定、存证合法性三方面辨 析了所提出的智能法律合约订立方案的合规性. 1    相关工作 近几年智能合约法律化问题得到了广泛关 注，不少学者从智能合约本身是否符合现行法律 法规以及如何对智能合约进行规范使其转化为现 行法律法规所认可的形式两个方面进行了智能合 约法律化研究. 一方面，一些学者采用“直觉逻辑”研究智能 合约本身所具有的合同属性，例如，2018 年 Kasprzyk 等[8] 通过分析智能合约能否真实表达缔约双方 的意图，来界定智能合约的法律效力. 2019 年郭少 飞[9] 从合同效力，修改与履行，违约及救济三方面 深入剖析智能合约的合同法适用性. 同年，陈吉 栋[10] 通过讨论智能合约是否具有法律合同的要约– 承诺构造来判断智能合约能否成为法律合同. 上 述研究基本认定了智能合约的合同法适用性. 另一方面，一些学者则采用“构造逻辑”研究 智能合约法律化问题，希望通过对现有智能合约 技术予以改进或规范化，使其转化为现行法律法 规所认可的形式. 现有研究大致可分为如下三个 · 2 · 工程科学学报，第 44 卷，第 X 期

郭倩等：基于要约-承诺的智能法律合约订立方法与实现 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 ·

工程科学学报，第44卷，第X期 3系统框架 后的电子化表示，也被称为合约示范文本（简称范 本Pattern或模板Template).合约范本是一类合约 3.1系统目标 实例的抽象化阿，它包含格式条款和法律构成要 缔约双方约定采用智能合约的形式订立合 素的属性，其中每个要素属性都有其唯一标识和 同，则合约订立应符合《民法典》等现行法律法规 类型约束.这里，属性值在合约模板中事先不必赋 要求的成立规则.针对这一现实需求，本文将对基 值，但经双方当事人协商、合约订立后需被确定 于区块链的智能合约系统进行合约订立设计，使 合约范本也符合《民法典》第470条：“当事人可以 得合约订立过程遵循现行法律规定，使区块链智 参照各类合同的示范文本订立合同”的规定 能合约能够成为一种具有法律效力或法律意义的 智能法律合约中条款属于格式条款.《民法 文书 典》第496条指出“格式条款是当事人为了重复使 依据上述目标，本文对合约订立设计过程提 用而预先拟定，并在订立合同时未与对方协商的 出以下要求： 条款”.为了便于采用计算机处理合约中的格式条 (1)订立流程合法化：从法律上规范化智能合 款，通常采用高级智能合约语言对其描述形成合 约订立流程； 约范本.此外，根据不同应用场景的实际需求，智 (2)意思表示真实性：在要约-承诺阶段，要约 能法律合约作为合约范本要为当事人提供书面化 人和受要约人通过明示方式作出其意思表示； 交互接口（见第53节），通过交互过程确定上述要 (3)合同生效规范化：明确要约、承诺生效 素属性的取值，这一过程也被称为合约范本的实 时间： 例化过程，所得结果被称为合约实例(Instance). (4)合同存证合法化：对订立过程中的合约原 3.3智能合约订立框架 件及数据进行合法存证 基于区块链的智能合约系统，本文进行“要约- 3.2合约模板化 承诺”制度的合约订立流程设计如图2所示.该订 智能法律合约是对同一类纸质合同经模板化 立框架包含如下实体： rty ll Negotiation Check Acceptance Check contract contract Smart contract platform Contract layer Compilation layer Execution layer Programmer Updatecontract status Query and access Blockchain Hash Consensus Incentive mechanism P2P network 图2 智能合约订立框架 Fig.2 Framework of smart contract conclusion (1)甲方、乙方及编程人员：假定合同由甲乙 同意合约中的权利义务关系，则也主动触发签名 双方当事人订立，他们均为具有相应民事权利能 机制，以明示方式作出承诺，合约成立 力和民事行为能力的人编程人员遵照商业规 (2)智能合约平台：是一种支持智能合约可执 则采用智能合约语言撰写合约，并将其部署至智 行程序部署、签名、运行、验证的信息网络系统 能合约平台.甲方通过平台调取查看合约后，如同 包含合约层、编译层和执行层可，其中： 意合约中条款表述则主动触发签名机制，以明示 (a)合约层为编程人员提供智能合约编程语 方式作出其意思表示，明确表明甲方已阅读、理解 言、合约模板及与区块链交互的API接口； 并同意本合约中的所有条款.乙方同样获取从智 (b)编译层将智能合约代码编译为虚拟机执 能合约平台返回的作为甲方“要约”的合约，若也 行的字节码；

3    系统框架 3.1    系统目标 缔约双方约定采用智能合约的形式订立合 同，则合约订立应符合《民法典》等现行法律法规 要求的成立规则. 针对这一现实需求，本文将对基 于区块链的智能合约系统进行合约订立设计，使 得合约订立过程遵循现行法律规定，使区块链智 能合约能够成为一种具有法律效力或法律意义的 文书. 依据上述目标，本文对合约订立设计过程提 出以下要求： （1）订立流程合法化：从法律上规范化智能合 约订立流程； （2）意思表示真实性：在要约–承诺阶段，要约 人和受要约人通过明示方式作出其意思表示； （ 3）合同生效规范化：明确要约、承诺生效 时间； （4）合同存证合法化：对订立过程中的合约原 件及数据进行合法存证. 3.2    合约模板化 智能法律合约是对同一类纸质合同经模板化 后的电子化表示，也被称为合约示范文本（简称范 本 Pattern 或模板 Template）. 合约范本是一类合约 实例的抽象化[25] ，它包含格式条款和法律构成要 素的属性，其中每个要素属性都有其唯一标识和 类型约束. 这里，属性值在合约模板中事先不必赋 值，但经双方当事人协商、合约订立后需被确定. 合约范本也符合《民法典》第 470 条：“当事人可以 参照各类合同的示范文本订立合同”的规定. 智能法律合约中条款属于格式条款. 《民法 典》第 496 条指出“格式条款是当事人为了重复使 用而预先拟定，并在订立合同时未与对方协商的 条款”. 为了便于采用计算机处理合约中的格式条 款，通常采用高级智能合约语言对其描述形成合 约范本. 此外，根据不同应用场景的实际需求，智 能法律合约作为合约范本要为当事人提供书面化 交互接口（见第 5.3 节），通过交互过程确定上述要 素属性的取值，这一过程也被称为合约范本的实 例化过程，所得结果被称为合约实例（Instance）. 3.3    智能合约订立框架 基于区块链的智能合约系统，本文进行“要约– 承诺”制度的合约订立流程设计如图 2 所示. 该订 立框架包含如下实体： Hash Consensus Incentive mechanism P2P network Blockchain Smart contract platform Contract layer Compilation layer Execution layer Query and access Check contract Acceptance Deploy Programmer Write PartyⅠ PartyⅡ Negotiation Updatecontract status Check contract 图 2    智能合约订立框架 Fig.2    Framework of smart contract conclusion （1）甲方、乙方及编程人员：假定合同由甲乙 双方当事人订立，他们均为具有相应民事权利能 力和民事行为能力的人[26] . 编程人员遵照商业规 则采用智能合约语言撰写合约，并将其部署至智 能合约平台. 甲方通过平台调取查看合约后，如同 意合约中条款表述则主动触发签名机制，以明示 方式作出其意思表示，明确表明甲方已阅读、理解 并同意本合约中的所有条款. 乙方同样获取从智 能合约平台返回的作为甲方“要约”的合约，若也 同意合约中的权利义务关系，则也主动触发签名 机制，以明示方式作出承诺，合约成立. （2）智能合约平台：是一种支持智能合约可执 行程序部署、签名、运行、验证的信息网络系统. 包含合约层、编译层和执行层[27] ，其中： （a）合约层为编程人员提供智能合约编程语 言、合约模板及与区块链交互的 API 接口； （b）编译层将智能合约代码编译为虚拟机执 行的字节码； · 4 · 工程科学学报，第 44 卷，第 X 期