[论文解读] 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被引用 178

一句话总结

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

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.

研究动机与目标

• 澄清智能合约的基础概念，包括术语、自动化、可执行性和语义。
• 提出一个实际框架（Smart Contract Templates），通过参数将法律文本与标准化代码连接起来。
• 探索模板模板、参数和通用代码的设计选项，以支持具有法律强制力的智能合约。
• 突出长期研究挑战和金融机构未来采用的潜在架构。

提出的方法

• 定义一个高层次的双重视角定义，将智能合约视为可自动化和可执行的协议。
• 提出一个语义框架，区分合约的运营（自动化）和非运营（法律）方面。
• 引入以 Ricardian Contract 为灵感的模板，将法律文本与参数耦合以驱动代码执行。
• 讨论关于模板参数、代码标准化以及如何在未来实现法院可承认的形式化的设计决策。

实验结果

研究问题

• RQ1 智能合约的本质基础是什么（术语、自动化、可执行性、语义）？
• RQ2 如何将法律文件表示为具有连接到标准化代码的参数的模板？
• RQ3 Smart Contract Templates 的设计景观是什么，包括参数的复杂性和通用代码的共享？
• RQ4 哪些长期研究方向能够促进形式语言和法院可承认的智能合约表示？

主要发现

• 智能合约可以被视为跨越智能合约代码与智能法律合同的可自动化和可执行的协议。
• 模板将法律文本与参数结合起来，使得可通过参数推导出完全部署到代码中的协议。
• 设想通过提高参数的复杂性和高阶参数，能实现更灵活且可能被法院承认的业务逻辑表示。
• 在机构之间更广泛地使用通用标准化代码和共享代码库，可能减少重复劳动并实现可扩展部署。
• 长期研究可能产生能够转译为可执行代码和具有法律可采性文字的形式语言。