80 工程科学学报，第44卷，第1期 the end of classic contract law.Inf Commun Technol La,2017, 55(11):2452 26(2):116 (贺海武，延安，陈泽华.基于区块链的智能合约技术与应用综 [8]Fries M.Smart Contracts.Tabingen:Mohr Siebeck,2019 述.计算机研究与发展，2018,55(11)：2452) [9]Zhu Y,Wang Q S,Qin B H,et al.Survey of blockchain [22]Meng B,Liu Q,Wang D J,et al.Review on conformance between technology and its advances.ChinJ Eng,2019,41(11):1361 legal contract and smart contract.Application Research of Com- (朱岩，王巧石，秦博涵，等.区块链技术及其研究进展.工程科 puters,https:/ldoi.org10.19734f.issn.1001-3695.2019.12.0652 学学报，2019,41(11)：1361) (孟博，刘琴，王德军，等.法律合约与智能合约一致性综述.计 [10]Singh A.Parizi R M,Zhang Q.et al.Blockchain smart contracts 算机应用研究，https:1doi.org/10.19734.issn.1001-3695.2019. formalization:Approaches and challenges to address 12.0652) vulnerabilities.Comput Secur,2020,88:101654 [23]Si X,Cao J F.On the civil liability of artificial intelligence.Sci [11]Wang S,Ouyang L W.Yuan Y,et al.Blockchain-enabled smart Law (J Northwest Univ Political Sci Law),2017,35(5):166 contracts:Architecture,applications,and future trends.IEEE (司晓，曹建峰.论人工智能的民事责任：以自动驾驶汽车和智 Trans Syst Man Cybern:Syst,2019,49(11):2266 能机器人为切入点.法律科学（西北政法大学学报），2017， [12]Chinese Institute of Electronics.T/CIE 159-2020 Formal 35(5):166) Expression of Blockchain Smart Contract.Beijing:Standards Press [24]He X,Qin B H,Zhu Y,et al.SPESC:A specification language for of China,2021 smart contracts /2018 IEEE 42nd Annual Computer Sofnvare and (中国电子学会.T/CE159一2020区块链智能合约形式化表达 Applications Conference (COMPSAC).Tokyo,2018:132 北京：中国标准出版社2021) [25]Zhu Y,Qin B H,Chen E,et al.An advanced smart contract [13]Pereira J C.The genesis of the revolution in contract law:Smart conversion and its design and implementation for auction contract. legal contracts//Proceedings of the 12th International Conference Chin J Comp,2021,44(3):652 on Theory and Practice of Electronic Governance.Melboume, (朱岩，秦博涵，陈娥，等.一种高级智能合约转化方法及竞买合 2019:374 约设计与实现.计算机学报，2021,44(3)：652) [14]Govematori G,Idelberger F.MilosevicZ,et al.On legal contracts, [26]Ethereum.Solidity Documentation-Release 0.8.8 [J/OL].Interner imperative and declarative smart contracts,and blockchain Documentation Online (2021-9-15)[2021-09-16].https://buildme- systems.Artif Intell Law,2018,26(4):377 dia.readthedocs.org/media/pdf/solidity/develop/solidity.pdf [15]Gelati J,Rotolo A,Sartor G,et al.Normative autonomy and [27]Wohrer M,Zdun U.Domain specific language for smart contract normative co-ordination:Declarative power,representation,and development /2020 IEEE International Conference on mandate.Artif Intell Law,2004,12(1-2):53 Blockchain and Cryptocurrency (ICBC).Toronto,2020:1 [16]He X D,Yi J Z,Chen A B.Application progress and development [28]Christidis K,Devetsikiotis M.Blockchains and smart contracts for trend of block chain technology.World Sci TechRD.2018,40(6) the Internet of Things.IEEE Access,016,4:2292 615 [29]Zhu Y,Gan G H,Deng D.et al.Security architecture and key (何小东，易积政，陈爱斌.区块链技术的应用进展与发展趋势 technologies of blockchain.J Inf Secur Res,2016,2(12):1090 世界科技研究与发展，2018,40(6)：615) (朱岩，甘国华，邓迪，等.区块链关键技术中的安全性研究.信 [17]AndroulakiE,Barger A,Bortnikov V,et al.Hyperledger fabric:A 息安全研究，2016,2(12)：1090) distributed operating system for permissioned blockchains / [30]Sklaroff J M.Smart contracts and the cost of inflexibility.Uniy Pe Proceedings of the Thirteenth EuroSys Conference.Porto Portugal, Law Rev,.2017,166(1):263 2018:1 [31]Ouyang L W,Wang S,Yuan Y,et al.Smart contracts: [18]Lang F.New interpretation of smart contracts based on blockchain Architecture and research progresses.Acta Autom Sin,2019, technology from the contractual perspective.J Chongging Univ 45(3):445 Soc Sci Ed,http://kns.cnki.net/kcms/detail50./1023.C.20200402 (欧阳丽炜，王帅，袁勇，等.智能合约：架构及进展.自动化学报， 1345.004.html 2019,45(3):445) (郎芳.区块链技术下智能合约之于合同的新诠释.重庆大学学报 [32]Fang Y.Cong L H,Yang Z B.Study on digital smart contract (社会科学版)htp:/kns.cnki.net/kcms/detail/50.1023.C.20200402 based on blockchian.Comput Syst Appl,2019,28(9):225 1345.004.html) (方轶，丛林虎，杨珍波基于区块链的数字化智能合约研究.计 [19]Wu Y.The civil legal status of smart contracts.Jurist,2020(2):1 算机系统应用，2019,28(9)：225) (吴烨.论智能合约的私法构造.法学家，2020(2)：1) [33]Beaumont P H.Fixed-income Synthetic Assets:Packaging. [20]Chen J D.The legal structure of smart contract.Orient La, Pricing.and Trading Strategies for Financial Professionals.New 2019(3):18 Jersey:John Wiley Sons,1992 (陈吉栋.智能合约的法律构造.东方法学，2019(3)：18) [34]Von Wright G H.Deontic logic.Mind,1951,LX(237):1 [21]He H W,Yan A,Chen Z H.Survey of smart contract technology [35]Lee R M.A logic model for electronic contracting.Decis Support and application based on blockchain.J Comput Res Dev,2018 Ss1,1988,4(1上：27the end of classic contract law. Inf Commun Technol Law, 2017, 26（2）: 116 [8] Fries M. Smart Contracts. Tübingen: Mohr Siebeck, 2019 Zhu  Y,  Wang  Q  S,  Qin  B  H,  et  al.  Survey  of  blockchain technology and its advances. Chin J Eng, 2019, 41（11）: 1361 （朱岩, 王巧石, 秦博涵, 等. 区块链技术及其研究进展. 工程科 学学报, 2019, 41（11）：1361） [9] Singh A, Parizi R M, Zhang Q, et al. Blockchain smart contracts formalization:  Approaches  and  challenges  to  address vulnerabilities. Comput Secur, 2020, 88: 101654 [10] Wang  S,  Ouyang  L  W,  Yuan  Y,  et  al.  Blockchain-enabled  smart contracts:  Architecture,  applications,  and  future  trends. IEEE Trans Syst Man Cybern:Syst, 2019, 49（11）: 2266 [11] Chinese  Institute  of  Electronics.  T/CIE  159 —2020 Formal Expression of Blockchain Smart Contract. Beijing: Standards Press of China, 2021 （ 中国电子学会. T/CIE 159—2020区块链智能合约形式化表达. 北京: 中国标准出版社2021） [12] Pereira J C. The genesis of the revolution in contract law: Smart legal contracts//Proceedings of the 12th International Conference on Theory and Practice of Electronic Governance.  Melbourne, 2019: 374 [13] Governatori G, Idelberger F, Milosevic Z, et al. On legal contracts, imperative  and  declarative  smart  contracts,  and  blockchain systems. Artif Intell Law, 2018, 26（4）: 377 [14] Gelati  J,  Rotolo  A,  Sartor  G,  et  al.  Normative  autonomy  and normative  co-ordination:  Declarative  power,  representation,  and mandate. Artif Intell Law, 2004, 12（1-2）: 53 [15] He X D, Yi J Z, Chen A B. Application progress and development trend of block chain technology. World Sci Tech R D, 2018, 40（6）: 615 （何小东, 易积政, 陈爱斌. 区块链技术的应用进展与发展趋势. 世界科技研究与发展, 2018, 40（6）：615） [16] Androulaki E, Barger A, Bortnikov V, et al. Hyperledger fabric: A distributed  operating  system  for  permissioned  blockchains  // Proceedings of the Thirteenth EuroSys Conference. Porto Portugal, 2018: 1 [17] Lang F. New interpretation of smart contracts based on blockchain technology  from  the  contractual  perspective. J Chongqing Univ Soc Sci Ed,  http://kns.cnki.net/kcms/detail50./1023.C.20200402. 1345.004.html （ 郎芳. 区块链技术下智能合约之于合同的新诠释. 重庆大学学报 (社会科学版)http://kns.cnki.net/kcms/detail/50.1023.C.20200402. 1345.004.html） [18] Wu Y. The civil legal status of smart contracts. Jurist, 2020（2）: 1 （吴烨. 论智能合约的私法构造. 法学家, 2020（2）：1） [19] Chen  J  D.  The  legal  structure  of  smart  contract. Orient Law, 2019（3）: 18 （陈吉栋. 智能合约的法律构造. 东方法学, 2019（3）：18） [20] He H W, Yan A, Chen Z H. Survey of smart contract technology and  application  based  on  blockchain. J Comput Res Dev,  2018, [21] 55（11）: 2452 （贺海武, 延安, 陈泽华. 基于区块链的智能合约技术与应用综 述. 计算机研究与发展, 2018, 55（11）：2452） Meng B, Liu Q, Wang D J, et al. Review on conformance between legal  contract  and  smart  contract. Application Research of Com￾puters, https://doi.org/10.19734/j.issn.1001-3695.2019.12.0652 （ 孟博, 刘琴, 王德军, 等. 法律合约与智能合约一致性综述. 计 算 机 应 用 研 究 ,  https://doi.org/10.19734/j.issn.1001-3695.2019. 12.0652） [22] Si  X,  Cao  J  F.  On  the  civil  liability  of  artificial  intelligence. Sci Law (J Northwest Univ Political Sci Law), 2017, 35（5）: 166 （司晓, 曹建峰. 论人工智能的民事责任: 以自动驾驶汽车和智 能机器人为切入点. 法律科学(西北政法大学学报),  2017, 35（5）：166） [23] He X, Qin B H, Zhu Y, et al. SPESC: A specification language for smart contracts // 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC). Tokyo, 2018: 132 [24] Zhu  Y,  Qin  B  H,  Chen  E,  et  al.  An  advanced  smart  contract conversion and its design and implementation for auction contract. Chin J Comput, 2021, 44（3）: 652 （朱岩, 秦博涵, 陈娥, 等. 一种高级智能合约转化方法及竞买合 约设计与实现. 计算机学报, 2021, 44（3）：652） [25] Ethereum. Solidity Documentation-Release 0.8. 8 [J/OL]. Internet Documentation Online (2021-9-15)  [2021-09-16].https://buildme￾dia.readthedocs.org/media/pdf/solidity/develop/solidity.pdf [26] Wöhrer M, Zdun U. Domain specific language for smart contract development  //  2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). Toronto, 2020: 1 [27] Christidis K, Devetsikiotis M. Blockchains and smart contracts for the Internet of Things. IEEE Access, 2016, 4: 2292 [28] Zhu  Y,  Gan  G  H,  Deng  D,  et  al.  Security  architecture  and  key technologies of blockchain. J Inf Secur Res, 2016, 2（12）: 1090 （朱岩, 甘国华, 邓迪, 等. 区块链关键技术中的安全性研究. 信 息安全研究, 2016, 2（12）：1090） [29] Sklaroff J M. Smart contracts and the cost of inflexibility. Univ Pe Law Rev, 2017, 166（1）: 263 [30] Ouyang  L  W,  Wang  S,  Yuan  Y,  et  al.  Smart  contracts: Architecture  and  research  progresses. Acta Autom Sin,  2019, 45（3）: 445 （欧阳丽炜, 王帅, 袁勇, 等. 智能合约: 架构及进展. 自动化学报, 2019, 45（3）：445） [31] Fang  Y,  Cong  L  H,  Yang  Z  B.  Study  on  digital  smart  contract based on blockchian. Comput Syst Appl, 2019, 28（9）: 225 （方轶, 丛林虎, 杨珍波. 基于区块链的数字化智能合约研究. 计 算机系统应用, 2019, 28（9）：225） [32] Beaumont  P  H. Fixed-income Synthetic Assets: Packaging, Pricing, and Trading Strategies for Financial Professionals. New Jersey: John Wiley & Sons, 1992 [33] [34] Von Wright G H. Deontic logic. Mind, 1951, LX（237）: 1 Lee R M. A logic model for electronic contracting. Decis Support Syst, 1988, 4（1）: 27 [35] · 80 · 工程科学学报，第 44 卷，第 1 期