承诺量子态意味着什么?在这项工作中,我们提出了一个简单的答案:如果在承诺阶段之后,承诺状态从发送者的角度来看是隐藏的,则对量子消息的承诺是具有约束力的。我们用几个实例来说明这个新定义。我们构建了第一个非交互式简洁量子态承诺,它可以看作是量子消息的抗碰撞散列的类似物。我们还表明,任何经典消息的承诺方案都隐含着隐藏量子态承诺 (QSC)。我们所有的构造都可以基于量子密码假设,这些假设隐含在单向函数中,但可能比单向函数更弱。对量子态的承诺为许多新的加密可能性打开了大门。我们对简洁 QSC 的旗舰应用是 Kilian 简洁论证的量子通信版本,适用于任何具有具有恒定误差和多对数局部性的量子 PCP 的语言。代入 PCP 定理,这可以在比经典要求弱得多的假设下为 NP 提供简洁的论证;此外,如果量子 PCP 猜想成立,这将扩展到 QMA。我们安全性证明的核心是一种用于提取量子信息的新型倒带技术。
主要关键词