[論文レビュー] A Review of Homomorphic Encryption Libraries for Secure Computation

S. Sathya, Praneeth Vepakomma+3 more|arXiv (Cornell University)|Dec 6, 2018

Cryptography and Data Security参考文献 9被引用数 18

ひとこと要約

この論文は、プライバシー保護計算を可能にする暗号化されたデータ上で動作する、6つの主要な同型暗号（HE）ライブラリ—SEAL、HElib、TFHE、Paillier、ElGamal、RSA—の包括的レビューと比較分析を提供している。主な貢献として、特徴の詳細な比較、言語サポートの分析、医療、ゲノム、スマートグリッド分野における実世界の応用事例が挙げられる。

ABSTRACT

In this paper we provide a survey of various libraries for homomorphic encryption. We describe key features and trade-offs that should be considered while choosing the right approach for secure computation. We then present a comparison of six commonly available Homomorphic Encryption libraries - SEAL, HElib, TFHE, Paillier, ELGamal and RSA across these identified features. Support for different languages and real-life applications are also elucidated.

研究の動機と目的

• 実用的な応用における安全な計算のための主要な同型暗号ライブラリの能力を評価・比較すること。
• 異なるHE方式におけるパフォーマンス、対応演算、実装の複雑さの主なトレードオフを特定すること。
• アプリケーション固有の要件に基づいて適切なHEライブラリを選定するための開発者および研究者へのガイダンスを提供すること。
• 医療、ゲノム、スマートグリッドなどの分野で、同型暗号がプライバシー保護計算を可能にする実世界の応用事例を提示すること。
• 言語サポート、シリアル化機能、システム統合特性を要約することで、同型暗号の採用を支援すること。

提案手法

• Microsoft SEAL、HElib、TFHE、Paillier、ElGamal、RSAの6つの広く使われている同型暗号ライブラリを対象とした体系的サーベイを実施した。
• 同型加算および乗算のサポート、負の数計算、暗号文パッケージング、ブートストラップ、リニアライゼーションといったコアな機能に基づいてライブラリを評価した。
• パフォーマンスとセキュリティに影響を与える暗号パラメータ（多項式モジュラス、係数モジュラス、ノイズ予算）を分析した。
• C++、Pythonなどの言語サポートおよび鍵と暗号文の永続化に必要なシリアル化機能を評価した。
• 各ライブラリが基盤とする暗号方式（例：SEALにはBFV、HElibにはBGV、TFHEにはCGGI）をマッピングし、その機能への影響を議論した。
• 医療データ分析、ゲノム研究、スマートグリッド監視といった実世界の応用シナリオを提示し、ライブラリの適性を文脈づけて説明した。

実験結果

リサーチクエスチョン

• RQ1 同型加算と乗算の両方をサポートする同型暗号ライブラリはどれか？ また、そのパフォーマンス上のトレードオフは何か？
• RQ2 異なるライブラリは負の数計算をどのように処理しており、その制限は何か？
• RQ3 調査されたHEライブラリ間で、言語サポート、シリアル化、システム統合において顕著な違いは何か？
• RQ4 医療、ゲノム、スマートグリッドなどの分野で、同型暗号を実用的に展開できる具体的な応用は何か？ それぞれに最適なライブラリは何か？
• RQ5 暗号パラメータとノイズ予算は、実際の同型計算におけるスケーラビリティと効率性にどのように影響を与えるか？

主な発見

• Microsoft SEAL（BFVおよびCKKSに基づく）は、整数または分数エンコーダーを使用すれば負の計算をサポートするが、PolyCRTBuilderを使用する場合は中国剰余定理の制限により非対応である。
• TFHEは効率的なブートストラップを備えた完全同型暗号をサポートしており、低レイテンシな演算が可能で、プライバシー保護型機械学習に適している。
• HElibはBGV方式に基づき、再線形化およびブートストラップを用いて高いノイズ予算管理を実現しており、加算と乗算の両方をサポートするが、計算負荷が非常に高い。
• PaillierとElGamalは部分的同型暗号であり、それぞれ加算または乗算のみをサポートする。特定の用途（例：安全な投票、プライベート情報検索）では効率的である。
• SEALとHElibは鍵および暗号文のネイティブシリアル化APIを提供するが、他のライブラリはカスタム実装を必要とし、パッケージの移植性とデプロイの容易さに影響を与える。
• 本研究では、最近の進展により同型暗号の実用的導入が急速に可能になってきていることが明らかになった。医療、ゲノム、スマートグリッド分野において、データプライバシーが重要な分野で、実世界の応用が可能である。