[論文レビュー] Secure Multi-party Quantum Computing

Claude Crépeau, Daniel Gottesman+1 more|ArXiv.org|Jun 20, 2002

Cryptography and Data Security参考文献 15被引用数 14

ひとこと要約

本論文は、n人の参加者が私的な量子入力を用いて量子回路を計算する際、t < n/6の参加者が悪意を持つ場合でも、機密性と正しさを保護する、最初の情報理論的セキュリティ保証付きの多人数量子計算（MPQC）プロトコルを提示する。このプロトコルは、t < n/4の不正な参加者を耐えられる新しい検証可能量子秘密分散（vQSS）プロトコルを用いて実現され、その耐性限界は最適であることが証明されており、故障に強い量子エラー訂正技術を活用して、指数的に小さい誤差を伴う敵対的条件下でもセキュリティと正しさを保証する。

ABSTRACT

Secure multi-party computing, also called "secure function evaluation", has been extensively studied in classical cryptography. We consider the extension of this task to computation with quantum inputs and circuits. Our protocols are information-theoretically secure, i.e. no assumptions are made on the computational power of the adversary. For the weaker task of verifiable quantum secret sharing, we give a protocol which tolerates any t &lt; n/4 cheating parties (out of n). This is shown to be optimal. We use this new tool to show how to perform any multi-party quantum computation as long as the number of dishonest players is less than n/6.

研究の動機と目的

• 参加者が量子入力を保持する状況下で、量子回路を計算する際のプライバシーと正しさを保証する、セキュアな多人数計算を量子ドメインに拡張すること。
• ディーラーが量子状態をn人のプレイヤーに分散配布できる検証可能量子秘密分散（vQSS）プロトコルを設計し、t < n/4の不正参加者が状態を破壊したり、それ以上の情報を得られることを防ぐこと。
• vQSSと故障に強い量子計算を用いて、t < n/6のプレイヤーが不正である場合でも正しくかつ機密性を保つセキュアなMPQCプロトコルを構築すること。
• 古典的多人数計算に類似した理想世界シミュレーションフレームワークを用いて、分散量子プロトコルのセキュリティを形式化すること。

提案手法

• 量子エラー訂正コード、特にCSSコードを用いた検証可能量子秘密分散（vQSS）プロトコルを提案し、妥当性、完全性、機密性を保証する。
• 二段階プロトコルを採用する：(1) コミットメント段階ではディーラーが符号化された共有を用いて量子状態を共有し、(2) 復元段階では指定された復元者が古典的デコードを用いて状態を再構築する。
• トランスバーサルゲート実装と、古典的デコードによるシンディームの検出測定を含む故障に強い量子計算技術を活用し、敵対的状況下でも安全に量子回路を評価する。
• シミュレーションベースのセキュリティ証明を理想世界モデルで実施し、攻撃者に対してプロトコルをエミュレートするシミュレータが、信頼できる第三者による計算と区別不能であることを保証する。
• ディーラーが共有に使用したランダムネスを記憶する必要がなく、代わりにランダム選択の重ね合わせを用いることで、量子計算に適合する秘密分散を可能にする新技術を導入する。
• スケーリングされたリード・ソロモン符号とCSSコード構造を用いて、敵対的条件下でもエラー検出・訂正を可能にする量子状態の近傍を定義する。

実験結果

リサーチクエスチョン

• RQ1 計算的仮定を必要とせず、限定された数の不正参加者に対して情報理論的セキュリティを達成できる、セキュアな多人数量子計算が可能か？
• RQ2 検証可能量子秘密分散（vQSS）プロトコルで耐えられる最大の不正参加者数tは何か？この限界はタイトか？
• RQ3 故障に強い量子エラー訂正技術を改変することで、敵対的不正による破壊を受ける分散量子計算を安全に実行可能か？
• RQ4 ディーラーが共有に使用したランダムネスを記憶する必要がないvQSSプロトコルを構築することは可能か？これにより量子計算に適合するプロトコルが実現可能か？
• RQ5 セキュアな多人数量子計算の最大閾値tは何か？また、これはvQSSの閾値とどのように関係するか？

主な発見

• 本論文は、t < n/4の不正参加者を耐えられる検証可能量子秘密分散（vQSS）プロトコルを構築し、この限界が最適であることを証明した：t ≥ n/4ではvQSSは不可能である。
• vQSSプロトコルは妥当性（復元者が誠実な場合に一意に復元可能な状態）、完全性（ディーラーと復元者が誠実な場合に正しく復元）、機密性（復元前には情報漏洩がない）を保証する。
• t < n/6の不正参加者を耐えられるセキュアな多人数量子計算（MPQC）プロトコルを構築し、vQSSプロトコルを基盤的なプリミティブとして用いる。
• MPQCプロトコルはnとセキュリティパラメータkに関して多項式時間で実行され、誤差確率はkに関して指数的に小さくなる。
• MPQCプロトコルのセキュリティは理想世界モデルにおけるシミュレーションにより証明され、信頼できる第三者による計算と区別不能であることが示された。
• プロトコルは情報理論的セキュリティを達成し、計算的仮定を必要とせず、CSSコードとシンディームの古典的デコードを用いた故障に強い量子エラー訂正に依存する。