Core Concepts
OLYMPIAは、数百万人規模の参加者を持つ安全な集計プロトコルの具体的な性能を評価するためのシミュレーションフレームワークである。
Abstract
本論文では、安全な集計プロトコルの実証的な評価を可能にするOLYMPIAフレームワークを提案している。
OLYMPIAは以下の特徴を持つ:
組み込み型のドメイン特化言語(DSL)を提供し、新しいプロトコルの定義を容易にする
通信コストと計算コストを正確にモデル化し、プロトコルの具体的な性能を評価できる
数百から数千のクライアントを持つプロトコルの評価を可能にする
本論文では、OLYMPIAを使って複数の既存の安全な集計プロトコルを実装し、その性能を比較評価している。その結果、プロトコルの具体的な性能特性について新しい洞察が得られた。例えば、ネットワークの遅延よりも計算時間の方が総実行時間に大きな影響を与えること、特定のプロトコルでは詰め込み秘密分散が重要な最適化であることなどが明らかになった。
Stats
安全な集計プロトコルを数百万人規模で評価するのは、ほとんどの研究者にとって不可能である。
既存研究では、プロトコルの個々の要素を個別に評価するか、プロトコル自体の特性を分析することで性能を評価してきた。
Quotes
"Recent secure aggregation protocols enable privacy-preserving federated learning for high-dimensional models among thousands or even millions of participants. Due to the scale of these use cases, however, end-to-end empirical evaluation of these protocols is impossible."
"We present OLYMPIA, a simulation framework for the empirical evaluation of secure aggregation protocols. OLYMPIA is designed to evaluate the concrete, end-to-end performance of protocols at scale, by leveraging an accurate simulation of hundreds or thousands of parties on a single machine."