智能合约的法律化探索 朱岩

智能合约的法律化探索 朱岩思维导图：包含智能合约的法律化思考，智能合约的法律化探索，智能合约的法律化的性质等等

智能法律合约及其研究进展

• 维基百科中智能合约的定义
  • 中国电子协会：区块链智能合约形式化表达
• 智能法律合约的性质
  • 自然语言描述
  • 平台独立性
  • 可移植性
• 智能法律合约是对传统现实合约的形式化、模板化表达形式，属于法律合同且可转化为智能合约。
• 智能合约的法律化探索
  • 领域专用语言
    • 智能合约及其链码与原合同文本具有同等法律效力，只要（一）采用智能法律合约生成与订立；（二）满足智能合约法律化三个基本规则；（三）约定具有同等效力。
    • 智能合约的区块链部署
      • 智能合约..依赖于区块链
  • 区块链智能合约的法律化辨析
    • 区块链智能合约及其所生成的链码属于数据电文。
    • 区块链智能合约及其所生成的链码属于书面形式。
    • 以可执行指令序列表示的区块链智能合约及其所生成的链码不足以构成法律合同
    • 在合同订立过程中必须明确约定现实合约、智能法律合约、代码、链码的相互转化关 系，并对它们的意思表示进行说明
  • 智能合约研究进展
    • 璞巍等以承诺作为基本元素构建了面向合同的智能合约形式化语言
    • 总体来看，智能法律合约的相关研究普遍存在 表达能力有限、触发控制机制不足、转化至可编程语言的能力较弱等问题。
• 智能合约的法律化思考
  • 传统合同与智能合约的差异
    • 二义性、确定性，抽象与具体
    • 缺少对权利义务的明确表述
    • 代码逆向转化易出现歧义，为诉讼带来更大时间成本与经济成本
  • 自动执行与当事人权利的内生性矛盾
  • 代码安全性
    • 针对性代码
    • 引用性代码（格式条款）
    • 由于智能合约是由专业受限的程序员所撰写，他们可能对合同条款缺乏审查能力，会将本应无效的条款转化为代码或无法意识到合约是否存在违反法律要求的行为
    • 恶意编程