[论文解读] Smart Contract Templates: foundations, design landscape and research directions

Christopher D. Clack, Vikram A. Bakshi+1 more|arXiv (Cornell University)|Aug 2, 2016

Blockchain Technology Applications and Security参考文献 2被引用 167

一句话总结

将智能合约定义为可自动化且可执行的协议，并概述将法律文本与代码参数连接起来的模板设计体系，以及未来的研究方向。

ABSTRACT

In this position paper, we consider some foundational topics regarding smart contracts (such as terminology, automation, enforceability, and semantics) and define a smart contract as an automatable and enforceable agreement. We explore a simple semantic framework for smart contracts, covering both operational and non-operational aspects, and describe templates and agreements for legally-enforceable smart contracts, based on legal documents. Building upon the Ricardian Contract, we identify operational parameters in the legal documents and use these to connect legal agreements to standardised code. We also explore the design landscape, including increasing sophistication of parameters, increasing use of common standardised code, and long-term research.

研究动机与目标

• 澄清关于智能合约的术语与概念，包括自动化与可执行性。
• 提出一个将操作性方面与非操作性合同方面分离的语义框架。
• 提出基于模板的方法（Ricardian Contract）以将法律文档与标准化代码连接起来。
• 勾勒智能合约模板、参数和标准化代码的设计蓝图。
• 识别用于实际部署的长期研究挑战和近期需要的需求。

提出的方法

• 采用一个区分智能合约代码和智能法律合约的高层次、务实框架。
• 定义一个受 Ricardian Contract 启发的模型，通过模板将文本、参数和代码联系起来。
• 描述模板如何包含法律文本和可实例化为协议的命名参数。
• 讨论跨参数复杂性、标准化代码和研究方向的设计选项。
• 概述合同的操作性与非操作性语义及其对自动化与执行的影响。

实验结果

研究问题

• RQ1 应如何定义智能合约的术语与语义，以同时覆盖操作性软件和法律可执行性？
• RQ2 模板如何将法律文本与机器可读参数耦合，以产生可执行的智能合约？
• RQ3 在参数复杂性、代码标准化和长期研究方面，Smart Contract Templates 的设计蓝图是什么？
• RQ4 为了实现金融合同的可信端到端处理，需要哪些未来的要求与研究方向？

主要发现

• 智能合约被定义为可自动化并具有执行力的协议，可能涵盖智能合约代码和智能法律合约。
• 两部分语义框架将操作性方面（自动化）与非操作性方面（法律语义）分离。
• 模板包含法律文本和参数；协议是完全实例化的模板，具有定制化的文本和参数值。
• 提高参数的复杂性和高阶参数可扩展编码逻辑的表达力及潜在的法律可采性。
• 通过参数化输入实现通用标准化代码的采用是可行的，能够在机构之间实现重用，并有朝向更广泛标准化的路径。
• 长期研究可能产生正式的契约语言，其文本在法庭上可被采纳，并能够转化为代码和法律文本。