[论文解读] Multi-party Quantum Computation

Adam Smith|ArXiv.org|Nov 6, 2001

Quantum Information and Cryptography参考文献 46被引用 17

一句话总结

本文提出了一种安全多方量子计算（MPQC）协议，通过引入一种可验证量子秘密共享（VQSS）方案，能够容忍最多 $ n/6 $ 个不诚实参与方，该VQSS方案可处理最多 $ t < n/4 $ 个欺骗者。关键贡献在于证明了当 $ t < n/4 $ 时VQSS是最优的，并利用该结果在相同阈值下构建了安全的MPQC协议，该协议基于量子纠错码和理想化仿真模型，在量子信息理论框架下实现。

ABSTRACT

We investigate definitions of and protocols for multi-party quantum computing in the scenario where the secret data are quantum systems. We work in the quantum information-theoretic model, where no assumptions are made on the computational power of the adversary. For the slightly 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 establish that any multi-party quantum computation can be securely performed as long as the number of dishonest players is less than n/6.

研究动机与目标

• 在量子信息理论模型中形式化安全多方量子计算（MPQC），其中敌手具有无限计算能力。
• 定义并构建一种可验证量子秘密共享（VQSS）协议，确保在最多 $ t < n/4 $ 个参与方受敌手控制时仍具备完备性与正确性。
• 确立VQSS的最优阈值，并将其作为基础原 primitive，用于在 $ t < n/6 $ 条件下实现安全的MPQC。
• 通过理想模型与真实模型的仿真分析MPQC协议的安全性，确保不诚实参与方所获信息不超过函数输出和其输入所允许的范围。

提出的方法

• 提出一种基于2-好树的两级量子共享协议，以实现 $ n $ 个参与方之间可验证的量子秘密分发。
• 采用量子纠错码与子空间投影技术，确保被破坏的参与方无法在不被检测的情况下篡改共享态。
• 利用邻域与迹态（$ ST_B({/cal C}) $）的概念，对量子码中的敌手污染行为进行建模，尤其针对CSS码。
• 应用理想功能模型来定义安全性：若协议可通过保证正确性与隐私性的理想过程进行仿真，则认为其是安全的。
• 引入基于仿真的证明技术，表明即使在 $ t < n/4 $ 的污染条件下，VQSS协议也与理想秘密共享功能不可区分。
• 基于VQSS构建顶层共享协议，以支持分布式量子计算，其中每个参与方持有输入与输出态的一部分。

实验结果

研究问题

• RQ1 可验证量子秘密共享（VQSS）协议最多能容忍多少个不诚实参与方？
• RQ2 能否以VQSS作为原 primitive 构建安全的多方量子计算（MPQC）协议？其鲁棒性阈值是多少？
• RQ3 VQSS的界限 $ t < n/4 $ 是否最优？能否在此基础上进一步提升？
• RQ4 量子纠错码与子空间结构如何与分布式量子协议的安全性相关联？
• RQ5 在敌手具备量子能力的情况下，能否基于仿真定义在量子环境下证明MPQC的安全性？

主要发现

• 证明了VQSS协议可容忍最多 $ t < n/4 $ 个不诚实参与方，且该界限为最优。
• 构建了一种安全的MPQC协议，可容忍最多 $ t < n/6 $ 个不诚实参与方，其基础为VQSS。
• 论文证明了 $ t < n/4 $ 是VQSS的信息理论上限，即在相同假设下，任何协议都无法实现更高的鲁棒性。
• 敌手污染可能引发的态集合被刻画为 $ ST_B({/cal C}) $，该集合捕获了对量子码产生纠缠错误的理想化影响。
• 对于CSS码，集合 $ {/cal C}_B $（即通过在码上进行局部操作可达的所有态）严格包含 $ ST_B({/cal C}) $，表明并非所有态都可被敌手实现。
• 论文证明了对纯态有 $ N_B^{pure}({/cal C}) = ST_B^{pure}({/cal C}) $，但该等式在混合态下不成立，凸显了敌手建模中的关键差异。