智能法律合约及其研究进展

工程科学学报 Chinese Journal of Engineering 智能法律合约及其研究进展 王迪朱岩陈娥郭侍李冀宁孙贻滋伊然 Smart legal contract and its research progress WANG Di,ZHU Yan,CHEN E,GUO Qian,LI Ji-ning.SUN Yi-zi,YI Ran 引用本文： 王迪，朱岩，陈娥，郭倩，李冀宁，孙贻滋，伊然.智能法律合约及其研究进展.工程科学学报，2022,44(1)：68-81.d0i: 10.13374j.issn2095-9389.2021.02.22.001 WANG Di,ZHU Yan,CHEN E,GUO Qian,LI Ji-ning.SUN Yi-zi,YI Ran.Smart legal contract and its research progress[J]. Chinese Journal of Engineering,.2022,441):68-81.doi:10.13374j.issn2095-9389.2021.02.22.001 在线阅读View online::https:/ldoi.org/10.13374.issn2095-9389.2021.02.22.001 您可能感兴趣的其他文章 Articles you may be interested in 区块链技术及其研究进展 Survey of blockchain technology and its advances 工程科学学报.2019,41(11)：1361 https:doi.org10.13374.issn2095-9389.2019.03.26.004 网络安全等级保护下的区块链评估方法 Research on blockchain evaluation methods under the classified protection of cybersecurity 工程科学学报.2020.42(10：1267htps:ldoi.org10.13374.issn2095-9389.2019.12.17.007 石墨烯基超疏水材料制备及其应用研究进展 Research progress in the preparation and application of graphene-based superhydrophobic materials 工程科学学报.2021,433)332 https::1doi.org/10.13374.issn2095-9389.2020.09.25.001 增减材混合制造的研究进展 Research progress in additivesubtractive hybrid manufacturing 工程科学学报.2020,42(5)：540hps:/oi.org10.13374j.issn2095-9389.2019.06.18.006 核壳结构复合吸波材料研究进展 Research progress of core-shell composite absorbing materials 工程科学学报.2019.41(5：547 https:/doi.org10.13374.issn2095-9389.2019.05.001 钨治炼渣综合回收利用的研究进展 Progress of research related to the comprehensive recovery and utilization of tungsten smelting slag 工程科学学报.2018.40(12：1468htps:/doi.org/10.13374.issn2095-9389.2018.12.004

智能法律合约及其研究进展 王迪 朱岩 陈娥 郭倩 李冀宁 孙贻滋 伊然 Smart legal contract and its research progress WANG Di, ZHU Yan, CHEN E, GUO Qian, LI Ji-ning, SUN Yi-zi, YI Ran 引用本文: 王迪, 朱岩, 陈娥, 郭倩, 李冀宁, 孙贻滋, 伊然. 智能法律合约及其研究进展[J]. 工程科学学报, 2022, 44(1): 68-81. doi: 10.13374/j.issn2095-9389.2021.02.22.001 WANG Di, ZHU Yan, CHEN E, GUO Qian, LI Ji-ning, SUN Yi-zi, YI Ran. Smart legal contract and its research progress[J]. Chinese Journal of Engineering, 2022, 44(1): 68-81. doi: 10.13374/j.issn2095-9389.2021.02.22.001 在线阅读 View online: https://doi.org/10.13374/j.issn2095-9389.2021.02.22.001 您可能感兴趣的其他文章 Articles you may be interested in 区块链技术及其研究进展 Survey of blockchain technology and its advances 工程科学学报. 2019, 41(11): 1361 https://doi.org/10.13374/j.issn2095-9389.2019.03.26.004 网络安全等级保护下的区块链评估方法 Research on blockchain evaluation methods under the classified protection of cybersecurity 工程科学学报. 2020, 42(10): 1267 https://doi.org/10.13374/j.issn2095-9389.2019.12.17.007 石墨烯基超疏水材料制备及其应用研究进展 Research progress in the preparation and application of graphene-based superhydrophobic materials 工程科学学报. 2021, 43(3): 332 https://doi.org/10.13374/j.issn2095-9389.2020.09.25.001 增减材混合制造的研究进展 Research progress in additivesubtractive hybrid manufacturing 工程科学学报. 2020, 42(5): 540 https://doi.org/10.13374/j.issn2095-9389.2019.06.18.006 核壳结构复合吸波材料研究进展 Research progress of core-shell composite absorbing materials 工程科学学报. 2019, 41(5): 547 https://doi.org/10.13374/j.issn2095-9389.2019.05.001 钨冶炼渣综合回收利用的研究进展 Progress of research related to the comprehensive recovery and utilization of tungsten smelting slag 工程科学学报. 2018, 40(12): 1468 https://doi.org/10.13374/j.issn2095-9389.2018.12.004

工程科学学报.第44卷.第1期：68-81.2022年1月 Chinese Journal of Engineering,Vol.44,No.1:68-81,January 2022 https://doi.org/10.13374/j.issn2095-9389.2021.02.22.001;http://cje.ustb.edu.cn 智能法律合约及其研究进展 王 迪，朱岩)，陈娥，郭倩，李冀宁)，孙贻滋，伊然) 1)北京科技大学计算机与通信工程学院，北京1000832)中国电子学会，北京1000363)北京互联网法院.北京100160 通信作者，E-mail:zhuyan@ustb.edu.cn 摘要从智能合约、智能法律合约等概念入手，依据现行法律条目的要求对智能合约法律化问题进行探讨，指出智能合约 法律化需满足文法要求、非赋权原则、审查准则三个基本规则，并以典型智能法律合约语言SPESC、CML为实例剖析了其法 律效力，辨析使其与原合同文本具有同等法律效力需满足的条件，进而，结合智能合约系统架构及部署运行过程，在对所部 署智能合约进行法律化辨析基础上对区块链智能合约及其链码的法律地位进行了论证.最后，对当前智能法律合约逻辑模 型与语言模型的研究进展进行总结，并加以讨论和评价.上述工作表明当前智能法律合约研究是一条解决智能合约法律地 位的可行途径，有利于从现行法上把握智能合约在合约逻辑、仲裁流程、形式化验证等方面的未来发展方向 关键词智能法律合约：领域专用语言；数据电文：法律化原则：区块链 分类号TP319 Smart legal contract and its research progress WANG Di,ZHU Yan,CHEN E,GUO Qian",LI Ji-ning?),SUN Yi-P,YI Ran 1)School of Computer Communication Engineering,University of Science and Technology Beijing,Beijing 100083,China 2)The Chinese Institute of Electronics,Beijing 100036,China 3)Beijing Internet Court,Beijing 100160,China Corresponding author,E-mail:zhuyan@ustb.edu.cn ABSTRACT With the advancement of blockchain,smart contracts have become increasingly popular.However,the uncertain status by law severely limits their practical applications.To address the problem,smart legal contract (SLC)is proposed as a transitional technology between legal and smart contracts.Starting with the basic concept of SLCs,in this paper,we discussed the legalization of smart legal contracts based on the requirements of existing legislation items and highlight that legalization should meet three elementary principles,including the specified grammatical requirements(for regulating terminology and eliminating ambiguity),the principle of nonempowerment (for resolving the inherent contradiction between automatic execution and the rights of parties),and examination criteria(for handling legal validity and code security issues).Moreover,we analyzed SLC's legal effect by taking typical smart legal contract languages,SPESC and CML as examples,and show that the contract program or chaincode has the same legal effect as the original contract,if and only if they satisfy three necessary conditions:(1)adopting the technical specification for generation and conclusion of SLCs;(2)complying with three abovementioned elementary principles;and (3)agreeing on declaration with the same legal effect.Furthermore,investigating the smart contract architecture and deployment,the legal status of both contract program and compiled chaincode was demonstrated in legal analysis of the deployed smart contract.Last,we discussed and evaluated the current situation of smart legal contract logic models and language models on SLCs.This work shows that the research on smart legal contracts is a suitable approach to guarantee the legal status of smart contracts,and the results will contribute to grasping the future research directions in several fields,such as contract logic,arbitration process,and formal verification,from the existing legislation viewpoint. 收稿日期：2021-01-22 基金项目：国家科技部重点研发计划资助项目(2018YFB1402702):国家自然科学基金资助项目(61972032)

智能法律合约及其研究进展 王    迪1)，朱    岩1) 苣，陈    娥1)，郭    倩1)，李冀宁2)，孙贻滋2)，伊    然3) 1) 北京科技大学计算机与通信工程学院，北京 100083    2) 中国电子学会，北京 100036    3) 北京互联网法院，北京 100160 苣通信作者， E-mail: zhuyan@ustb.edu.cn 摘    要    从智能合约、智能法律合约等概念入手，依据现行法律条目的要求对智能合约法律化问题进行探讨，指出智能合约 法律化需满足文法要求、非赋权原则、审查准则三个基本规则，并以典型智能法律合约语言 SPESC、CML 为实例剖析了其法 律效力，辨析使其与原合同文本具有同等法律效力需满足的条件. 进而，结合智能合约系统架构及部署运行过程，在对所部 署智能合约进行法律化辨析基础上对区块链智能合约及其链码的法律地位进行了论证. 最后，对当前智能法律合约逻辑模 型与语言模型的研究进展进行总结，并加以讨论和评价. 上述工作表明当前智能法律合约研究是一条解决智能合约法律地 位的可行途径，有利于从现行法上把握智能合约在合约逻辑、仲裁流程、形式化验证等方面的未来发展方向. 关键词    智能法律合约；领域专用语言；数据电文；法律化原则；区块链 分类号    TP319 Smart legal contract and its research progress WANG Di1) ，ZHU Yan1) 苣 ，CHEN E1) ，GUO Qian1) ，LI Ji-ning2) ，SUN Yi-zi2) ，YI Ran3) 1) School of Computer & Communication Engineering, University of Science and Technology Beijing, Beijing 100083, China 2) The Chinese Institute of Electronics, Beijing 100036, China 3) Beijing Internet Court, Beijing 100160, China 苣 Corresponding author, E-mail: zhuyan@ustb.edu.cn ABSTRACT    With the advancement of blockchain, smart contracts have become increasingly popular. However, the uncertain status by  law  severely  limits  their  practical  applications.  To  address  the  problem,  smart  legal  contract  (SLC)  is  proposed  as  a  transitional technology between legal and smart contracts. Starting with the basic concept of SLCs, in this paper, we discussed the legalization of smart legal contracts based on the requirements of existing legislation items and highlight that legalization should meet three elementary principles,  including  the  specified  grammatical  requirements  (for  regulating  terminology  and  eliminating  ambiguity),  the  principle  of nonempowerment  (for  resolving  the  inherent  contradiction  between  automatic  execution  and  the  rights  of  parties),  and  examination criteria (for handling legal validity and code security issues). Moreover, we analyzed SLC ’s legal effect by taking typical smart legal contract languages, SPESC and CML as examples, and show that the contract program or chaincode has the same legal effect as the original  contract,  if  and  only  if  they  satisfy  three  necessary  conditions:  (1)  adopting  the  technical  specification  for  generation  and conclusion of SLCs; (2) complying with three abovementioned elementary principles; and (3) agreeing on declaration with the same legal effect. Furthermore, investigating the smart contract architecture and deployment, the legal status of both contract program and compiled chaincode was demonstrated in legal analysis of the deployed smart contract. Last, we discussed and evaluated the current situation of smart legal contract logic models and language models on SLCs. This work shows that the research on smart legal contracts is  a  suitable  approach  to  guarantee  the  legal  status  of  smart  contracts,  and  the  results  will  contribute  to  grasping  the  future  research directions in several fields, such as contract logic, arbitration process, and formal verification, from the existing legislation viewpoint. 收稿日期: 2021−01−22 基金项目: 国家科技部重点研发计划资助项目（2018YFB1402702）；国家自然科学基金资助项目（61972032） 工程科学学报，第 44 卷，第 1 期：68−81，2022 年 1 月 Chinese Journal of Engineering, Vol. 44, No. 1: 68−81, January 2022 https://doi.org/10.13374/j.issn2095-9389.2021.02.22.001; http://cje.ustb.edu.cn

王迪等：智能法律合约及其研究进展 69. KEY WORDS smart legal contract;domain specific language;data massage;principle of legalization;blockchain 区块链是采用密码手段保障、只可追加、链式 1智能合约概念 结构组织的分布式账本系统四，其核心价值在于实 合约是当事人基于意思表示合致而签订的协 现了多参与方在统一规则下的自发高效协作，并 议，是一个使未取得彼此信任的各参与方具有安 通过代码、协议、规则为分布式账本及其网络提 排权利与义务的商定框架阿：智能合约在广义上是 供了信用基础.智能合约(Smart contract)P-到是第 指符合当事人之间约定的任何计算机协议，是一 二代区块链的核心技术之一，允许开发者利用编 种计算机化的合约.智能合约运行必须满足参与 程语言编写可自动执行程序，实现价值交换等应 者事先的约定，且其计算机任务的完成需两或多 用并在区块链上存证 名参与者共同协作，因此智能合约既能满足合约 智能合约是法律与计算机领域结合而提出的 遵循的可信性与合规性（合法性），也为保证合约 概念，为了进一步保证智能合约的法律地位，智能 合规性提供了协议验证、存证、争议解决等必需 法律合约(Smart legal contract,SLC)1被提出，其 的技术手段 目的在于在现行法下将智能合约形式及其代码执 上述定义的内涵较为宽泛，可囊括大多数的 行行为认定为法律意义上的电子合同.智能法律 计算机网络协议.为了更加明确智能合约的法律 合约与智能合约相比较，具有更加严格的法律特 化属性，维基百科中给出了如下定义四 征，这表现在它的表达语言、表现形式、执行方法 定义1智能合约：智能合约是一种旨在根据合 等各方面 约或协议中条款自动执行、控制或记录与法律相 智能法律合约是智能合约法律化发展的必 关事件和动作的计算机程序或交易协议， 然结果.现实生活中既懂法律又懂区块链领域专 此定义体现了智能合约处理对象是法律合约， 业知识的人仍然较少，使得审查计算机代码法律 处理手段是计算机协议，该手段目的是促进、保 性的现实难度增加，智能法律合约的出现有助于 障、验证、加强合约协商和履行例，表现形式是计 降低这种难度.同时，智能法律合约作为一种新 算机程序或交易协议 的区块链应用软件开发模式，不仅扩大了区块链 就区块链平台而言，区块链智能合约定义为： 技术的应用领域和快速开发能力，也通过规则 定义2区块链智能合约：区块链智能合约是部 约束代码运行，为人机物之间的高效安全协作提 署在区块链上、在满足预定条件时可自动执行并 供了技术保障，从而降低交易成本并减少法律 存证的计算机程序 纠纷 与广义智能合约概念相比较，这种智能合约 从目前的工程实践和学术成果来看，当前智 的载体是区块链，它本质是一种自动执行与存证 能法律合约概念与技术尚属于起步阶段，有待进 的计算机程序，通常，智能合约是平台无关的概 一步提高，对其概念、法律地位及内涵均缺乏系统 念，而区块链智能合约是平台相关的，需针对特定 性的研究，同时，对面向智能法律合约的软件模型 区块链结构转化为该平台指令系统所理解的代 和编程语言、及运行环境也缺少体系上的归纳与 码.这种转化后的代码被称为链码(Chaincode),具 总结 体定义如下： 有鉴于此，本文从智能法律合约的历史及概 定义3链码：链码是指由区块链智能合约转化 念演变过程入手，分析了当前智能合约平台及其 的、部署在区块链中并可被直接执行的指令序列. 构架，阐述了智能法律合约的法律化思考，并以近 链码将合约条款内容转化的指令序列直接写 年来此领域的实践研究为基础，辨析了智能法律 入区块链代码行中，并设置代码执行的触发条件， 合约法律化地位需满足的基本规则，并指出了为 因代码在满足预定触发条件后自动运行，不需要 使其与原合同文本具有同等法律效力需满足的 人为干预，因此被称为自动执行 3方面条件.上述辨析与分析表明智能法律合约 定义4自动执行：区块链智能合约的自动执行 是一条保障智能合约法律地位的可行途径，有利 是指部署在区块链上的链码在满足触发条件后履 于从现行法上把握智能合约在合约逻辑、仲裁流 行合约或协议中条款的方式 程、形式化验证等方面的未来研究方向 智能合约通常是应用软件的一部分，也是由

KEY WORDS    smart legal contract；domain specific language；data massage；principle of legalization；blockchain 区块链是采用密码手段保障、只可追加、链式 结构组织的分布式账本系统[1] ，其核心价值在于实 现了多参与方在统一规则下的自发高效协作，并 通过代码、协议、规则为分布式账本及其网络提 供了信用基础. 智能合约（Smart contract） [2−3] 是第 二代区块链的核心技术之一，允许开发者利用编 程语言编写可自动执行程序，实现价值交换等应 用并在区块链上存证. 智能合约是法律与计算机领域结合而提出的 概念，为了进一步保证智能合约的法律地位，智能 法律合约（Smart legal contract，SLC） [4−5] 被提出，其 目的在于在现行法下将智能合约形式及其代码执 行行为认定为法律意义上的电子合同. 智能法律 合约与智能合约相比较，具有更加严格的法律特 征，这表现在它的表达语言、表现形式、执行方法 等各方面. 智能法律合约是智能合约法律化发展的必 然结果. 现实生活中既懂法律又懂区块链领域专 业知识的人仍然较少，使得审查计算机代码法律 性的现实难度增加，智能法律合约的出现有助于 降低这种难度. 同时，智能法律合约作为一种新 的区块链应用软件开发模式，不仅扩大了区块链 技术的应用领域和快速开发能力，也通过规则 约束代码运行，为人机物之间的高效安全协作提 供了技术保障，从而降低交易成本并减少法律 纠纷. 从目前的工程实践和学术成果来看，当前智 能法律合约概念与技术尚属于起步阶段，有待进 一步提高，对其概念、法律地位及内涵均缺乏系统 性的研究，同时，对面向智能法律合约的软件模型 和编程语言、及运行环境也缺少体系上的归纳与 总结. 有鉴于此，本文从智能法律合约的历史及概 念演变过程入手，分析了当前智能合约平台及其 构架，阐述了智能法律合约的法律化思考，并以近 年来此领域的实践研究为基础，辨析了智能法律 合约法律化地位需满足的基本规则，并指出了为 使其与原合同文本具有同等法律效力需满足的 3 方面条件. 上述辨析与分析表明智能法律合约 是一条保障智能合约法律地位的可行途径，有利 于从现行法上把握智能合约在合约逻辑、仲裁流 程、形式化验证等方面的未来研究方向. 1    智能合约概念 合约是当事人基于意思表示合致而签订的协 议，是一个使未取得彼此信任的各参与方具有安 排权利与义务的商定框架[6] ；智能合约在广义上是 指符合当事人之间约定的任何计算机协议，是一 种计算机化的合约. 智能合约运行必须满足参与 者事先的约定，且其计算机任务的完成需两或多 名参与者共同协作，因此智能合约既能满足合约 遵循的可信性与合规性（合法性），也为保证合约 合规性提供了协议验证、存证、争议解决等必需 的技术手段. 上述定义的内涵较为宽泛，可囊括大多数的 计算机网络协议. 为了更加明确智能合约的法律 化属性，维基百科中给出了如下定义[7] ： 定义 1 智能合约：智能合约是一种旨在根据合 约或协议中条款自动执行、控制或记录与法律相 关事件和动作的计算机程序或交易协议. 此定义体现了智能合约处理对象是法律合约， 处理手段是计算机协议，该手段目的是促进、保 障、验证、加强合约协商和履行[8] ，表现形式是计 算机程序或交易协议. 就区块链平台而言，区块链智能合约定义为： 定义 2 区块链智能合约：区块链智能合约是部 署在区块链上、在满足预定条件时可自动执行并 存证的计算机程序[9] . 与广义智能合约概念相比较，这种智能合约 的载体是区块链，它本质是一种自动执行与存证 的计算机程序. 通常，智能合约是平台无关的概 念，而区块链智能合约是平台相关的，需针对特定 区块链结构转化为该平台指令系统所理解的代 码. 这种转化后的代码被称为链码（Chaincode），具 体定义如下： 定义 3 链码：链码是指由区块链智能合约转化 的、部署在区块链中并可被直接执行的指令序列. 链码将合约条款内容转化的指令序列直接写 入区块链代码行中，并设置代码执行的触发条件， 因代码在满足预定触发条件后自动运行，不需要 人为干预，因此被称为自动执行. 定义 4 自动执行：区块链智能合约的自动执行 是指部署在区块链上的链码在满足触发条件后履 行合约或协议中条款的方式. 智能合约通常是应用软件的一部分，也是由 王    迪等： 智能法律合约及其研究进展 · 69 ·

70 工程科学学报，第44卷，第1期 数字编码表示的条款代码，尚不构成法律意义上 通过解释器逐一将源程序语句解释成可执行的机 的合同.进而，它可在不需要可信方的参与下由计 器指令.解释器中间层屏蔽了平台间的差异，同样 算机网络执行，且共识协议可确保执行正确性.或 的智能法律合约在不同平台的执行结果是相同 者说，智能合约是一种自动执行合约条款并自我 的，使智能法律合约能够具有“一次编写，随处运 验证和无需中介的计算机交易协议© 行”的平台独立性 (3)可移植性.作为现实合约和智能合约中间 2 智能法律合约 层次的合约形式，智能法律合约的编写和解释器 2.1智能法律合约定义及内涵 都应该对硬件或操作系统没有依赖性，在不同的 随着数字社会的快速发展以及区块链技术的 系统或平台运行时经过很少改动或不经修改就 广泛应用，区块链智能合约的规范化需求日益强 可解释编译成等效的智能合约程序，即具有可移 烈.然而现有智能合约面临专业性强、可读性差、 植性 生产效率低等实际问题，现实法律合同到可执行 智能法律合约应建立在智能合约和现实合约 程序代码的高效转化难以实现，这不仅影响了行 之间，既具有合同的法律特征和易理解性，又有计 业应用与计算机及法律界人士的跨领域合作，而 算机程序代码的规范性4，以促进计算机、法律 且阻碍了智能合约的法律化进程山有鉴于此，智 等专业人员的跨领域协作.在区块链可确权基础 能法律合约被提出以： 上，智能法律合约将物理世界有价值的资产，包括 定义5智能法律合约：智能法律合约是一种含 房子、汽车、健康数据和版权等数字化为数字资 有合同构成要素、涵盖合同缔约方依据要约和承 产，并与可编程数字法币相结合，使其在区块链网 诺达成履行约定的计算机程序. 络上自由使用和流通，推动区块链智能合约快速 智能法律合约本质上是一种符合法律的智能 健康发展.同时，智能法律合约以程序代码表达合 合约一一“当事方之间以自然语言文本的形式，在 同条款，将现实法律合同与网络空间的程序代码 可计算逻辑的支持下，以数字协议的形式在不同 相衔接，可有效降低现实社会中法律合同生成智 的计算机系统之间建立可移植的可执行义务”) 能合约的开发成本 智能法律合约是一种介于现实法律合同与智 2.2智能合约语言发展现状 能合约之间的过渡性手段.如图1所示，现实法律 编程语言是程序设计的基础，理解智能合约 合同以自然语言为载体，可翻译成由智能法律合 语言也是掌握智能合约应用设计和运行机理的有 约语言撰写的智能法律合约，进而转化为由智能 效途径.智能合约语言是利用智能合约实现现实 合约语言编写的智能合约 业务的工具，是帮助智能合约使用者撰写智能合 约程序与代码的编程语言6从智能合约语言的 Smart legal Legal contract Smart contract 语言特点和运行环境分析，可将目前的智能合约 contract Smart contract framework 语言分为三类： (1)专有型智能合约：是一种针对特定功能区 Blockchain system 块链系统而开发的特定智能合约.典型代表是比 因1合同转化关系示意图 特币脚本系统下的货币型合约，它采用简单脚本 Fig.I Diagram of contract transformation relationship 指令系统和类Foth语言的栈式结构实现计算与 依据智能法律合约标准2-)，智能法律合约需 条件控制 遵循符合现行法律的合约结构及语法规则，使智 (2)通用型智能合约：使用常见程序设计语言， 能法律合约满足以下性质： 运行在容器(Docker)与虚拟机(VM)中，采用预定 (1)自然语言描述.作为在智能合约和现实合 义接口与区块链进行交互.例如，超级账本叨支 约之间建立共同意思表示的桥梁，智能法律合约 持如Go、Java等语言直接编写 必须是一种简单易懂、条理清晰的语言描述形式， (3)专业型智能合约：采用领域专用语言(DSL) 既兼有现实合约的法律特征和易理解性，也具有 针对特定专业领域而开发的智能合约，如法律、保 智能合约的规范性和逻辑性 险、知识产权、供应链金融、银行清结算、企业贷 (2)平台独立性.智能法律合约所采用的语言 款等领域，这种智能合约的特点是专业性强但通 属于解释型语言，不直接产生目标机器代码，而是 用性差，通常需要转化为通用型或专有型智能合

数字编码表示的条款代码，尚不构成法律意义上 的合同. 进而，它可在不需要可信方的参与下由计 算机网络执行，且共识协议可确保执行正确性. 或 者说，智能合约是一种自动执行合约条款并自我 验证和无需中介的计算机交易协议[10] . 2    智能法律合约 2.1    智能法律合约定义及内涵 随着数字社会的快速发展以及区块链技术的 广泛应用，区块链智能合约的规范化需求日益强 烈. 然而现有智能合约面临专业性强、可读性差、 生产效率低等实际问题，现实法律合同到可执行 程序代码的高效转化难以实现，这不仅影响了行 业应用与计算机及法律界人士的跨领域合作，而 且阻碍了智能合约的法律化进程[11] . 有鉴于此，智 能法律合约被提出[12] ： 定义 5 智能法律合约：智能法律合约是一种含 有合同构成要素、涵盖合同缔约方依据要约和承 诺达成履行约定的计算机程序. 智能法律合约本质上是一种符合法律的智能 合约——“当事方之间以自然语言文本的形式，在 可计算逻辑的支持下，以数字协议的形式在不同 的计算机系统之间建立可移植的可执行义务” [13] . 智能法律合约是一种介于现实法律合同与智 能合约之间的过渡性手段. 如图 1 所示，现实法律 合同以自然语言为载体，可翻译成由智能法律合 约语言撰写的智能法律合约，进而转化为由智能 合约语言编写的智能合约. Smart legal contract Smart contract Smart contract framework Blockchain system Legal contract 图 1    合同转化关系示意图 Fig.1    Diagram of contract transformation relationship 依据智能法律合约标准[12−13] ，智能法律合约需 遵循符合现行法律的合约结构及语法规则，使智 能法律合约满足以下性质： （1）自然语言描述. 作为在智能合约和现实合 约之间建立共同意思表示的桥梁，智能法律合约 必须是一种简单易懂、条理清晰的语言描述形式， 既兼有现实合约的法律特征和易理解性，也具有 智能合约的规范性和逻辑性. （2）平台独立性. 智能法律合约所采用的语言 属于解释型语言，不直接产生目标机器代码，而是 通过解释器逐一将源程序语句解释成可执行的机 器指令. 解释器中间层屏蔽了平台间的差异，同样 的智能法律合约在不同平台的执行结果是相同 的，使智能法律合约能够具有“一次编写，随处运 行”的平台独立性. （3）可移植性. 作为现实合约和智能合约中间 层次的合约形式，智能法律合约的编写和解释器 都应该对硬件或操作系统没有依赖性，在不同的 系统或平台运行时经过很少改动或不经修改就 可解释编译成等效的智能合约程序，即具有可移 植性. 智能法律合约应建立在智能合约和现实合约 之间，既具有合同的法律特征和易理解性，又有计 算机程序代码的规范性[14−15] ，以促进计算机、法律 等专业人员的跨领域协作. 在区块链可确权基础 上，智能法律合约将物理世界有价值的资产，包括 房子、汽车、健康数据和版权等数字化为数字资 产，并与可编程数字法币相结合，使其在区块链网 络上自由使用和流通，推动区块链智能合约快速 健康发展. 同时，智能法律合约以程序代码表达合 同条款，将现实法律合同与网络空间的程序代码 相衔接，可有效降低现实社会中法律合同生成智 能合约的开发成本. 2.2    智能合约语言发展现状 编程语言是程序设计的基础，理解智能合约 语言也是掌握智能合约应用设计和运行机理的有 效途径. 智能合约语言是利用智能合约实现现实 业务的工具，是帮助智能合约使用者撰写智能合 约程序与代码的编程语言[16] . 从智能合约语言的 语言特点和运行环境分析，可将目前的智能合约 语言分为三类： （1）专有型智能合约：是一种针对特定功能区 块链系统而开发的特定智能合约. 典型代表是比 特币脚本系统下的货币型合约，它采用简单脚本 指令系统和类 Forth 语言的栈式结构实现计算与 条件控制. （2）通用型智能合约：使用常见程序设计语言， 运行在容器（Docker）与虚拟机（VM）中，采用预定 义接口与区块链进行交互. 例如，超级账本[17] 支 持如 Go、Java 等语言直接编写. （3）专业型智能合约：采用领域专用语言（DSL） 针对特定专业领域而开发的智能合约，如法律、保 险、知识产权、供应链金融、银行清结算、企业贷 款等领域，这种智能合约的特点是专业性强但通 用性差，通常需要转化为通用型或专有型智能合 · 70 · 工程科学学报，第 44 卷，第 1 期

王迪等：智能法律合约及其研究进展 .71· 约才能实际进行应用 质并未发生变化1，但智能合约要成为意思自治 专有型和通用型智能合约的撰写仍需较强的 的合理表现形式，其形式合法化、内容规范化，编 计算机专业基础，对于其他专业人员有较高的壁 写和运行过程都应该满足国家现有法律和政策框 垒，因此，就智能合约不同行业应用开发而言，专 架的约束，目前智能合约距离满足法律要求仍存 业型智能合约将成为智能合约发展的主要趋势 在很多法律问题 2.3智能法律合约与法律合同的关系和区别 辨析1：传统合同采用自然语言、法言法语、 法律合同是双方或多方以一定的权利义务关 专业术语与在智能合约中的计算机代码之间存在 系声明约束他们之间民事法律关系的协议，且可 差异 由法庭强制执行.在本文中认为符合法律要求、 传统合同与智能合约的差异表现为： 且满足可读性、具备合约必需组件的合约均可认 ①传统合同为了针对各种无法预见的情况， 定为法律合同，是一个更为广泛的概念.其中，自 不但经常使用一些抽象的、概括的、灵活的语言 然语言撰写的传统纸质合约是法律合同的最常见 以实现内容高度的通用性，还经常大量使用法言 形式. 法语甚至专业领域的术语； 智能合约是否属于法律合同是学者一直争论 ②智能合约采用了非二义性、形式化的计算 的问题，部分学者认为智能合约通过代码表达 机语言进行表达，是一种可执行性的指令序列 当事人合意，且能在部署过程中满足“要约一承 常使用严谨、正式、“死板”的语言将合约内容中 诺”结构，应属于法律合同：但更多学者920认为 的条件、范围等进行限定 它的信赖前提是智能合约技术及其自治秩序，其 因此，两种语言之间差异体现在两个方面：二 代码在有效语义一致性识别时存在解释困难，且 义性与确定性、抽象与具体，相对而言，智能合约 一旦部署后的智能合约“不可撤回”，将事实出现 语言误解的几率比传统合同更低，这也是其优势 强制缔约的现象，应属于基于自治联合体的多维 所在 信赖合同，而不能认为其完全符合法律合同的要 另一方面，智能合约作为计算机程序，缺少对 求，本文对该问题持有相同态度 当事人权利和义务等法律关系与行为的明确表述， 智能法律合约是在传统现实合约基础上进行 难以由法律人士通过程序代码区分合约表述的权 形式化提取、着重于合约程序性和法律性共举的 利义务关系，这一缺点直接影响到智能合约法律 合约形式，可以通过转译机制转化成智能合约，从 效力，也是必须克服的缺点 而进行程序运行.智能法律合约语言在规避自然 其次，依照《民法典》第470条规定：“合同的 语言二义性的同时引入其法律特征和程序语言的 内容由当事人约定，一般包括下列条款：（一）当事 规范性，所编写的智能法律合约可以更明确地表 人的姓名或者名称和住所；（二）标的；（三）数量； 达合约条款、权利义务约束、权属交换等内容，在 (四)质量：（五）价款或者报酬：（六）履行期限、地 合约内容中符合法律合同规定.在本文后续论述 点和方式；（七）违约责任：（八）解决争议的方法.”智 中可以得知智能法律合约也具有和传统现实合约 能合约作为一种电子合同，其内容也应遵循上述 一样的法律效力，且满足合同所需要件，因此智能 规定的法律要素 法律合约属于法律合同 推论2文法要求：智能合约法律化应遵循自然 推论1：智能法律合约是对传统现实合约的形 语言表述为基础、法言法语为标准词汇、计算机 式化、模板化表达形式，属于法律合同且可转化为 形式化表达为语法、法律要素为框架生成智能 智能合约 合约 3智能合约的法律化探索与实践 传统合同与智能合约之间在用语方面存在很 大不同，因此在两者之间的转化过程中也必然会 3.1智能合约的法律化思考 出现问题而带来法律风险.在产生纠纷需要法院 依照《中华人民共和国民法典》（简称《民法 或者仲裁机构进行裁判，理解代码含义或代码逆 典》)第464条：“合同是民事主体之间设立、变 向转化回合同条款时，容易出现歧义或者模糊的 更、终止民事法律关系的协议.”这与定义1中智 用语（代码）难以界定，使得法院或者仲裁机构难 能合约概念相一致，智能合约形式下当事人约定 以作出裁判，为诉讼带来更大的时间成本与经济 了多方应该遵循的行为约束，签订合约的目的、性 成本

约才能实际进行应用. 专有型和通用型智能合约的撰写仍需较强的 计算机专业基础，对于其他专业人员有较高的壁 垒，因此，就智能合约不同行业应用开发而言，专 业型智能合约将成为智能合约发展的主要趋势. 2.3    智能法律合约与法律合同的关系和区别 法律合同是双方或多方以一定的权利义务关 系声明约束他们之间民事法律关系的协议，且可 由法庭强制执行. 在本文中认为符合法律要求、 且满足可读性、具备合约必需组件的合约均可认 定为法律合同，是一个更为广泛的概念. 其中，自 然语言撰写的传统纸质合约是法律合同的最常见 形式. 智能合约是否属于法律合同是学者一直争论 的问题，部分学者[18] 认为智能合约通过代码表达 当事人合意，且能在部署过程中满足“要约—承 诺”结构，应属于法律合同；但更多学者[19−20] 认为 它的信赖前提是智能合约技术及其自治秩序，其 代码在有效语义一致性识别时存在解释困难，且 一旦部署后的智能合约“不可撤回”，将事实出现 强制缔约的现象，应属于基于自治联合体的多维 信赖合同，而不能认为其完全符合法律合同的要 求，本文对该问题持有相同态度. 智能法律合约是在传统现实合约基础上进行 形式化提取、着重于合约程序性和法律性共举的 合约形式，可以通过转译机制转化成智能合约，从 而进行程序运行. 智能法律合约语言在规避自然 语言二义性的同时引入其法律特征和程序语言的 规范性，所编写的智能法律合约可以更明确地表 达合约条款、权利义务约束、权属交换等内容，在 合约内容中符合法律合同规定. 在本文后续论述 中可以得知智能法律合约也具有和传统现实合约 一样的法律效力，且满足合同所需要件，因此智能 法律合约属于法律合同. 推论 1：智能法律合约是对传统现实合约的形 式化、模板化表达形式，属于法律合同且可转化为 智能合约. 3    智能合约的法律化探索与实践 3.1    智能合约的法律化思考 依照《中华人民共和国民法典》（简称《民法 典》）第 464 条 ：“合同是民事主体之间设立、变 更、终止民事法律关系的协议. ”这与定义 1 中智 能合约概念相一致，智能合约形式下当事人约定 了多方应该遵循的行为约束，签订合约的目的、性 质并未发生变化[18] ，但智能合约要成为意思自治 的合理表现形式，其形式合法化、内容规范化，编 写和运行过程都应该满足国家现有法律和政策框 架的约束，目前智能合约距离满足法律要求仍存 在很多法律问题. 辨析 1：传统合同采用自然语言、法言法语、 专业术语与在智能合约中的计算机代码之间存在 差异. 传统合同与智能合约的差异表现为： ① 传统合同为了针对各种无法预见的情况， 不但经常使用一些抽象的、概括的、灵活的语言 以实现内容高度的通用性，还经常大量使用法言 法语甚至专业领域的术语； ② 智能合约采用了非二义性、形式化的计算 机语言进行表达，是一种可执行性的指令序列[21] ， 常使用严谨、正式、“死板”的语言将合约内容中 的条件、范围等进行限定. 因此，两种语言之间差异体现在两个方面：二 义性与确定性、抽象与具体，相对而言，智能合约 语言误解的几率比传统合同更低，这也是其优势 所在. 另一方面，智能合约作为计算机程序，缺少对 当事人权利和义务等法律关系与行为的明确表述[22] ， 难以由法律人士通过程序代码区分合约表述的权 利义务关系，这一缺点直接影响到智能合约法律 效力，也是必须克服的缺点. 其次，依照《民法典》第 470 条规定：“合同的 内容由当事人约定，一般包括下列条款：（一）当事 人的姓名或者名称和住所；（二）标的；（三）数量； （四）质量；（五）价款或者报酬；（六）履行期限、地 点和方式；（七）违约责任；（八）解决争议的方法. ”智 能合约作为一种电子合同，其内容也应遵循上述 规定的法律要素. 推论 2 文法要求：智能合约法律化应遵循自然 语言表述为基础、法言法语为标准词汇、计算机 形式化表达为语法、法律要素为框架生成智能 合约. 传统合同与智能合约之间在用语方面存在很 大不同，因此在两者之间的转化过程中也必然会 出现问题而带来法律风险. 在产生纠纷需要法院 或者仲裁机构进行裁判，理解代码含义或代码逆 向转化回合同条款时，容易出现歧义或者模糊的 用语（代码）难以界定，使得法院或者仲裁机构难 以作出裁判，为诉讼带来更大的时间成本与经济 成本. 王    迪等： 智能法律合约及其研究进展 · 71 ·