[論文レビュー] How Do Smart Contracts Benefit Security Protocols?

Rujia Li, Qin Wang+2 more|arXiv (Cornell University)|Feb 17, 2022

Blockchain Technology Applications and Security被引用数 8

ひとこと要約

本論文は、スマートコントラクトがセキュリティプロトコルをどのように強化するかを体系的に分析する形式的フレームワークを提案する。2つの主要な役割（信頼できる第三者機関（TTP）を補助するか、置き換えるか）を特定し、非否認性、非一貫性回避性、非冤罪性の3つの基本的セキュリティ特性を確立する。このフレームワークは、厳密な証明と登録ベース暗号のプロトタイプ実装を通じて検証され、暗号プロトコルにおける透明性、責任性、分散性の向上が示された。

ABSTRACT

Smart contracts have recently been adopted by many security protocols. However, existing studies lack satisfactory theoretical support on how contracts benefit security protocols. This paper aims to give a systematic analysis of smart contract (SC)-based security protocols to fulfill the gap of unclear arguments and statements. We firstly investigate extit{state of the art studies} and establish a formalized model of smart contract protocols with well-defined syntax and assumptions. Then, we apply our formal framework to two concrete instructions to explore corresponding advantages and desirable properties. Through our analysis, we abstract three generic properties ( extit{non-repudiation, non-equivocation, and non-frameability}) and accordingly identify two patterns. (1) a smart contract can be as an autonomous subscriber to assist the trusted third party (TTP); (2) a smart contract can replace traditional TTP. To the best of our knowledge, this is the first study to provide in-depth discussions of SC-based security protocols from a strictly theoretical perspective.

研究の動機と目的

• スマートコントラクトがセキュリティプロトコルをどのように改善するかの理論的基盤の欠如に対処すること。
• 暗号システムにおけるスマートコントラクトによって可能になる一般的な設計パターンとセキュリティ特性を特定すること。
• Ethereumのブロックチェーン特性に基づいた形式的スマートコントラクトモデルを形式化し、体系的な分析を可能とすること。
• CBEおよびRBEのような実世界プロトコルへのスマートコントラクト統合の実現可能性と利点を実証すること。
• スマートコントラクトを用いた安全でスケーラブルかつ分散型のプロトコル設計の理論的ガイドラインを提供すること。

提案手法

• Ethereumのブロックチェーンに基づいた形式的スマートコントラクトモデルを構築し、永続性、ライブネス、公開検証可能性を捉える。
• スマートコントラクトが自律的なTTP参加者として、または完全なTTP代替として機能する一般的なプロトコルフレームワークを定義する。
• 非否認性、非一貫性回避性、非冤罪性の3つの基本的セキュリティ特性を導入し、形式的に定義する。
• 具体的な2つのプロトコル（証明書ベース暗号（CBE）および登録ベース暗号（RBE））にフレームワークを適用し、詳細な構文とセキュリティ証明を行う。
• RBE方式のプロトタイプ実装を構築し、オンチェーンでのガス消費量とパフォーマンスボトルネックを評価する。
• 形式的検証とシミュレーションを用いて、実際のブロックチェーン制約下でも強化されたプロトコルが定義されたセキュリティ特性を達成していることを検証する。

実験結果

リサーチクエスチョン

• RQ1 スマートコントラクトをどのように形式的にモデル化すれば、セキュリティプロトコルにおける厳密な分析が可能になるか？
• RQ2 従来のセキュリティプロトコルにスマートコントラクトを統合するための一般的な設計パターンは何か？
• RQ3 スマートコントラクトがプロトコル設計において、非否認性や非冤罪性といった特定のセキュリティ特性をどのように実現するか？
• RQ4 スマートコントラクトは、TTP依存システムにおける透明性、責任性、分散性をどのように向上させるか？
• RQ5 TTPをスマートコントラクトで置き換えるか補助する場合の、実用的なパフォーマンスとコストのトレードオフは何か？

主な発見

• スマートコントラクトは、セキュリティプロトコルにおいて2つの明確な役割を果たす：既存のTTPを補助する自律的参加者として、または分散型の権威として完全に置き換えるものとして。
• 形式的フレームワークにより、スマートコントラクトベースのプロトコルが非否認性、非一貫性回避性、非冤罪性の3つの主要なセキュリティ特性を達成することが証明された。
• CBE方式では、スマートコントラクトが証明書取引を公開ログに記録することで、中央集権的CAへの依存を低減し、透明性と監査可能性を向上させた。
• RBE方式では、スマートコントラクトがキーカリュレーターを置き換え、単一障害点を排除し、キーマネジメント操作の公開検証性を実現した。
• プロトタイプ実装の結果、ガスコストがスケーラビリティを制限しており、マージ操作のコストが高く、1つのコントラクトが約14人の登録ユーザーまでしか処理できないことが判明した。
• ブロックチェーンのコンセンサス遅延のため、パフォーマンスボトルネックが依然として存在し、完全なTTP操作は数秒から数秒間で完了する場合がある。