[論文レビュー] Improved Summation from Shuffling

Borja Balle, James Bell+2 more|arXiv (Cornell University)|Sep 24, 2019

Privacy-Preserving Technologies in Data参考文献 6被引用数 13

ひとこと要約

この論文は、シャッフルを用いたn人パーティの安全な和集合のためのIshai-Kushilevitz-Ostrovsky-Sahai（IKOS）プロトコルの分析を改善し、統計的セキュリティσを達成するための1パーティあたりのメッセージ数が、従来の$O(\log n + \sigma)$ではなく、$O(1 + \sigma / \log n)$にスケーリングすることを示している。主な結果は、nが大きくなるほど、強力なセキュリティを維持しながらも、1ユーザーあたりのメッセージ数を著しく削減できることであり、明示的な境界により、n=10^4、σ=40のとき、32ビット整数の和集合では12メッセージで十分であることが示されている。

ABSTRACT

A protocol by Ishai et al.\ (FOCS 2006) showing how to implement distributed $n$-party summation from secure shuffling has regained relevance in the context of the recently proposed \emph{shuffle model} of differential privacy, as it allows to attain the accuracy levels of the curator model at a moderate communication cost. To achieve statistical security $2^{-σ}$, the protocol by Ishai et al.\ requires the number of messages sent by each party to {\em grow} logarithmically with $n$ as $O(\log n + σ)$. In this note we give an improved analysis achieving a dependency of the form $O(1+σ/\log n)$. Conceptually, this addresses the intuitive question left open by Ishai et al.\ of whether the shuffling step in their protocol provides a "hiding in the crowd" amplification effect as $n$ increases. From a practical perspective, our analysis provides explicit constants and shows, for example, that the method of Ishai et al.\ applied to summation of $32$-bit numbers from $n=10^4$ parties sending $12$ messages each provides statistical security $2^{-40}$.

研究の動機と目的

• IKOSプロトコルにおける統計的セキュリティσを達成するための1パーティあたりのメッセージ数が、パーティ数nを増加させることで減少するかどうかという未解決の問題を解消すること。
• シャッフルモデルにおける微分プライバシーの文脈で、IKOSプロトコルのセキュリティと通信効率について、よりタイトで実用的な分析を提供すること。
• nが増加するにつれて、シャッフルステップが「群衆の中に隠れる」効果を提供することを示し、1パーティあたりのメッセージ数を定数または対数未満に抑えること。
• n=10^4、σ=40、32ビット入力といった実用的パラメータについて、必要なメッセージ数の明示的かつ具体的な境界を導出すること。

提案手法

• 著者らは、共有の和における衝突数の精密な確率的境界を用いて、IKOSプロトコルを再分析し、集中不等式と尾部確率の境界を活用した。
• k-加法的共有メカニズムの再帰的分解を用いて、同じ和を持つ2つの入力の出力分布間の全 Variation 距離の新しい上界を導出している。
• 最悪ケースの入力を一様ランダムな入力に写像する確率的変換を導入し、最悪ケースセキュリティから平均ケースセキュリティへの還元を可能にした。
• 共有にランダムな置換を適用し、期待される衝突数を分析することで、組合せ的および漸近的推定を用いて統計的距離を評価した。
• 鍵となる式は$k = \left\lceil \frac{2\sigma + \log_2 m}{\log_2 n - \log_2 e} + 2 \right\rceil$であり、所望のセキュリティσを達成するための最小kを示している。
• プロトコルは、1ユーザーあたりk個の共有をシャッフルして匿名化し、サーバーで受信したすべての共有を合算することで最終的な再構築を実行する。

実験結果

リサーチクエスチョン

• RQ1 パーティ数nを増加させることで、IKOSプロトコルにおける統計的セキュリティσを達成するための1ユーザーあたりのメッセージ数が減少するか？
• RQ2 シャッフルメカニズムがnに比例して拡大する「群衆の中に隠れる」効果を示せるか？
• RQ3 与えられたnとグループサイズmに対して、セキュリティσを達成するために必要な1パーティあたりのメッセージ数kの最もタイトな境界は何か？
• RQ4 最悪ケースセキュリティを、1つの追加メッセージを追加するだけで平均ケースセキュリティに還元でき、かつそのメッセージを平文で送信できるか？

主な発見

• 統計的セキュリティσを達成するための1パーティあたりのメッセージ数が、従来の$O(\log n + \sigma)$から$O(1 + \sigma / \log n)$に削減され、nが増加するにつれて顕著な改善が示された。
• n = 10^4、σ = 40、32ビット入力（m = 2^{32}）の場合、2^{-40}のセキュリティを達成するための1パーティあたりのメッセージ数はわずか12にまで減少する。
• 分析により、12個のメッセージのうち1つは平文で送信可能であり、そのメッセージについては完全なシャッフルの必要がなくなることが示された。
• 追加の共有により一様ランダム性が導入されることを活用し、k+1個のメッセージで最悪ケース統計的セキュリティを達成する。これにより、k個のメッセージで平均ケースセキュリティに還元できる。
• 導出された境界$k = \left\lceil \frac{2\sigma + \log_2 m}{\log_2 n - \log_2 e} + 2 \right\rceil$は、実装に向けた明示的かつ実用的なパラメータを提供する。
• この方法により、シャッフルステップが「群衆の中に隠れる」効果を提供することが確認された。nが増加するにつれて、1ユーザーあたりの必要なメッセージ数が減少するからである。