Smart Contract Templates: foundations, design landscape and research directions
Smart Contract Templates: foundations, design landscape and research directions
复制标题
DOI：
--
复制
发表时间：
2016-08
期刊：
影响因子：
--
通讯作者：
C. Clack;Vikram A. Bakshi;L. Braine
中科院分区：
文献类型：
--
作者：
C. Clack;Vikram A. Bakshi;L. Braine
在这份立场文件中，我们考虑了一些关于智能合约的基本主题（如术语、自动化、可扩展性和语义），并将智能合约定义为一种可自动化和可执行的协议。我们探索了一个简单的智能合约语义框架，涵盖了操作和非操作方面，并基于法律的文档描述了可依法执行的智能合约的模板和协议。在Riccarton合同的基础上，我们确定了法律的文件中的操作参数，并使用这些参数将法律的协议与标准化代码联系起来。我们还探讨了设计景观，包括日益复杂的参数，越来越多地使用通用标准化代码，以及长期的研究。
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.