[論文レビュー] Smart Derivatives Contracts: the ISDA Master Agreement and the automation of payments and deliveries

Christopher D. Clack, Ciaran McGonagle|arXiv (Cornell University)|Apr 1, 2019

FinTech, Crowdfunding, Digital Finance被引用数 6

ひとこと要約

本論文は、スマートコントラクトを用いた高付加価値デリバティブ契約の自動化のためのフレームワークを提案し、ISDAマスターアレインメントが支払いおよび引渡しワークフローに与える影響に焦点を当てる。4段階の契約構造、3段階のイベント処理モデル（観察、検出、実行）、および法的・技術的共同設計の強調により、自動化の整合性を確保するとともに、複雑な金融取引における人間の監視を可能にする。

ABSTRACT

High-value derivatives contracts require substantial legal protection and often utilise standardised legal documentation provided by the International Swaps and Derivatives Association (ISDA). Smart Derivatives Contracts aim to automate many aspects of high-value contracts, including automation of the provisions of the ISDA legal documentation. Here we investigate how the ISDA Master Agreement may affect the automation of payments and deliveries: we provide a framework for understanding how high-value derivatives contracts are structured at different levels, in terms of both the legal documentation and the workflow; we explain issues relating to how the smart contract code processes payments-related and deliveries-related events; and we discuss the extent to which these are amenable to automation.

研究の動機と目的

• 高付加価値デリバティブ契約の自動化を図るが、法的拘束力および契約の複雑性を維持する挑戦に応えること。
• ISDAマスターアレインメントがスマートコントラクト実装における支払いおよび引渡しのタイミング、金額、条件にどのように影響を与えるかを調査すること。
• 正確な自動化を支援するための、取引レベル、関係レベル、第三者レベル、外部レベルの4段階の契約フレームワークを構築すること。
• 法的検証、意味解析、人間の監視メカニズムを統合することで、スマートコントラクトコードが法的条項を忠実に反映することを保証すること。
• コンピュータサイエンティスト、弁護士、金融実務家が協働して、法的に妥当で自動化可能なデリバティブシステムを設計することを促進すること。

提案手法

• 4段階の契約構造を提案：取引レベル（経済的条項）、関係レベル（ISDAマスターアレインメント）、第三者レベル（外部依存関係）、外部レベル（規制および市場の文脈）。
• 3段階のイベント処理パイプラインを導入：観察（外部データの監視）、検出（トリガーイベントの特定）、実行（スマートコントラクト論理による支払いまたは引渡しの実行）。
• ISDAマスターアレインメントからの形式化された法的条項を入力として、機械実行可能な関数を生成し、検証を通じて法的整合性を確保する。
• スマートコントラクトテンプレートおよびISDA CDM（共通ドメインモデル）関数を活用して、複雑な契約論理をモジュラー化および合成する。
• 自動化論理が曖昧さやデータ不足に対処できない場合に、一時停止、停止、または承認を可能にする人間による監視メカニズムを強調する。
• 法的文書の意味解析を活用してテストケースを生成し、スマートコントラクトの動作を法的意図と照合して検証することを提言する。

実験結果

リサーチクエスチョン

• RQ1 ISDAマスターアレインメントの規定、特にノットリング、一時停止権利、および相殺メカニズムが、スマートコントラクトにどの程度形式的にエンコードされ、自動化可能か。
• RQ2 スマートコントラクトコードがISDAマスターアレインメントに定められた法的義務および権利を、その法的効力を変更せずに正確に反映するにはどうすればよいか。
• RQ3 マスターアレインメントが管理する包括的な契約関係と一致する支払いおよび引渡しの運用メカニズムを実現するための、構造的および技術的フレームワークは何か。
• RQ4 不確実性および法的複雑性を管理するため、人間の監視および干渉を自動化されたスマートコントラクトシステムに効果的に統合する方法は何か。
• RQ5 標準化された法的文書および形式化されたテンプレートが、信頼性があり相互運用可能で法的に有効なスマートデリバティブ契約を実現するために果たす役割は何か。

主な発見

• ISDAマスターアレインメントは、特にノットリングおよび一時停止権利を通じて、支払いおよび引渡しのタイミングと金額に顕著な影響を与える。これらはスマートコントラクトに形式的にモデル化する必要がある。
• デリバティブ製品の経済的条項のみを自動化しても不十分である。関係レベル（例：マスターアレインメント）における包括的な契約フレームワークをスマートコントラクト論理に統合する必要がある。
• 取引レベル、関係レベル、第三者レベル、外部レベルの4段階の契約構造は、自動化されたデリバティブシステムにおける法的および運用的複雑性をモデル化する包括的なフレームワークを提供する。
• 3段階のイベント処理モデル（観察、検出、実行）により、支払いおよび引渡しのシステム的処理が可能となり、検出論理は検証済みの形式化された法的ルールに依存する。
• スマートコントラクトコードの法的検証は不可欠であり、法的専門家による実施が、元の契約の法的効力を維持する上で必要である。
• 外部データ入力、曖昧な条件、運用上の上書き処理に対処するため、人間による干渉メカニズムは、現実の金融環境における耐障害性およびコンプライアンスを確保するために不可欠である。