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

Smart legal contract and its research progress

作　　者：王迪 朱岩[1] 陈娥 郭倩 李冀宁 孙贻滋 伊然 WANG Di;ZHU Yan;CHEN E;GUO Qian;LI Ji-ning;SUN Yi-zi;YI Ran(School of Computer&Communication Engineering,University of Science and Technology Beijing,Beijing 100083,China;The Chinese Institute of Electronics,Beijing 100036,China;Beijing Internet Court,Beijing 100160,China)

机构地区：[1]北京科技大学计算机与通信工程学院,北京100083 [2]中国电子学会,北京100036 [3]北京互联网法院,北京100160

出　　处：《工程科学学报》2022年第1期68-81,共14页Chinese Journal of Engineering

基　　金：国家科技部重点研发计划资助项目(2018YFB1402702);国家自然科学基金资助项目(61972032)。

摘　　要：从智能合约、智能法律合约等概念入手,依据现行法律条目的要求对智能合约法律化问题进行探讨,指出智能合约法律化需满足文法要求、非赋权原则、审查准则三个基本规则,并以典型智能法律合约语言SPESC、CML为实例剖析了其法律效力,辨析使其与原合同文本具有同等法律效力需满足的条件.进而,结合智能合约系统架构及部署运行过程,在对所部署智能合约进行法律化辨析基础上对区块链智能合约及其链码的法律地位进行了论证.最后,对当前智能法律合约逻辑模型与语言模型的研究进展进行总结,并加以讨论和评价.上述工作表明当前智能法律合约研究是一条解决智能合约法律地位的可行途径,有利于从现行法上把握智能合约在合约逻辑、仲裁流程、形式化验证等方面的未来发展方向.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.

关 键 词：智能法律合约 领域专用语言 数据电文 法律化原则 区块链 

分 类 号：TP319[自动化与计算机技术—计算机软件与理论]