[論文レビュー] 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 パラメータの高度化、コード標準化、長期的な研究の観点から、スマートコントラクト・テンプレートの設計像はどうなるか。
• RQ4 金融契約の信頼できるストレートスルー処理を実現するために、どのような将来要件と研究方向が必要か。

主な発見

• スマートコントラクトは自動化可能かつ強制執行可能な契約として定義され、スマートコントラクトコードとスマート法的契約の両方を含む可能性がある。
• 運用的側面（自動化）と非運用的側面（法的意味論）を分ける二部構成の意味論フレームワーク。
• テンプレートには法的文言とパラメータが含まれ、合意はカスタマイズされた文言とパラメータ値を備えた完全に実体化されたテンプレートである。
• パラメータの高度化と高次パラメータの導入は、エンコードされた論理の表現力と法的適法性の可能性を拡張できる。
• パラメータ化された入力を通じて共通の標準化コードの採用は実現可能で、機関横断の再利用を可能にし、より広範な標準化へと道を開く。
• 長期的な研究は、法廷で認められる可能性のある正式な契約言語を生み出し、その文言をコードと法的文言に翻訳することができる。