量子头脑中的多方计算(或称:叠加态安全的(量子)零知识证明)
“MPC-in-the-head”技术(Ishai等人,STOC 2007)是一种备受赞誉的方法,用于构建具备理想理论属性和高实用效率的零知识协议。该技术催生了大量研究,并影响了现实世界后量子密码签名方案的设计。该工作对这一范式进行了量子化推广,其中多方计算(MPC)运行的是量子计算。 作为该框架的应用,该研究团队提出了一种构建零知识协议的新方法,其安全性甚至能抵御可获取交互过程量子叠加态的验证者。这一概念由Damgard等人开创,他们通过依赖完美隐藏且无条件绑定的双模式承诺,构建了针对NP问题的零知识协议(在公共参考字符串模型下),可抵抗量子叠加攻击。但遗憾的是,目前尚未发现基于标准密码学假设的此类承诺方案。 该工作重新审视了这一问题,并在公共参考字符串模型下提出了两个新的三轮协议:(1)基于标准容错学习(LWE)问题的NP零知识论证;(2)基于同一假设的QMA零知识论证。
