Skip to main content
QUICK REVIEW

[论文解读] Smart Contract Templates: essential requirements and design options

Christopher D. Clack, Vikram A. Bakshi|arXiv (Cornell University)|Dec 14, 2016
FinTech, Crowdfunding, Digital Finance参考文献 1被引用 69
一句话总结

本文提出了一套标准化框架,用于智能法律协议,通过定义存储、传输和绑定法律文本、执行参数及智能合约代码的基本要求与设计选项,实现金融服务业中可执行的、互操作的智能合约。该框架提出了一种智能法律协议的抽象核心规范,并探讨了JSON、XML和Markdown等具体格式,强调语义一致性、密码学哈希和版本控制,以支持法律上可执行的、互操作的智能合约。

ABSTRACT

Smart Contract Templates support legally-enforceable smart contracts, using operational parameters to connect legal agreements to standardised code. In this paper, we explore the design landscape of potential formats for storage and transmission of smart legal agreements. We identify essential requirements and describe a number of key design options, from which we envisage future development of standardised formats for defining and manipulating smart legal agreements. This provides a preliminary step towards supporting industry adoption of legally-enforceable smart contracts.

研究动机与目标

  • 确立在金融服务业中创建、传输和法律执行智能法律协议的基本要求。
  • 定义一种标准化、可扩展的格式,用于存储和传输智能法律协议,实现法律文本、参数和可执行代码的关联。
  • 通过共享数据标准和本体论,支持行业采纳,实现法律文件与智能合约系统之间的互操作性。
  • 促进智能法律协议与现有金融数据标准(如FpML和FIBO)的集成,同时保持法律可执行性和管辖权合规性。
  • 为未来正式规范的发展奠定基础,以实现智能合约的自动协商、版本控制和可审计性。

提出的方法

  • 提出智能法律协议的抽象核心规范,定义元数据、文本格式(包括列表、表格、遮蔽处理)以及具有命名数据类型的参数结构。
  • 探讨JSON、XML(如Office Open XML、ODF)和Markdown等具体序列化格式,用于传输和存储,强调不同实现之间的语义一致性。
  • 引入文档内容的密码学哈希,以确保完整性,并支持法律协议与其对应智能合约之间的引用链接。
  • 定义使用组、层次结构和增量参数绑定(例如,“未绑定”或“绑定位置”标记)的多文档协议机制,以支持动态实例化。
  • 概述版本控制和编辑历史模型,包括版本号、时间戳和分支策略,以支持审计追踪和并行协商工作流。
  • 利用现有的金融本体论(如FIBO)来标准化语义含义,实现法律内容和参数的机器可读分析。

实验结果

研究问题

  • RQ1创建、传输和绑定法律上可执行的智能法律协议所必需的技术和法律要求是什么?
  • RQ2如何以标准化、互操作的格式一致地表示并链接法律文本、执行参数和智能合约代码?
  • RQ3在序列化格式(如JSON、XML、Markdown)的设计选择中,哪些最能支持语义一致性、版本控制和密码学完整性?
  • RQ4如何建模具有层次结构和增量参数绑定的多文档协议,以支持复杂的金融合约?
  • RQ5现有金融数据标准(如FpML、FIBO)在多大程度上可被扩展以支持智能法律协议的完整生命周期?

主要发现

  • 作者识别出智能法律协议的五项基本要求:创建/编辑、标准化存储/传输、法律执行协议、与代码绑定以及管辖权合规。
  • 提出智能法律协议的正式抽象规范,使不同格式(如JSON、XML、Markdown)的实现设计保持一致。
  • 对文档内容进行密码学哈希可确保完整性,并支持法律协议与其对应智能合约之间的安全链接。
  • 版本控制和编辑历史机制(如版本号、时间戳和分支策略)对于合同协商过程中的可审计性和法律可追溯性至关重要。
  • 使用标准化本体论(如FIBO)可增强语义互操作性,并支持跨系统对法律内容和参数的自动化分析。
  • 本文识别出若干尚未解决的关键设计挑战,包括访问控制、授权工作流以及与中央清算机制的集成,这些仍需进一步研究与协作。

更好的研究,从现在开始

从论文设计到论文写作,大幅缩短您的研究时间。

无需绑定信用卡

本解读由 AI 生成,并经人工编辑审核。