セキュアマルチパーティ計算を理解する

はじめに​

分散コンピューティング環境では、複数の当事者が機微なデータを含む計算で協力する必要が生じることがよくあります。従来のアプローチでは、当事者は中央の管理者を信頼するか、自らの秘密情報を明かすかのいずれかを迫られます。セキュアマルチパーティ計算は、各当事者が結合された入力に対して関数を計算しながら、それらの入力を秘密に保つことを可能にすることで、この根本的なジレンマを解決します。

中核となるセキュリティ要件​

MPCプロトコルは、いくつかの重要な特性を満たさなければなりません。

理想／現実パラダイム​

MPCの標準的なセキュリティの定義は、理想／現実シミュレーションパラダイムと呼ばれる洗練されたアプローチに従います。

理想世界​

計算を支援する、腐敗し得ない信頼された第三者が存在する世界を想像してみてください。

この理想的な実行においては、セキュリティは自動的に成立します。

現実世界​

現実には、そのような信頼された第三者は存在しません。その代わりに、当事者は互いの間でプロトコルを実行し、その一部が不正を働き、結託する可能性があります。あるプロトコルがセキュアであるとみなされるのは、敵対者が現実のプロトコル実行で行い得ることが、信頼された第三者が存在する理想的な実行でも同様に行い得る場合です。

敵対者モデル​

敵対者の能力と挙動は、プロトコルの設計とセキュリティ保証に大きな影響を与えます。

敵対者の挙動​

不正化戦略​

基本的な実現可能性の結果​

中核的な手法​

Shamir秘密分散​

多項式補間を用いた正直者多数MPCの基本的な構成要素です。

正直者多数MPCプロトコル​

秘密分散を用いることで、当事者は算術回路をセキュアに評価できます。

プライベート集合積（PSI）​

PSIは、集合XとYを持つ2者が、他の要素を明かすことなく X ∩ Y を計算したいという、特殊なMPC問題です。

閾値暗号​

閾値暗号は、いずれか単一の当事者が完全な秘密鍵を保持することなく、暗号演算（署名、復号）を可能にします。

モジュラー合成​

セキュアMPCの重要な特性の一つがモジュラー合成です。セキュアであることが証明されたプロトコルは、より大規模なシステムにおいてサブルーチンとして安全に利用できます。

実用上の考慮事項​

効率の進展​

過去10年で、MPCは理論的な珍しいものから実用的なツールへと変貌を遂げました。

実世界での導入​

重要な注意点​

パフォーマンスのトレードオフ​

MPCの未来​

MPCは、研究における「長期戦」を体現しています。純粋な理論から実用的な導入へと、30年以上をかけて歩んできました。

結論​

セキュアマルチパーティ計算は、理論的な可能性から実用的な現実へと進化しました。理想／現実パラダイムによって形式化されたその強力なセキュリティ保証は、あたかも腐敗し得ない信頼された第三者が計算を実行しているかのようにプロトコルが振る舞うことを保証します。効率性と使いやすさの継続的な進歩により、MPCはますますデータ駆動型となる世界において、プライバシーを保護する計算のための不可欠なツールとなりつつあります。

参考文献​

本記事は、Yehuda Lindell著「Secure Multiparty Computation」（初出：Communications of the ACM、2021年1月、Vol. 64, No. 1、86〜96ページ）に基づいています。