[論文レビュー] Verifiable Computation with Massively Parallel Interactive Proofs

Justin Thaler, Mike Roberts+2 more|arXiv (Cornell University)|Feb 7, 2012

Cryptography and Data Security参考文献 15被引用数 23

ひとこと要約

この論文は、GPUアクセラレーションを活用して、検証可能計算プロトコルにおけるサーバーサイドの計算オーバーヘッドを著しく削減することを提案しており、クラウド環境における実用的導入を可能にする。ゴールドワッサー＝カライ＝ロスブルームおよび関連するストリーミングプロトコルにおけるデータ並列性を活用することで、サーバーで40–120倍の高速化、クライアントで100倍の高速化を達成し、検証のオーバーヘッドを未検証計算の100–500倍にまで低減した。これにより、正しさが重要な応用分野における実用的妥当性が示された。

ABSTRACT

As the cloud computing paradigm has gained prominence, the need for verifiable computation has grown increasingly urgent. The concept of verifiable computation enables a weak client to outsource difficult computations to a powerful, but untrusted, server. Protocols for verifiable computation aim to provide the client with a guarantee that the server performed the requested computations correctly, without requiring the client to perform the computations herself. By design, these protocols impose a minimal computational burden on the client. However, existing protocols require the server to perform a large amount of extra bookkeeping in order to enable a client to easily verify the results. Verifiable computation has thus remained a theoretical curiosity, and protocols for it have not been implemented in real cloud computing systems. Our goal is to leverage GPUs to reduce the server-side slowdown for verifiable computation. To this end, we identify abundant data parallelism in a state-of-the-art general-purpose protocol for verifiable computation, originally due to Goldwasser, Kalai, and Rothblum, and recently extended by Cormode, Mitzenmacher, and Thaler. We implement this protocol on the GPU, obtaining 40-120x server-side speedups relative to a state-of-the-art sequential implementation. For benchmark problems, our implementation reduces the slowdown of the server to factors of 100-500x relative to the original computations requested by the client. Furthermore, we reduce the already small runtime of the client by 100x. Similarly, we obtain 20-50x server-side and client-side speedups for related protocols targeted at specific streaming problems. We believe our results demonstrate the immediate practicality of using GPUs for verifiable computation, and more generally that protocols for verifiable computation have become sufficiently mature to deploy in real cloud computing systems.

研究の動機と目的

• 検証可能計算プロトコルにおける信頼できないクラウドサーバーの計算負荷を軽減し、実世界への実用的導入を可能にすること。
• GPUベースの並列化が、検証可能計算のインタラクティブプロトコルにおけるプローバーおよび検証者コンponentの高速化に顕著な効果をもたらすことを示すこと。
• 正しさの保証を提供するオーバーヘッドが、軍事計算や医療データ処理などの正しさが重要な応用分野において、もはや大きな負担ではないほどに小さくなったことを示すこと。
• 最新の最先端プロトコルにおけるデータ並列性を同定し、効率的なGPU移植を可能にすること。
• 一般用途および専用のストリーミングプロトコルにおいて、証明長と検証者メモリ使用量のトレードオフを考慮した、GPU最適化実装の性能を評価すること。

提案手法

• 著者らは、GPUアーキテクチャを対象とし、一般用途のGKRプロトコルおよび専用のF₂ストリーミングプロトコルをGPU上で実装し、行列および配列演算における大規模なデータ並列性を活用した。
• メモリコalescingを実現し、GPUメモリ帯域幅の利用を最大化するために、データ構造を列優先順序に再編成した。
• プローバーは、データグリッドの独立した行を並列に処理し、各行の計算はGPUワープにわたる高並列性とスケーラビリティを示した。
• 検証者の計算も並列化されており、規則正しいメモリアクセスパターンと高い算術強度の恩恵を受けていた。
• コアサブルーチン（例：サム・チェックプロトコル、モジュラ演算）を効率的に行うために、CUDAカーネルを用いて実装した。
• 入力サイズやプロトコルパラメータ（F₂プロトコルにおけるhおよびvなど）を変化させた上で、順次CPU実装と比較して性能を評価した。

実験結果

リサーチクエスチョン

• RQ1 GPUアクセラレーションにより、検証可能計算プロトコルにおけるサーバーサイドの遅延が未検証計算の500倍以内にまで低減可能か？
• RQ2 GKRおよびF₂プロトコルにおけるデータ並列性は、GPUベースの高速化にどの程度活用可能か？
• RQ3 証明長と検証者メモリ使用量のトレードオフが、GPU最適化された検証可能計算プロトコルの性能にどのように影響するか？
• RQ4 GPUアクセラレーションにより、クライアント側の検証コストを桁違いに低減できるか？
• RQ5 現代のインタラクティブプロトコルにおける正しさ保証のオーバーヘッドは、もはや実世界のクラウドワークロードに実用的でないほどに小さくなったか？

主な発見

• GPU実装により、一般用途のGKRプロトコルにおいて、サーバーサイドで40–120倍の高速化が達成され、未検証計算の100–500倍以内に遅延が低減された。
• 専用のF₂ストリーミングプロトコルでは、サーバーサイドで20–50倍の高速化が観測され、証明長（h）に比べて検証者メモリ使用量（v）が大きい場合には最大60倍の高速化が達成された。
• クライアント側の検証時間はGPUアクセラレーションにより100倍短縮され、軽量クライアントの実用性が著しく向上した。
• すべてのテスト入力サイズにおいて、検証者は40–70倍の高速化を達成しており、規則正しいメモリアクセスパターンと高い算術強度のおかげで一貫した性能向上が得られた。
• 列優先データレイアウトによるメモリコalescingは、特にデータアクセスパターンが非常に構造的であるF₂プロトコルにおいて、最適なGPU性能を達成するために不可欠であった。
• 結果として、検証可能計算に伴う追加コストが、軍事計算や医療データ処理などの正しさが重要な応用分野においても実用的であるほどに小さくなったことが示された。