English

应用科学学报 >

2021 , Vol. 39 >Issue 1: 109 - 122

DOI: https://doi.org/10.3969/j.issn.0255-8297.2021.01.010

区块链

法律智能合约平台模型的研究与设计

展开
  • 1. 北京航空航天大学 数字社会与区块链实验室, 北京 100191;
    2. 北京天德科技有限公司, 北京 102488;
    3. 天民国际沙盒研究院, 山东 青岛 266101;
    4. 国家大数据综合试验区 区块链互联网实验室, 贵州 贵阳 550007

收稿日期: 2020-11-12

  网络出版日期: 2021-02-04

基金资助

国家自然科学基金（No.61672075，61690202）；科技部重大项目基金（No.2018YFB1402700）；山东省2018年重点研发计划基金（No.2018CXGC0703）资助

收起

Research and Design of Legal Smart Contract Platform Model

Expand
  • 1. Digital Society & Blockchain Laboratory, Beihang University, Beijing 100191, China;
    2. Beijing Tiande Technologies Ltd., Beijing 102488, China;
    3. Andrew International Sandbox Research Institute, Qingdao 266101, Shandong, China;
    4. IOB Laboratory, National Big Data Comprehensive Experimental Area, Guiyang 550007, Guizhou, China

Received date: 2020-11-12

  Online published: 2021-02-04

Fold

摘要

现有的智能合约技术本质上只是一段链上代码，而真正的智能合约应是法律合约的数字化，可以实现合约条款的自动执行。为此，介绍了法律智能合约的重要科技，包括法律考量、预言机、事件模型等基础设施，在分析相关机构工作的基础上提出了法律智能合约的5个标准开发步骤，通过对法律流程标准的研究提出了设计智能合约模版的方法。为解决智能合约模版上数据预处理的问题，还设计了基于预言机技术的安全多管道事件模型。基于上述理论和模型，可进一步实现法律智能合约的开发和自动化处理。

关键词： 预言机; 智能合约; 法律; 安全多管道事件模型

本文引用格式

向伟静, 蔡维德 . 法律智能合约平台模型的研究与设计[J]. 应用科学学报, 2021 , 39(1) : 109 -122 . DOI: 10.3969/j.issn.0255-8297.2021.01.010

Abstract

Blockchain is essentially a distributed database or a network database. A real smart contract should be legally effective chain code, namely, the digitization of legal contracts, and can realize the automatic execution of contract terms. This article firstly introduces important technologies relevant to this type of smart contract, including legal considerations, oracles, event models and others, then proposes five standard development steps for legal smart contracts and a method for designing smart contract templates. Moreover, we also design a secure multi-channel event model for data preprocessing. Consequently, contracts processed on the above smart contract platform are expected to have legal effect.

Key words： oracle machine; smart contract; law; secure multi-channel event model

参考文献

[1] Tsai W T, Blower R, Zhu Y, et al. A system view of financial blockchains[C]//2016 IEEE Symposium on Service-Oriented System Engineering, 2016:450-457.
[2] 蔡维德, 姜晓芳. 批发数字法币支付系统重构金融市场:Fnality白皮书解读(下)[R/OL].[202010-08]. https://mp.weixin.qq.com/s/raoNDsCB25m6CDh91uZAOw.
[3] 蔡维德, 姜嘉莹. 平台霸权——打赢新型数字货币战争的决定性武器Libra 2.0解读(下)[R/OL]. (2020-05-09)[2020-10-15]. https://mp.weixin.qq.com/s/aWbY504jaYE6cJbi-7DKtQ.
[4] LabCFTC. A primer on smart contracts[EB/OL]. (2018-11-27)[2020-10-15]. https://www.cftc.gov/sites/default/files/201811/LabCFTC_PrimerSmartContracts112718_0.pdf.
[5] 蔡维德, 姜晓芳, 马圣程, 等. 互链网重新定义区块链[EB/OL]. (2020-04-28)[2020-10-15]. http://m.xinhua08.com/share.php?url=http://fintech.xinhua08.com/a/20200428/1933522.shtml&from=timeline&isappinstalled=0.
[6] 蔡维德. 熊猫-CBDC央行数字货币模型[EB/OL]. (2016-11-05)[2020-10-15]. https://mp.weixin.qq.com/s/VMF1R9q2D61-2R3neo6lGg.
[7] 蔡维德. 智能合约:重构社会契约[M]. 上海:法律出版社, 2020.
[8] Sarah green smart contracts call for evidence[EB/OL]. (2017-12)[2020-10-15]. https://www.lawcom.gov.uk/project/smart-contracts/.
[9] 蔡维德, 向伟静, 张韬. 智能合约近期五大科技突破:标准化、系统化、合规化、架构化、工程化[EB/OL]. (2020-09-15)[2020-10-15]. https://mp.weixin.qq.com/s/IZg-AYNC8iAFsGl6O9MZ6yA.
[10] ISDA. Legal guidelines for smart derivatives contracts:the ISDA master agreement[EB/OL]. (2019-02-17)[2020-10-15]. https://www.isda.org/2019/02/19/legal-guidelines-for-smart-derivatives-contracts-the-isda-master-agreement/.
[11] Grigg I. The Ricardian contract[C]//Proceedings of the First IEEE International Workshop on Electronic Contracting, 2004:25-31.
[12] ISDA, LINKLATERS LLP. Smart contracts and distributed ledger-a legal perspective[R/OL]. (2017-08)[2020-10-15]. https://www.isda.org/a/6EKDE/smart-contractsanddistributed-ledger-a-legal-perspective.pdf.
[13] ISDA. Whitepaper -smart derivatives contracts:from concept to construction[R/OL]. (2018-1003)[2020-10-15]. https://www.isda.org/a/cHvEE/Smart-Derivatives-Contracts-From-Conceptto-Construction-Oct-2018.pdf.
[14] Bavinck H. Stanford computable contracts initiative[EB/OL]. (2017-09-08)[2020-10-15]. https://law.stanford.edu/projects/stanford-computable-contracts-initiative/.
[15] Goodenough O, Salkind S. Developing a legal specification protocol:technological considerations and requirements[EB/OL]. (2019-03-14)[2020-10-15]. https://www-cdn.law.stanford.edu/wp-content/uploads/2019/03/LSPWhitePaperJan1119v021419.pdf.
[16] Bai X, Wang Y, Dai G, et al. A framework for contract-based collaborative verification and validation of Web services[C]//International Symposium on Component-Based Software Engineering. Heidelberg, Berlin:Springer, 2007.
[17] 胡凯, 白晓敏, 高灵超, 等. 智能合约的形式化验证方法[J]. 信息安全研究, 2016, (12):1080-1089. Hu K, Bai X M, Gao L C, et al. Formal verification method of smart contract[J]. Journal of Information Security Research, 2016(12):1080-1089. (in Chinese)
[18] Williams S. Predictive contracting[R/OL]. (2020-10-15)[2020-10-15]. https://digitalcommons.law.ggu.edu/pubs/856/.
[19] Tsai W T, Qi G. Combinatorial testing in cloud computing[M]. Singapore:Springer, 2017:3-17.
[20] Tsai W T, Jiang J Y. Three key principles of smart contracts[EB/OL]. (2019-01-17)[202010-15]. https://mp.weixin.qq.com/s/j5Ec2Jit69lsKOu1iexFUg.
[21] Parulkar S. The importance of event-driven architecture in the digital world[EB/OL]. (202005-11)[2020-10-15]. https://www.redhat.com/en/blog/importance-event-driven-architecturedigital-world.
[22] Chockler G, Melamed R, Tock Y, et al. SpiderCast:a scalable interest-aware overlay for topic-based pub/sub communication[C]//Proceedings of 2007 Inaugural International Conference on Distributed Event-Based Systems, Toronto, Ontario, Canada, June 20-22, 2007, ACM:14-25.
[23] 蔡维德. 互链网:一种新的系统结构和应用构建方法[EB/OL]. (2020-08-11)[2020-10-15]. http://m.xinhua08.com/share.php?url=http://fintech.xinhua08.com/a/20200811/1950646.shtml&from=groupmessage&isappinstalled=0.
[24] Tsai W T, Xiang W J, Xiang R, et al. LSO:a dynamic and scalable blockchain structuring framework[C]//BChain 20, November 6-8, 2020, Washington DC, USA.
[25] 蔡维德, 向伟静. 合约3大架构分析:英国央行2020年3月数字法币报告[R/OL]. (202003-30)[2020-10-15]. http://m.xinhua08.com/share.php?url=http://fintech.xinhua08.com/a/20200428/1933522.shtml&from=timeline&isappinstalled=0.
[26] Bank of England. Central bank digital currency opportunities, challenges and design[R/OL]. (2020-03)[2020-10-15]. https://www.bankofengland.co.uk/paper/2020/central-bankdigital-currencu-opportunities-challenges-and-design-discussion-paper.
[27] 朱岩, 甘国华, 邓迪, 等. 区块链关键技术中的安全性研究[J]. 信息安全研究, 2016(12):1090-1097 Zhu Y, Gan G H, Deng D, et al. Security architecture and key technologies of blockchain[J]. Journal of Information Security Research, 2016(12):1090-1097. (in Chinese)
[28] Leupers R, Schenk W, Marwedel P. Retargetable assembly code generation by bootstrapping[C]//Proceedings of the 7th International Symposium on High-Level Synthesis, IEEE, 2002:88-93.
Options
文章导航

/

〈 〉