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

doi:10.3969/j.issn.0255-8297.2021.01.010

应用科学学报 ›› 2021, Vol. 39 ›› Issue (1): 109-122.doi: 10.3969/j.issn.0255-8297.2021.01.010

• 区块链 • 上一篇

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

向伟静¹, 蔡维德^1,2,3,4

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

收稿日期:2020-11-12 发布日期:2021-02-04
通信作者: 蔡维德,教授,博导,研究方向为区块链技术、智能合约、软件工程、服务计算分布式系统、云计算与大数据。E-mail:tsai7@yahoo.com E-mail:tsai7@yahoo.com
基金资助:
国家自然科学基金（No.61672075，61690202）；科技部重大项目基金（No.2018YFB1402700）；山东省2018年重点研发计划基金（No.2018CXGC0703）资助

Research and Design of Legal Smart Contract Platform Model

XIANG Weijing¹, TSAI Weitek^1,2,3,4

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:2020-11-12 Published:2021-02-04

摘要/Abstract

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

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

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

中图分类号:

TP391

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

XIANG Weijing, TSAI Weitek. Research and Design of Legal Smart Contract Platform Model[J]. Journal of Applied Sciences, 2021, 39(1): 109-122.

参考文献

[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.

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

Research and Design of Legal Smart Contract Platform Model

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 4

编辑推荐

Metrics

本文评价

[1]	赵颖琪, 朱雪阳, 李广元, 高雅, 包玉龙. 带时间约束的智能合约验证[J]. 应用科学学报, 2021, 39(1): 1-16.
[2]	王思源, 邹仕洪. 多域物联网中基于区块链和权能的访问控制机制[J]. 应用科学学报, 2021, 39(1): 55-69.
[3]	何正源, 段田田, 张颖, 张瀚文, 孙毅. 物联网中区块链技术的应用与挑战[J]. 应用科学学报, 2020, 38(1): 22-33.
[4]	苑陈娟, 孙国梓, 李华康, 王纪涛. 牌类游戏可信存证链系统[J]. 应用科学学报, 2020, 38(1): 81-92.