[論文レビュー] Foundations, Properties, and Security Applications of Puzzles: A Survey

Isra Mohamed Ali, Maurantonio Caprolu+1 more|arXiv (Cornell University)|Apr 23, 2019

User Authentication and Security Systems参考文献 107被引用数 7

ひとこと要約

本調査は、計算リソース（CPU、メモリ、帯域幅）別、検証方法別、応用分野別に分類することで、暗号的パズルの包括的分析を提供する。CAPTCHA や証明書の作成（proof-of-work）といった多様な概念を統合的に定義し直すことで「パズル」の概念を再定義し、古典的計算と量子計算の両方の脅威下でのセキュリティを評価するとともに、セキュリティ、ブロックチェーン、ボット検出分野における将来のプロトコル設計のための設計指針を提示する。

ABSTRACT

Cryptographic algorithms have been used not only to create robust ciphertexts but also to generate cryptograms that, contrary to the classic goal of cryptography, are meant to be broken. These cryptograms, generally called puzzles, require the use of a certain amount of resources to be solved, hence introducing a cost that is often regarded as a time delay---though it could involve other metrics as well, such as bandwidth. These powerful features have made puzzles the core of many security protocols, acquiring increasing importance in the IT security landscape. The concept of a puzzle has subsequently been extended to other types of schemes that do not use cryptographic functions, such as CAPTCHAs, which are used to discriminate humans from machines. Overall, puzzles have experienced a renewed interest with the advent of Bitcoin, which uses a CPU-intensive puzzle as proof of work. In this paper, we provide a comprehensive study of the most important puzzle construction schemes available in the literature, categorizing them according to several attributes, such as resource type, verification type, and applications. We have redefined the term puzzle by collecting and integrating the scattered notions used in different works, to cover all the existing applications. Moreover, we provide an overview of the possible applications, identifying key requirements and different design approaches. Finally, we highlight the features and limitations of each approach, providing a useful guide for the future development of new puzzle schemes.

研究の動機と目的

• Spamフィルタリング、ブロックチェーン、ボット検出といった多様な分野における「パズル」の概念を統一的かつ再定義すること。
• リソースタイプ（CPU、メモリ、帯域幅）、検証方法、応用文脈に基づいて、既存のパズル方式を分類すること。
• 古典的計算と量子計算の脅威下におけるパズルのセキュリティ特性を分析すること、特にCPUバウンド方式に焦点を当てる。
• ブロックチェーンや位置情報サービスのような実世界のシステムへのパズル導入に際しての主な設計要件と制限要因を同定すること。
• ハードネスを調整可能で、新たな脅威に耐性を持つ新規パズル方式を設計するための体系的ガイドラインを提供すること。

提案手法

• 150件以上のパズル設計に関する文献を対象とした体系的レビュー。暗号的、メモリバウンド、帯域幅バウンドの各方式を含む。
• リソースタイプ（CPU、メモリ、帯域幅）、検証方法（オンライン／オフライン）、応用分野に基づくパズルの分類。
• パズルの性質の形式的定式化：非対称性（解くのは困難だが検証は容易）、調整可能性（難易度を微調整可能）、リソース制限による解決時間。
• 並列処理や量子計算に対する耐性を含むセキュリティモデルの分析。ハッシュ関数およびメモリバウンド関数に焦点を当てる。
• 実世界の応用の評価：Bitcoinの証明書の作成、ボット検出用CAPTCHA、VANETにおけるブロックチェーンベースの位置証明。
• 量子計算の脅威の同定：整数因子分解や離散対数問題に依存するCPUバウンドパズルのみが脆弱。ハッシュのプリイメージ攻撃や衝突耐性については、十分な出力長（例：SHA-2、SHA-3）を有する暗号的強度の高い関数を用いれば、後量子時代でも安全である。

実験結果

リサーチクエスチョン

• RQ1 Spamフィルタリング、ブロックチェーン、ボット検出といった多様な応用分野において、「パズル」という概念を形式的に統一することは可能か？
• RQ2 リソースタイプ、検証方法、調整可能性といった主な設計的特徴が、パズル方式の差を生じさせ、セキュリティと効率性にどのように影響を与えるか？
• RQ3 現代のパズル方式（例：メモリバウンド、帯域幅バウンド）は、CPUバウンドパズルと比較して、プロセッサ速度のばらつき問題をどのように軽減するか？
• RQ4 量子計算が、ハッシュベースのパズルと数論的パズルの両方のセキュリティに与える影響は何か？特にその違いは？
• RQ5 位置情報サービスにおける位置証明や分散型コンセンサスの分野における新規応用に、パズルをどのように適合させられるか？

主な発見

• パズルは本質的に非対称性を有する：解くには多大なリソースを要するが、検証は計算的に軽量である。
• メモリバウンドパズルは、メモリ遅延特性が一貫しているため、異なるハードウェア間で安定した性能を示し、CPUバウンドパズルを上回る。
• 帯域幅バウンドパズルは、遅延制約と組み合わせることで、ネットワークベースの拒否サービス攻撃の緩和に有効である。
• SHA-2 や SHA-3 といった暗号的強度の高い関数を用い、十分な出力長を確保すれば、ハッシュベースのパズルは後量子時代においても安全である。
• 量子計算による脅威は、整数因子分解や離散対数問題に依存するCPUバウンドパズルに限定される。ハッシュのプリイメージ攻撃や衝突耐性については脅威が及ばない。
• ブロックチェーンを用いた位置証明メカニズムは、ユーザーのプライバシーを保ちながらも、位置の真正性を保証でき、最近のVANET提案で実証済みである。