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.
XIANG Weijing, TSAI Weitek
. Research and Design of Legal Smart Contract Platform Model[J]. Journal of Applied Sciences, 2021
, 39(1)
: 109
-122
.
DOI: 10.3969/j.issn.0255-8297.2021.01.010
[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.
