[論文レビュー] Violable Contracts and Governance for Blockchain Applications

Munindar P. Singh, Amit K. Chopra|arXiv (Cornell University)|Jan 8, 2018

Blockchain Technology Applications and Security参考文献 12被引用数 5

ひとこと要約

本稿は、宣言的で違反可能な契約（従来のスマートコントラクトとは対照的）に焦点を当てた、ブロックチェーンベースの分散型アプリケーションの社会的・技術的フレームワークを提案する。このフレームワークにより、公開でブロックチェーン上に記録された記録を通じて、柔軟なガバナンス、自律性の維持、検証可能な準拠性を実現する。主な貢献は、契約が違反可能であり、検証可能で、埋め込まれた規範を通じてガバナンスが可能となる形式的モデルの構築であり、中央集権的機関がなくても信頼を築くことを可能にする。

ABSTRACT

We examine blockchain technologies, especially smart contracts, as a platform for decentralized applications. By providing a basis for consensus, blockchain promises to upend business models that presuppose a central authority. However, blockchain suffers from major shortcomings arising from an over-regimented way of organizing computation that limits its prospects. We propose a sociotechnical, yet computational, perspective that avoids those shortcomings. A centerpiece of our vision is the notion of a declarative, violable contract in contradistinction to smart contracts. This new way of thinking enables flexible governance, by formalizing organizational structures; verification of correctness without obstructing autonomy; and a meaningful basis for trust.

研究の動機と目的

• 分散型アプリケーションにおける従来のスマートコントラクトの限界を解決すること。これらは硬直的で変更不能な論理を強制し、現実世界の組織的ダイナミクスをサポートしない。
• すべての相互作用を原子的かつ変更不能とみなすブロックチェーンシステムの不柔軟性を克服すること。これにより、自律性と実用的なガバナンスが損なわれる。
• 分散型アプリケーションが、例外、準拠性の検証、信頼メカニズムを含む、現実世界の社会的・組織的構造をサポートできることを可能にすること。
• ガバナンスをブロックチェーンシステムの第一級の構成要素として形式化すること。これにより、規範の強制、違反の検出、レピュテーションに基づく信頼が可能になる。
• 自律性と検証可能性のバランスを取る計算モデルを提供すること。これにより、当事者が独立して行動しつつも、公開で監査可能な記録を通じて責任を確保できる。

提案手法

• 自動的に強制されないが、満足度、違反、有効期限の確認が可能な、宣言的で形式化された契約「コンパクト」を導入する。
• 契約論理と実行を分離する。契約条項とイベント記録をブロックチェーンに保存することで、外部による検証とガバナンスを可能にする。
• ブロックチェーンを共有で変更不能な帳簿として利用し、契約状態、違反、苦情、ガバナンス行動を記録することで、透明性と監査可能性を確保する。
• ガバナンス構造をブロックチェーンモデルに統合し、違反が発生した際にガバナンスプロセスが起動され、制裁が形式的に記述され、検証可能になるようにする。
• 公開された意味論を通じて信頼を形式化する。当事者の信頼性は、観察可能なブロックチェーン上の行動（例：規範の準拠または違反）に基づき動的に更新される。
• 現実世界の事実（例：医療診断）を外部で検証されたがブロックチェーンに記録されるイベントとしてモデル化し、規範的判断が権威ある出所に根ざしていることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ブロックチェーンベースのシステムは、相互に信頼できない当事者間の自律的で、かつ責任を伴う相互作用をどのように支援できるか？
• RQ2 柔軟性や自律性を損なわず、ブロックチェーンシステム内に組織的規範やガバナンス構造を形式化するためのメカニズムは何か？
• RQ3 内部状態（例：信念、意図）が直接観察できないオープンで分散型のシステムにおいて、契約準拠性をどのように検証できるか？
• RQ4 契約違反を意味的に記録し、信頼やレピュテーションに活用する方法は何か？ ただし、自律性の原則を損なわないようにする。
• RQ5 現実世界の事実（例：腫瘍が良性である）を、社会的・制度的意味を保ちつつ、ブロックチェーンベースの契約にどのように統合できるか？

主な発見

• 従来のスマートコントラクトは、分散型アプリケーションにおいて不十分である。なぜなら、硬直的で変更不能な論理を強制し、現実世界の組織的複雑性をモデル化できないからである。
• 宣言的で違反可能な契約は、当事者が自律的かつ独立して行動しつつも、準拠性の検証可能チェックとガバナンス介入を可能にする。
• ブロックチェーンは、契約状態、違反、ガバナンス行動の公開で変更不能な記録として機能し、証拠に基づく信頼判断を可能にする。
• ガバナンスコンパクトは形式的に記述可能であり、違反によって起動され、透明で監査可能な方法で非準拠行動に対する制裁を提供する。
• 信頼は観察可能な行動に基づき、ブロックチェーンに記録されたものに基づき動的に更新可能であり、中央集権的監視なしに社会的・技術的信頼を支援する。
• 現実世界の事実（例：腫瘍が良性である）は、権威ある外部出所を介して契約に埋め込むことで、規範的判断が意味論的に根ざしていることを保証できる。