[論文レビュー] Introduction to Decentralization and Smart Contracts

Theodosis Mourouzis, Jayant Tandon|arXiv (Cornell University)|Mar 12, 2019

Blockchain Technology Applications and Security参考文献 1被引用数 4

ひとこと要約

本論文は、ブロックチェーンプラットフォームにおける分散化とスマートコントラクトの導入を紹介し、ビットコイン、イーサリアム、ハイパーレッジ・フラブの各プラットフォームにおける実装を分析している。コンSENSUSアルゴリズム、スマートコントラクト実行モデルの詳細を提示し、外部データ統合を伴うオリクル連携を実装したSolidityで記述された実際の住宅賃貸契約の例を通じて、法的契約をコードに翻訳するプロセスを示している。

ABSTRACT

The aim of this work is to study the use of decentralization and smart contracts on blockchain networks. We investigate the implementation and use of smart contracts on the platforms Bitcoin, Ethereum and Hyperledger Fabric. Additionally, we have researched consensus algorithms and their respective uses, mentioning both advantages and disadvantages where necessary. To conclude, there is an example contract that is meant to be a close to direct translation of a generic legal house rental contract to show how a legal contract can be translated.

研究の動機と目的

• 分散化の基盤的原則を検討し、信頼なしのピアツーピアシステムを可能にする役割を明らかにすること。
• コンセンサスアルゴリズムの性質と、ブロックチェーンのセキュリティ、パフォーマンス、耐障害性に与える影響を分析すること。
• ビットコイン、イーサリアム、ハイパーレッジ・フラブという3つの主要ブロックチェーンプラットフォームにおけるスマートコントラクト実装の比較を行うこと。
• イーサリアムとオリクルを活用して、実際の法的住宅賃貸契約を実行可能で動作するスマートコントラクトに翻訳するプロセスを示すこと。
• ブロックチェーンプラットフォームに実世界の契約を展開する際の実用的妥当性とセキュリティ上の懸念事項を評価すること。

提案手法

• ビットコイン、イーサリアム、ハイパーレッジ・フラブという3つのブロックチェーンプラットフォームを比較分析し、そのアーキテクチャ、コンセンサスメカニズム、スマートコントラクトモデルに焦点を当てる。
• システム理論と暗号理論を適用してブロックチェーンの構造を説明し、暗号ハッシュとメルクルツリーによる改ざん不能性の強調を行う。
• トランザクション処理のためのESCC（エンドースメント・シミュレーション・チェーンコード）とVSCC（検証システム・チェーンコード）を用いて、ハイパーレッジ・フラブのエンドースメントおよび検証の連鎖を解説する。
• OpenZeppelinおよびOraclizeライブラリを用いて、オリクルを介した外部データ統合を実現するSolidityで記述された住宅賃貸スマートコントラクトを実装する。
• アクセス制御を強化し、状態の一貫性を保証するため、`onlyTenant`および`onlyLandlord`などの修飾子を活用する。
• イベントログとフォールバック関数を用いて、状態遷移、支払い、および保証金返還を伴う契約終了を管理する。

実験結果

リサーチクエスチョン

• RQ1 異なるブロックチェーンプラットフォームは、スマートコントラクトをどのように実装しているのか。その設計とパフォーマンスにおける妥当性のトレードオフは何か。
• RQ2 コンセンサスアルゴリズムは、分散ネットワークのセキュリティをどのように確保するのか。スケーラビリティと信頼性に与える影響は何か。
• RQ3 実際の法的契約、例えば住宅賃貸契約書は、検証可能な実行が可能なスマートコントラクトに効果的に翻訳可能か。
• RQ4 外部データ（例：賃貸条件）は、オリクルを用いてどのようにブロックチェーンベースのスマートコントラクトに安全に統合できるか。
• RQ5 パubbリックブロックチェーンとパーサミッションドブロックチェーンの両者において、スマートコントラクトを展開する際の主なセキュリティ的および運用的課題は何か。

主な発見

• ビットコインは、セキュリティとバシリンス故障耐性を確保するが、高エネルギー消費と低トランザクションスループットという代償を伴う、プルーフ・オブ・ワーク（PoW）をコンセンサスに用いている。
• イーサリアムはEVMを介して汎用スマートコントラクトをサポートしており、複雑なロジックと分散型アプリケーションの実現を可能にするが、スケーラビリティとガスコストの課題を抱えている。
• ハイパーレッジ・フラブは、ESCCおよびVSCCを介したエンドースメントおよび検証フェーズを備えたモジュラー・アーキテクチャを採用しており、許可型環境における高いパフォーマンスとプライバシー性を実現している。
• 住宅賃貸契約の例は、Solidityとオリクル統合を用いて、家賃、保証金、契約期間、契約違反といった法的要素を効果的にモデル化している。
• オリクルの使用により、外部データ（例：賃貸条件の確認）に基づいた動的契約行動が可能になったが、オリクルプロバイダーへの信頼依存性が生じる。
• スマートコントラクトは中間業者への依存を低減し、透明性と監査可能性を向上させるが、リエントラシーや誤った状態遷移といった脆弱性を避けるための注意深い設計が不可欠である。