[論文レビュー] Secure Comparison Without Explicit XOR

R. Katti, Cristinel Ababei|arXiv (Cornell University)|Apr 12, 2012

Cryptography and Data Security参考文献 7被引用数 4

ひとこと要約

本稿では、明示的なXOR演算を用いない二成人の整数比較のための効率的な安全比較プロトコルを提示する。従来の方法と比較して計算複雑性を約半減させ、安全なマルチパーティ計算における効率性を向上させる。特に、安全なオークションなどの応用において有益である。

ABSTRACT

We propose an efficient protocol for secure comparison of integers when both integers are shared between two parties. Such protocols are useful for implementing secure auctions. The proposed protocol's computational complexity is roughly half the complexity of the best known efficient protocol. The efficiency of the proposed protocol stems from the removal of the XOR computation which is a time consuming operation.

研究の動機と目的

• 共有整数を保有する二成人のためのより効率的な安全比較プロトコルの設計。
• 特に安全なオークションなどの応用を想定し、安全なマルチパーティ計算における計算オーバーヘッドの低減。
• 計算的に高コストなXOR演算を排除し、既存プロトコルのボトルネックを解消。
• 安全性と正しさを維持したまま、複雑性を顕著に低減すること。
• 整数比較が基本的演算であるプライバシー保護型プロトコルにおけるパフォーマンス向上。

提案手法

• 比較論理を再設計することで、XOR計算を明示的に行わない。代わりに代替代数的構造と演算を用いる。
• 秘密分散技術を活用し、値を露呈せずに整数を表現・比較する。
• 有限体上の安全な算術演算を用いて、効率的に比較論理をシミュレート。
• 比較アルゴリズムを再構築することで、高コストな演算の数を最小限に抑える。
• モジュラー算術と二成人計算に最適化された比較回路の組み合わせを用いる。
• 通信ラウンド数と計算ステップ数を最小限に抑える構造として設計し、XORを性能ボトルネックとして排除することに焦点を当てる。

実験結果

リサーチクエスチョン

• RQ1 既存手法よりも効率的な共有整数の安全比較はどのように実現できるか？
• RQ2 XOR演算の削除が、安全比較プロトコル全体の複雑性に与える影響は何か？
• RQ3 最高の既存代替手法の半分の計算コストで安全比較プロトコルを設計できるか？
• RQ4 XORを置き換えるために使用可能な代替演算は何か？ ただし、正しさと安全性を維持することが前提。
• RQ5 提案されたプロトコルは、安全なオークションなどの実用的応用においてどのように性能を発揮するか？

主な発見

• 提案されたプロトコルは、最高の既存プロトコルと比較して計算複雑性を約50％削減した。
• 明示的なXOR演算の削除により、多くの暗号的環境で時間がかかる演算であるXORの影響を著しく軽減し、パフォーマンスが向上した。
• 二成人計算の標準的仮定に基づき、安全性が保証されている。
• 新しい暗号原素に依存するのではなく、アルゴリズムの再構築によって効率性の向上を達成した。
• 頻繁に整数比較が必要となる安全なオークションプロトコルに特に適している。
• 実世界のプライバシー保護型応用において、実用的かつスケーラブルであることが示された。