王迪等：智能法律合约及其研究进展 79· (And(Give(Scale(10,One(USD))), 转化为智能合约的生成器，但是该语言采用本体 Czcb二 At(now +1years.Scale(11.One(USD)))) 论语言的语法表示，不易读写，且主要应用于对数 该表达式表示：出借人向借款人借款10USD, 据的限制与检验，缺乏对于数据、合约状态变化以 一年后借款人还款I1USD.由此可见，Findel可以 及金融方面的描述. 表示具有时序关系的简单金融合约，但无法支持 上述现有研究中多利用逻辑学的相关成果， 变量的定义，且一个合约只能涉及两个当事人，功 针对某一领域方向，如金融领域展开研究，从而建 能较为单一，表达能力有限 立现实合约和智能合约之间的关联，形成智能法 文献[46]以可读性与安全性为目标提出了一 律合约.总体来看，智能法律合约的相关研究普遍 种类自然智能合约语言(SmaCoNat).如图5所示， 存在表达能力有限、触发控制机制不足、转化至 SmaCoNat合约包含合约头、账户、资产、协议、事 可编程语言的能力较弱等问题， 件，其中，合约头、账户、事件分别类似于SPESC 6总结与展望 中的合约名称、当事人、条款，而资产与协议分别 用来声明合约中涉及的资产以及对资产初始化 智能合约的法律化，必然导致计算机程序开 SmaCoNat对于资产做出了更加具体的描述与限 发新的变革.针对智能合约如何有效应对法律化 定，但依旧存在问题：①没有表达如何在合约中存 要求，学者们对此开展过讨论，形成了富有启发性 储信息，只支持对于资产转移的描述，因此应用范 的观点.本文对智能法律合约的各种研究进展进 围较小；②没有对于时序的控制，每个输入事件之 行了归纳总结，阐述了智能合约的法律化探索和 间相互独立，仅通过资产进行联系，条款之间的关 实践，对法律化进程中的关键问题进行了辨析与 系更难梳理与理解：③无法转化为可执行的智能 总结 合约编程语言 智能合约是一个新兴的领域，尤其是智能法 律合约的研究应保持前瞻性，不能等待智能合约 Contract in SmaCoNat version 0.1. 法律地位确定后再发展智能合约产业.与其相比 5 Involved Accounts: 较，法律的滞后性是不可避免的，因为法律不能假 Account 'BarrierIn'by 'AComp'by Genesis alias 'BarrierIn'. Account 'Barrierout'by 'AComp'by Genesis alias 'Barrierout'. 设、不能预想可能发生什么，进而对该可能性进行 5 Involved Assets: 立法.因此，利用智能法律合约推进智能合约法律 Asset 'TheCoin'by Genesis alias 'Thecoin'. .Asset 'ParkTicket'by Self alias 'Ticket'. .Asset 'openBarrier'by Self alias 'Open'. 化具有积极意义 5 Agreement: n Self issues 'Ticket'with value 42. 参考文献 Self issues 'Open'with value 1. [1]Nakamoto S,Bitcoin:a peer-to-peer electronic cash system [J/OL]. 与Input Event: if Input is equal to 'Thecoin'from Anyone Bitcoin Online (2008-10-31)[2021-09-17]https://bitcoin.org/ and if value of Input is equal to e.3 then bitcoin.pdf Self transfers 'Ticket'with value I to owner of Input. Self transfers 'Open'with value 1 to 'BarrierIn'. [2]Szabo N.Smart contracts.[J/OL]Internet Documentation Online Self issues 'Open'with value 1. (2018-05-30)[2021-09-29].https:/www.fon.hum.uva.nl/rob/ endif Courses/InformationInSpeech/CDROM/Literature/LOTwinter- if Input is equal to 'Ticket'from Anyone then Self transfers 'Open'with value 1 to 'Barrierout'. school2006/szabo.best.vwh.net/smart.contracts.html Self issues 'Open'with value 1. ndi [3] Szabo N.Smart contracts:building blocks for digital markets EXTROPY:J Transhumanist Thought,1996(16):18 图5 SmaCoNat合约 [4] Zhu Y,Song W,Wang D.et al.TA-SPESC:Toward asset-driven Fig.5 Contract written in SmaCoNat smart contract language supporting ownership transaction and rule- 文章[47刀提供了一个新的自动生成智能合约 based generation on blockchain.IEEE Transactions on Reliabiliry, 的框架，其框架利用语义规则对特定领域的知识 2021,70(3):1255 进行编码，然后利用抽象语法树的结构来合并所 [5] Bertoli P.Smart (legal)Contracts:Forum and Applicable Law Issues.Berlin:Springer International Publishing,2020 需的约束，最终通过经过约束的语法编码为区块 [6]Bartoletti M,Pompianu L.An empirical analysis of smart 链的智能合约.其智能合约语言采用改进后的网 contracts:Platforms,applications,and design patterns.Financial 络本体语言(OWL)一一语义网规则语言(SWRL) Cryptogr Data Secur,2017:494 描述智能合约.尽管该文献提供了从SWRL自动 [7]Savelyev A.Contract law 2.0:'Smart'contracts as the beginning ofczcb = { And(Give(Scale(10,One(USD))), At(now+1years,Scale(11,One(USD))))} 该表达式表示：出借人向借款人借款 10 USD， 一年后借款人还款 11 USD. 由此可见，Findel 可以 表示具有时序关系的简单金融合约，但无法支持 变量的定义，且一个合约只能涉及两个当事人，功 能较为单一，表达能力有限. 文献 [46] 以可读性与安全性为目标提出了一 种类自然智能合约语言（SmaCoNat）. 如图 5 所示， SmaCoNat 合约包含合约头、账户、资产、协议、事 件. 其中，合约头、账户、事件分别类似于 SPESC 中的合约名称、当事人、条款，而资产与协议分别 用来声明合约中涉及的资产以及对资产初始化. SmaCoNat 对于资产做出了更加具体的描述与限 定，但依旧存在问题：①没有表达如何在合约中存 储信息，只支持对于资产转移的描述，因此应用范 围较小；②没有对于时序的控制，每个输入事件之 间相互独立，仅通过资产进行联系，条款之间的关 系更难梳理与理解；③无法转化为可执行的智能 合约编程语言. 图 5    SmaCoNat 合约 Fig.5    Contract written in SmaCoNat 文章 [47] 提供了一个新的自动生成智能合约 的框架，其框架利用语义规则对特定领域的知识 进行编码，然后利用抽象语法树的结构来合并所 需的约束，最终通过经过约束的语法编码为区块 链的智能合约. 其智能合约语言采用改进后的网 络本体语言（OWL）——语义网规则语言（SWRL） 描述智能合约. 尽管该文献提供了从 SWRL 自动 转化为智能合约的生成器，但是该语言采用本体 论语言的语法表示，不易读写，且主要应用于对数 据的限制与检验，缺乏对于数据、合约状态变化以 及金融方面的描述. 上述现有研究中多利用逻辑学的相关成果， 针对某一领域方向，如金融领域展开研究，从而建 立现实合约和智能合约之间的关联，形成智能法 律合约. 总体来看，智能法律合约的相关研究普遍 存在表达能力有限、触发控制机制不足、转化至 可编程语言的能力较弱等问题. 6    总结与展望 智能合约的法律化，必然导致计算机程序开 发新的变革. 针对智能合约如何有效应对法律化 要求，学者们对此开展过讨论，形成了富有启发性 的观点. 本文对智能法律合约的各种研究进展进 行了归纳总结，阐述了智能合约的法律化探索和 实践，对法律化进程中的关键问题进行了辨析与 总结. 智能合约是一个新兴的领域，尤其是智能法 律合约的研究应保持前瞻性，不能等待智能合约 法律地位确定后再发展智能合约产业. 与其相比 较，法律的滞后性是不可避免的，因为法律不能假 设、不能预想可能发生什么，进而对该可能性进行 立法. 因此，利用智能法律合约推进智能合约法律 化具有积极意义. 参    考    文    献 Nakamoto S, Bitcoin: a peer-to-peer electronic cash system [J/OL]. Bitcoin Online (2008-10-31)  [2021-09-17]  https://bitcoin.org/ bitcoin.pdf [1] Szabo N. Smart contracts. [J/OL] Internet Documentation Online (2018-05-30)[2021-09-29].https://www.fon.hum.uva.nl/rob/ Courses/InformationInSpeech/CDROM/Literature/LOTwinter￾school2006/szabo.best.vwh.net/smart.contracts.html [2] Szabo  N.  Smart  contracts:  building  blocks  for  digital  markets. EXTROPY: J Transhumanist Thought, 1996(16): 18 [3] Zhu Y, Song W, Wang D, et al. TA-SPESC: Toward asset-driven smart contract language supporting ownership transaction and rule￾based generation on blockchain. IEEE Transactions on Reliability, 2021, 70（3）: 1255 [4] Bertoli  P. Smart (legal) Contracts: Forum and Applicable Law Issues. Berlin: Springer International Publishing, 2020 [5] Bartoletti  M,  Pompianu  L.  An  empirical  analysis  of  smart contracts:  Platforms,  applications,  and  design  patterns. Financial Cryptogr Data Secur, 2017: 494 [6] [7] Savelyev A. Contract law 2.0:‘Smart’ contracts as the beginning of 王    迪等： 智能法律合约及其研究进展 · 79 ·