郭倩等：基于要约-承诺的智能法律合约订立方法与实现 5 (©)执行层利用链上数据判断是否满足合约条 合约中表述的权利义务关系，则选择进行交易 款，若满足则自动执行合约 通过该方式也可反映出不同缔约主体间的合 (3)区块链：为智能合约提供了一个强有力的 意，自合约成立后，双方当事人均受该意思表示 底层介质2，用于记录合约的代码、执行的中间状 约束 态及执行结果.当前智能合约平台已经能够屏蔽 4智能合约订立流程合规化方案 区块链中的很多技术细节，使得区块链中的各种 复杂（哈希、P2P、共识机制、激励机制）机制为智 类似于传统纸质合同的签订方式，智能合约 能合约生命周期中的数据存证提供保障， 采取电子化形式进行要约-承诺认定，双方当事人 上述框架中甲、乙双方事先并未达成合意，编 签署数字签名后即视为缔约双方对智能合约代码 程人员直接通过智能法律合约语言编写合约范 所表示条款的认可，合约生效.智能合约订立流程 本后，智能合约程序被自动部署至智能合约平台， 如图3所示，包括智能合约从建立、部署、签名和 双方当事人从平台调取查看合约内容，如同意此 存证四个阶段的处理. Smart contract generation Storage structure of contract in blockchain Smart contract A Smart contract B Accompanying transaction (smart legal contract) (smart contract) Address Generation Smart Smart Contract B Contract A Conversion contract contract content Time(null) Sign (null) content A B Sign(executor) Time (null) Sign (null) Manual participation Deployment and signature (negotiation and acceptance) Blockchain Block Block > Block N-1 W+1 Query and access Query and access Signature Serial address Address Smart contract Signatures: Party I Party II Aand B Time(Party I Sign(Party I) Time(Party II Sign(Party II Time(Party I) Time(Party II) Sign (Party I) Sign(Party II) Time/Status Browsing content in blockchain Storage structure of signed contract in blockchain 图3智能合约订立数据流程图 Fig.3 Data flow diagram of smart contract conclusion 4.1智能合约建立 相比，虽然合同内容的载体不同，但这并不影响缔 智能合约建立阶段是指编程人员撰写智能法 约双方的合意呈现.其次，将智能合约A通过包含 律合约，经一定转化规则生成计算机可执行程序0. 一定转化规则的合约翻译器转化为智能合约程 具体如下：编程人员将缔约双方所描述的权利义 序，即智能合约B.例如，文献17]提出了一种从 务关系采用智能法律合约语言（如SPESC语言） 智能法律合约语言SPESC转化到以太坊智能合约 撰写成智能法律合约，即智能合约A.智能法律合 语言Solidity的转化规则，该转化规则的制定使得 约是对传统纸质合同的代码化后的结果，将自然 转化后的智能合约B具有规范的逻辑表达和函数 语言描述的合同条款用智能法律合约语言表述 结构，避免了同一份智能合约A经不同编程人员 后，可使合同条款在意思表示上更加精准简洁，无 转化后的不确定性 二义性别经翻译后的智能法律合约与纸质合同 智能法律合约（智能合约A)到智能合约（智能（c）执行层利用链上数据判断是否满足合约条 款，若满足则自动执行合约. （3）区块链：为智能合约提供了一个强有力的 底层介质[28] ，用于记录合约的代码、执行的中间状 态及执行结果. 当前智能合约平台已经能够屏蔽 区块链中的很多技术细节，使得区块链中的各种 复杂（哈希、P2P、共识机制、激励机制）机制为智 能合约生命周期中的数据存证提供保障[29] . 上述框架中甲、乙双方事先并未达成合意，编 程人员直接通过智能法律合约语言编写合约范 本后，智能合约程序被自动部署至智能合约平台， 双方当事人从平台调取查看合约内容，如同意此 合约中表述的权利义务关系，则选择进行交易. 通过该方式也可反映出不同缔约主体间的合 意，自合约成立后，双方当事人均受该意思表示 约束. 4    智能合约订立流程合规化方案 类似于传统纸质合同的签订方式，智能合约 采取电子化形式进行要约–承诺认定，双方当事人 签署数字签名后即视为缔约双方对智能合约代码 所表示条款的认可，合约生效. 智能合约订立流程 如图 3 所示，包括智能合约从建立、部署、签名和 存证四个阶段的处理. Contract A content Smart contract A (smart legal contract) Smart contract B (smart contract) Storage structure of contract in blockchain Conversion Generation Signature Sign (executor) Manual participation and signature Contract B content Smart contract generation Block N−1 Block N Block N+1 … Blockchain Deployment (negotiation and acceptance) Query and access Browsing content in blockchain Storage structure of signed contract in blockchain Smart contract Aand B Serial : address Time/Status Signatures: Time(PartyⅠ)/Sign(PartyⅠ) Time(PartyⅡ)/Sign(PartyⅡ) Smart contract A Smart contract B Query and access Address Time (PartyⅠ) Time (PartyⅡ) PartyⅠ PartyⅡ Sign (PartyⅠ) Sign (PartyⅡ) Address Time (null) Time (null) Sign (null) Sign (null) Accompanying transaction 图 3    智能合约订立数据流程图 Fig.3    Data flow diagram of smart contract conclusion 4.1    智能合约建立 智能合约建立阶段是指编程人员撰写智能法 律合约，经一定转化规则生成计算机可执行程序[30] . 具体如下：编程人员将缔约双方所描述的权利义 务关系采用智能法律合约语言（如 SPESC 语言[12] ） 撰写成智能法律合约，即智能合约 A. 智能法律合 约是对传统纸质合同的代码化后的结果，将自然 语言描述的合同条款用智能法律合约语言表述 后，可使合同条款在意思表示上更加精准简洁，无 二义性[31] . 经翻译后的智能法律合约与纸质合同 相比，虽然合同内容的载体不同，但这并不影响缔 约双方的合意呈现. 其次，将智能合约 A 通过包含 一定转化规则的合约翻译器转化为智能合约程 序，即智能合约 B. 例如，文献 [17] 提出了一种从 智能法律合约语言 SPESC 转化到以太坊智能合约 语言 Solidity 的转化规则，该转化规则的制定使得 转化后的智能合约 B 具有规范的逻辑表达和函数 结构，避免了同一份智能合约 A 经不同编程人员 转化后的不确定性. 智能法律合约（智能合约 A）到智能合约（智能 郭    倩等： 基于要约–承诺的智能法律合约订立方法与实现 · 5 ·