[論文レビュー] Smart Contract Templates: essential requirements and design options

Christopher D. Clack, Vikram A. Bakshi+1 more|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）は、スマート法的契約のライフサイクルをどの程度拡張して対応できるか？

主な発見

• 著者らは、スマート法的契約に不可欠な5つの要件を特定した：作成／編集、標準化された保存／送信、法的履行プロトコル、コードへの拘束、管轄法遵守。
• スマート法的契約の形式的抽象スペシフィケーションを提案し、JSON や XML、Markdown といった異なるフォーマット間で一貫した実装設計を可能にする。
• ドキュメント内容の暗号ハッシュ化により、完全性が保証され、法的契約とその対応するスマートコントラクト間の安全なリンクが可能になる。
• バージョン番号、タイムスタンプ、ブランチ戦略を含むバージョン管理および編集履歴メカニズムは、契約交渉中の監査可能性および法的追跡可能性を確保するために不可欠である。
• FIBO などの標準化されたオントロジーの活用により、意味的相互運用性が向上し、システム間での法的コンテンツおよびパラメータの自動分析が可能になる。
• 本論文は、アクセス制御、承認ワークフロー、中央清算メカニズムとの統合といった、未解決の設計課題を特定しており、今後の研究と協働による解決が求められる。