On the Concurrent Composition of Quantum Zero-Knowledge
我们研究了并发组合环境下零知识对量子多项式时间验证者的安全性（称为量子零知识）。尽管在经典环境中被广泛研究，但在量子环境中的并发组成几乎没有被研究。我们开始了并发量子零知识的正式研究。我们的结果如下：- NP和QMA的有界并发QZK：假设后量子单向函数，在有界并发设置中存在NP的量子零知识证明系统。在这种情况下，我们固定先验的验证者，可以同时与证明者进行交互的数量。在同样的假设下，我们还证明了在有界并发环境下QMA存在一个量子零知识证明系统。量子知识证明（Quantum Proofs of Knowledge）假设量子带错学习困难（QLWE），对于满足知识性质量子证明的NP，存在一个有界并发零知识证明系统。我们的提取机制，同时允许提取概率可以忽略不计接近接受概率（可提取性），也确保了证明人的状态提取后，统计接近证明人的状态后，与验证（模拟性）。[Unruh EUROCITY PT '12]的开创性工作及其所有后续工作满足较弱版本的可提取性，此外，未实现可模拟性。我们的结果产生了一个量子知识系统的证明QMA与更好的参数比以前的工作。
2021-07-18 quant-ph
Increasing the power of the verifier in Quantum Zero Knowledge
在量子零知识中，假设验证者只使用酉操作。在这个假设下，关于量子零知识的许多好的性质已经被证明，包括诚实验证者量子统计零知识（HVQSZK）等于欺骗验证者量子统计零知识（QSZK）的事实（见[Wat02，Wat06]）。在本文中，我们研究了当我们允许一个诚实的验证者除了使用酉运算之外还可以抛硬币时会发生什么。抛硬币是一种非幺正操作，但最初似乎并没有增强验证者的欺骗可能性，因为经典的诚实验证者可以抛硬币。在这种设置中，我们展示了一个意想不到的结果：任何经典的交互式证明都具有使用硬币的诚实验证者量子统计零知识证明。请注意，在经典的情况下，诚实验证者SZK并不比SZK更强大，因此它不被认为包含甚至NP。另一方面，在欺骗验证者的情况下，我们证明了量子统计零知识，其中验证者应用任何非酉操作等于量子零知识，其中验证者只使用酉。人们可以从两个互补的角度来看待我们的结果。如果我们想使用诚实验证者模型作为一种手段，通过利用它们的等价性来研究一般模型，那么就必须使用没有硬币的酉定义，因为对于一般模型来说，这种等价性很可能是不正确的。另一方面，如果我们想在诚实但好奇的模型已经足够的加密场景中使用量子零知识协议，那么添加酉约束会严重降低量子零知识协议的功率。
2008-10-27 quant-ph
Quantum protocols for transference of proof of zero-knowledge systems
零知识证明系统是一个重要的协议，可以作为构造其他更复杂密码协议的基本模块。零知识系统的一个内在特征是假设验证者不可能向第三方表明他与证明者进行了交互。然而，已经表明，使用量子关联可以成功地攻击不可能转移证明。在这项工作中，我们提出了两个新的协议的证明转移，是第一个基于隐形传态和第二个不使用纠缠态。
2007-05-17 quant-ph
Zero-Knowledge Proofs of Quantumness
Telecom Paris, Institut Polytechnique de Paris（巴黎理工学院电信学院）；Beijing University of Posts and Telecommunications（北京邮电大学）；Beijing Institute of Technology（北京理工大学）
本文形式化量子性的零知识证明，防止恶意经典验证者利用量子优势，通过验证者端可提取非交互式零知识论证，将现有方案转化为增强安全概念。
2026-09-22 quant-ph
Far-reaching statistical consequences of the zero-point energy for the harmonic oscillator
在最近对谐振子的热力学分析中，博耶使用插值程序证明了零点能量的存在导致了普朗克谱。在这里，我们通过增加一个统计参数来避免插值，以得出普朗克定律作为零点能量存在的不可避免的结果。没有明确的量子参数沿推导。我们揭示了我们的结果与普朗克和爱因斯坦的原始分析的联系，这导致了量子化辐射场的概念。然后，我们调查能量的离散或连续行为，并指出不连续性。最后，打开大门的零点波动的描述，我们简要地讨论了统计（与纯粹的热力学）描述的振荡器，这占热和温度无关的贡献的能量色散。
2007-12-12 quant-ph
Adiabatic Quantum State Generation and Statistical Zero Knowledge
设计新的量子算法已被证明是一项极其困难的任务。本文从另一个角度出发，研究了“量子态的产生”问题。这种方法提供了许多不同领域之间的有趣联系：量子计算，绝热演化，哈密顿量的光谱间隙和基态分析，快速混合马尔可夫链，复杂性类统计零知识，量子随机行走等。我们首先表明，量子算法的许多自然候选人可以作为一个状态生成问题。我们定义了一个范例的状态生成，称为“绝热状态生成”和开发工具，绝热状态生成，其中包括用于实现非常一般的哈密顿量的方法和方法，以保证不可忽略的光谱间隙。我们使用我们的工具来证明，绝热状态生成是等价的状态生成的标准量子计算模型，最后，我们展示了如何应用我们的技术来生成有趣的叠加马尔可夫链。
2003-01-07 quant-ph
Making Quantum Local Verifiers Simulable with Potential Applications to Zero-Knowledge
最近Chen和Movassagh提出了量子Merkle树，它是著名的经典Merkle树的量子模拟。给出了一个简洁的量子态承诺验证协议。虽然他们只证明了对半诚实的证明者的安全性，但他们证明了其一般的安全性。使用量子Merkle树，他们给出了Kilian对NP的简洁论证的量子模拟，该论证基于概率可检验证明（PCP）。Kilian论证的一个很好的特点是，如果潜在的PCP是零知识的，它可以扩展为NP的零知识简洁论证。因此，一个自然的问题是，是否也可以使陈和莫瓦萨的量子简洁论证也成为零知识。这项工作在这个问题上取得了进展。我们推广了Broadbent和Grilo最近的结果，证明了任何局域量子验证器都可以在完备性和可靠性上稍微降低的情况下被模拟。粗略地说，如果在是的情况下，可以在不知道实际量子证明的情况下计算验证者的局部视图，则局部量子验证者是可模拟的;它可以被视为经典零知识PCP的量子模拟。因此，我们猜想，应用陈和Movassagh提出的简洁的量子论点，一个可模拟的本地验证确实是零知识。
2022-09-22 quant-ph
A simpler proof of zero-knowledge against quantum attacks using Grover's amplitude amplification
Watrous提出了针对量子验证者的证明系统的零知识性质的第一个证明。证明的关键是量子模拟器的构造。在构造中，“失败状态”通过一个巧妙的操作旋转到“成功”状态，该操作最初是为QMA证明系统的放大而开发的。这份手稿提出了一个新的和更简单的模拟器建设。在构造中，我们简单地使用Grover放大来放大经典模拟器的成功概率。
2006-02-22 quant-ph
Zero knowledge convincing protocol on quantum bit is impossible
考虑两个当事人：爱丽丝和鲍勃，假设鲍勃被给予一个量子比特系统，该系统处于量子态$ϕ$，他不知道。Alice知道$ϕ$，她应该让Bob相信她知道$ϕ$，并发送一些测试消息。她是否有可能说服鲍勃提供他“零知识”i。e.他没有关于$ϕ$的信息吗我们证明了不存在这种“零知识”协议。事实证明，基于Alice的消息，Bob（或者第三方-- Eve --谁可以拦截消息）可以以非零概率合成未知量子比特状态$ϕ$的副本。这种“不通过”的结果对涉及量子态的信息{ \it}的信息处理施加了一般的约束。
2017-12-20 quant-ph
Analysis of Quantum Multi-Prover Zero-Knowledge Systems: Elimination of the Honest Condition and Computational Zero-Knowledge Systems for QMIP*
零知识和多证明者系统都是经典和量子复杂性理论的核心概念。然而，量子多证明者零知识系统的研究很少。本文研究了量子多证明者零知识系统的复杂性理论问题。本文得到了两个结果：1.具有诚实零知识的QMIP * 系统可以在不作任何假设的情况下转化为一般的零知识系统。2.QMIP* 具有计算量子零知识系统，如果一个自然的计算猜想成立。其中一个主要工具是使用证明者共享的GHZ状态的测试（称为GHZ测试），它可以防止验证者对上述两个结果的攻击。另一个主要工具是我们称之为基于局部哈密顿的交互式协议（LHI协议）。LHI协议使以前的研究适用于检查历史状态的交互式证明的本地哈密顿，然后我们应用Broadbent等人。的零知识协议的QMA \cite{BJSW}的量子多证明系统，以获得第二个结果。
2019-02-28 cs.CC quant-ph
The role of help in Classical and Quantum Zero-Knowledge
我们研究了帮助在非交互式零知识协议中的作用及其与标准交互模型的关系。在经典的情况下，我们表明，帮助和互动是等价的，回答一个开放的问题，本或和Gutfreund。这意味着类SZK的一个新的完整问题，图像相交密度。对于这个问题，我们还证明了一个极化引理，这是强于以前已知的。在量子环境中，我们定义了量子帮助的概念，并以更直接的方式表明，帮助和相互作用是等价的。此外，我们定义了量子非交互式零知识与经典的帮助，并证明它是等于类的语言，具有经典的诚实验证者零知识协议的安全对量子验证者。最后，我们为所有这些量子类提供了新的完全问题。Dragos Florin Ciocan和Salil Vadhan独立发现了类似的结果。
2007-11-29 quant-ph
Relativistic (or $2$-prover $1$-round) zero-knowledge protocol for $\mathsf{NP}$ secure against quantum adversaries
在本文中，我们证明了零知识构造的哈密顿圈仍然是安全的量子对手在相对论设置。我们的主要技术贡献是一个工具，用于研究连续测量的量子态，这反过来又给出了一些纠缠游戏的价值上界的行动。这使我们能够证明我们的协议对量子对手的安全性。我们还证明了安全界限（单轮）相对论性字符串承诺和比特承诺并行对量子对手。作为我们结果的一个附加结果，我们回答了[Unr 12]中的一个公开问题，并给出了某些$Σ$ -协议的量子知识误差的严格界。
2017-05-22 quant-ph
Non-Interactive Quantum Statistical and Perfect Zero-Knowledge
本文介绍了非交互式完美和统计零知识证明系统的量子模拟。与经典的情形类似，我们证明了对于非交互量子完美和统计零知识的非平凡协议，共享随机性或纠缠是必要的。它还表明，共享EPR对先验，类语言具有单侧有界错误的非交互式量子完美零知识证明系统有一个自然的完全问题。这种证明系统的非平凡性是基于本文证明的事实，即图的非自同构问题，这是不知道在BQP，可以减少到我们的完全问题。我们的结果可能是第一个非平凡的量子零知识证明安全，即使对不诚实的量子验证者，因为我们的协议是非交互式的，因此零知识属性不依赖于协议中的验证者是否诚实。我们的完整问题的一个限制版本导出了BQP的一个自然完整问题。
2002-07-29 cs.CC quant-ph
On the Impossibility of Post-Quantum Black-Box Zero-Knowledge in Constant Rounds
研究了$\mathbf{NP}$的常数轮后量子黑箱零知识协议的存在性.作为主要结果，我们证明了$\mathbf{NP}$不存在恒轮后量子黑箱零知识论证，除非$\mathbf{NP}\subseteq \mathbf{BQP}$。由于$\mathbf{NP}$在经典环境下存在恒轮黑箱零知识参数，我们的主要结果指出了后量子零知识协议与经典零知识协议的根本区别.结合以前的结果，我们得出结论，除非$\mathbf{NP}\subseteq \mathbf{BQP}$，恒定轮后量子零知识协议$\mathbf{NP}$存在当且仅当我们使用非黑盒技术或放宽某些安全要求，如放宽标准零知识为$ε$ -零知识。此外，我们还证明了三轮和公共硬币常数轮后量子黑箱$ε$ -零知识参数$\mathbf{NP}$不存在，除非$\mathbf{NP}\subseteq \mathbf{BQP}$。
2021-06-14 cs.CR quant-ph
On parallel composition of zero-knowledge proofs with black-box quantum simulators
设L是一个由常数轮量子亚瑟-梅林（QAM）协议决定的语言，其可靠性误差可以忽略不计，并且除了最后一条消息之外，所有消息都是经典的。我们证明，如果这个协议是零知识的黑盒，量子模拟器S，那么L在BQP。我们的结果也适用于任何具有三轮量子交互证明（QIP）的语言，除了最后一条消息可能是经典的，具有可忽略的合理性误差和黑盒量子模拟器。这些结果特别使得某些协议不太可能并行组成，以减少合理性错误，同时使用黑盒量子模拟器保持零知识。它们推广了Goldreich和Krawczyk（1990）的类似经典结果。我们的证明是通过量子黑箱搜索的简化来实现的。我们表明，存在一个黑箱量子模拟器，这样的协议时，L notin BQP将意味着一个不可能好的量子搜索算法。
2009-02-28 quant-ph
Practical Relativistic Zero-Knowledge for NP
在这项工作中，我们考虑以下问题：在多证明者环境中，我们如何接近零知识证明NP语句的有效性？我们展示了一组两个新的零知识协议的3-色性问题，使用两个（本地）证明或三个（纠缠）证明，只需要他们回答两个三分之一。这大大提高了在非常短的距离上用非常少的设备证明零知识陈述的能力。
2019-12-18 cs.CR quant-ph
Post-quantum Zero Knowledge in Constant Rounds
我们构造了一个常数轮零知识经典论证，证明了NP安全的量子攻击。我们假设量子全同态加密和其他标准原语的存在，基于量子算法的错误学习假设。作为推论，我们还得到了QMA的一个恒轮零知识量子论证。在我们的协议的核心是一个新的非克隆非黑盒模拟技术。
2020-04-20 cs.CR quant-ph
Oracle Separations Between Quantum and Non-interactive Zero-Knowledge Classes
我们研究了在多项式时间内可由量子算法解决的问题与存在零知识证明的问题之间的关系。在之前的工作中，Aaronson [arxiv：quant-ph/0111102]显示了BQP和SZK之间的oracle分离，即oracle $A$，使得$\mathrm{SZK}^A \not\subseteq \mathrm{BQP}^A$。本文将Aaronson的结果简单扩展到具有完全安全性的非交互式零知识证明。这个类NIPZK是最严格的零知识类。我们表明，即使对于这个类，我们可以构建一个$A$与$\mathrm{NIPZK}^A \not\subseteq \mathrm{BQP}^A$。
2019-07-06 cs.CC quant-ph
Perfect zero knowledge for quantum multiprover interactive proofs
在这项工作中，我们考虑多证明器交互式证明，量子纠缠和零知识证明之间的相互作用-复杂性理论，量子信息和密码学的核心支柱的概念。特别是，我们研究的复杂性类MIP $^*$，一套语言决定的多证明者交互式证明与量子纠缠证明，和类PZKMIP $^*$，这是一套语言决定的MIP $^*$协议，还具有完美的零知识属性之间的关系。我们的主要结果是，这两个类是平等的，即，MIP $^* =$ PZKMIP $^*$。这个结果提供了Ben-Or、Goldwasser、Kilian和Wigderson（STOC 1988）的著名结果的量子模拟，他们证明了MIP $=$ PZKMIP（换句话说，所有经典的多验证器交互协议都可以被变成零知识）。我们证明了我们的结果表明，每一个MIP $^*$协议可以有效地转化为一个等价的零知识MIP $^*$协议的方式，保持完整性，健全的差距。结合我们的变换与Slofstra（数学论坛，Pi 2019）和Fitzsimons，Ji，Vidick和Yuen（STOC 2019）的先前结果，我们得到了所有共递归可判定语言（包括不可判定问题以及所有可判定问题）都具有零知识MIP $^*$协议，承诺间隙消失。
2019-05-27 cs.CC quant-ph
Spatial Isolation Implies Zero Knowledge Even in a Quantum World
零知识在密码学和复杂性中起着核心作用。Ben-Or et al.（STOC 1988）的开创性工作表明，在NEXP中，任何语言都可以无条件地实现零知识，只要人们愿意做出适当的物理假设：如果证明者在空间上是孤立的，那么他们可以被假设为独立的策略。然而，量子力学告诉我们，这种假设是不现实的，因为空间隔离的证明者可以共享一个量子纠缠态，并实现非局域关联策略。MIP* 模型捕获了此设置。在这项工作中，我们研究了以下问题：空间隔离是否仍然足以无条件地实现零知识，即使在存在量子纠缠？我们肯定地回答这个问题：我们证明了NEXP中的每一种语言都有一个2-prover零知识交互式证明，它对纠缠的prover是可靠的;即NEXP \subseteq ZK-MIP*。我们的证明包括构建一个零知识交互PCP与强大的代数结构，然后提升到MIP* 模型。这种提升依赖于一个新的框架，该框架建立在针对纠缠策略的低度测试的最新进展基础上，并明确区分了经典和量子工具。我们的主要技术贡献包括开发新的代数技术获得无条件零知识，这包括零知识的著名的sumcheck协议，在许多概率证明系统的关键构建块的变体。我们的sumcheck协议的核心组成部分是一个新的代数承诺计划，其分析依赖于代数复杂性理论。
2018-03-05 cs.CC quant-ph
Post-Quantum Zero Knowledge, Revisited (or: How to Do Quantum Rewinding Undetectably)
量子倒带的一个主要困难是测量是破坏性的：从量子态中提取信息会不可逆地改变它，这在零知识模拟的背景下尤其成问题，在这种情况下，保留对手的状态是必不可少的。在这项工作中，我们在提取和零知识模拟的背景下开发了量子倒带的新技术：（1）我们展示了如何通过倒带从量子对手提取信息而不干扰其内部状态。我们使用这种技术来证明，重要的交互式协议，如图非同构的Goldreich-Micali-Wigderson协议和NP的Feige-Shamir协议，是零知识对量子对手。(2)我们证明了Goldreich-Kahan协议的NP是后量子零知识使用模拟器，可以被看作是一个自然的量子扩展的经典模拟器。我们的结果实现了（恒定轮）黑盒零知识，模拟误差可以忽略不计，似乎与最近由于Chia-Chung-Liu-Yamakawa（FOCS 2021）的不可能结果相矛盾。这就引出了我们的最终贡献：（3）我们引入了相干运行时期望量子多项式时间，这是一个计算模型，它（a）捕获了我们所有的零知识模拟器，（b）不能打破任何多项式硬度假设，（c）不受CCLY不可能性的影响。根据我们的积极结果和CCLY的负面结果，我们建议相干运行时模拟是正确的量子模拟经典的预期多项式时间模拟。
2021-11-24 cs.CR quant-ph
Certified Everlasting Zero-Knowledge Proof for QMA
在已知的经典NP零知识协议的构造中，零知识或可靠性仅适用于计算上有界的对手。事实上，用经典验证器同时实现统计零知识和统计可靠性对NP来说是不可能的，除非多项式时间层次崩溃，而且即使用量子验证器也被认为是不可能的。在这项工作中，我们介绍了一种新的妥协，我们称之为认证的永久零知识证明QMA。它是一种计算零知识证明，但验证者发出一个经典证书，表明验证者已经删除了它的量子信息。如果证书是有效的，即使是无限的恶意验证者也不能再学习任何超出声明有效性的东西。我们为QMA构造了一个可认证的永久零知识证明。对于构造，我们引入了一个新的量子密码原语，我们称之为统计绑定和认证永久隐藏的承诺，一旦接收者发出了一个有效的证书，表明接收者已经删除了提交的信息，隐藏属性就变成统计的。我们用统计绑定和认证的永久隐藏从Broadbent和Islam [TCC 2020]的认证删除量子加密中构建承诺（以黑盒的方式），然后将其与Broadbent和Grilo [FOCS 2020]的QMA量子sigma-protocol相结合，为QMA构建认证的永久零知识证明。我们的构造在量子随机预言模型下是安全的。具有统计绑定的承诺和认证的永久隐藏本身是独立的兴趣，并且除了零知识之外还有许多其他有用的应用。
2021-09-29 cs.CC cs.CR quant-ph
On the Relativistic Zero Knowledge Quantum Proofs of Knowledge
本研究提出相对论性零知识量子知识证明系统，定义概念并构造提取器，利用新倒带技术突破量子倒带障碍，改进可靠性界限。
2024-12-17 cs.CR quant-ph
Non-Locality and Zero-Knowledge MIPs
零知识的基础是模拟器：一台弱机器，能够假装成一个弱验证者，与全能的证明者交谈。为了实现这一点，模拟器需要某种优势，例如对活板门的了解。在现有的零知识多证明者协议中，这种优势本质上是信令，这是明确禁止证明者做的事情。在大多数情况下，这种优势比必要的更强，因为它可以定义一种意义，在这种意义上，模拟器需要更少的模拟。我们定义了一个框架，在这个框架中，我们可以量化模拟器的非本地优势，并展示零知识协议的例子，这些协议对本地或纠缠证明者是健全的，但对无信号证明者是不健全的，因为恶意证明者可以采用无信号模拟策略。
2019-07-29 cs.CC cs.CR quant-ph
Succinct Perfect Zero-knowledge for MIP*
本研究基于已有MIP*完美零知识协议成果，通过研究三项核心压缩技术的零知识保持性、转换非局域博弈类型、提出参数化变换，构造出可对抗不诚实验证者的简洁两方单轮完美零知识MIP*协议。
2025-10-01 cs.CC quant-ph
MPC in the Quantum Head (or: Superposition-Secure (Quantum) Zero-Knowledge)
University of Washington（华盛顿大学）；University of Illinois, Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校）；NTT Research（NTT研究所）；Bocconi University（博科尼大学）；CISPA
研究将MPC范式推广到量子环境，提出构建零知识协议新方法。基于此给出两个新的三轮协议，一个是NP的零知识论证，安全性归为LWE问题，另一个是QMA的零知识论证，均基于相同假设。
2026-07-08 cs.CR quant-ph
Post-Quantum Zero-Knowledge with Space-Bounded Simulation
量子零知识的传统定义规定，任何量子多项式时间验证者在交互协议中获得的知识都可以用量子多项式时间算法模拟。这个定义的一个缺点是它允许模拟器消耗比验证器多得多的计算资源。我们认为，这一缺陷使得现有的量子零知识概念在某些情况下不可行，特别是在处理近期量子设备时。在这项工作中，我们提出了一个细粒度的后量子零知识概念，它与近期的量子设备更兼容。我们引入了$(s,f)$空间有界量子零知识的概念。在这个新概念中，我们要求$s$ -量子比特恶意验证器可以通过量子多项式时间算法来模拟，该算法对于某些函数$f(\cdot)$使用最多$f(s)$ -量子比特，并且对验证器或模拟器消耗的经典存储器的量没有限制。我们探索这个概念，并建立积极和消极的结果：-验证与对数量子空间$s$和（任意）多项式经典空间，我们表明，$(s,f)$ -空间有界的QZK，$f(s)=2s$，可以实现基于后量子单向函数的存在。此外，我们的协议在恒定的回合中运行。- 对于超对数量子空间$s$的验证者，假设存在后量子安全单向函数，我们证明了具有完全黑盒模拟（经典模拟黑盒模拟）的$(s,f)$ -空间有界QZK协议只能在BQP语言中实现.
2022-10-12 cs.CR quant-ph
Zero-knowledge proof systems for QMA
先前的工作已经确定，NP中的所有问题都承认经典的零知识证明系统，并且在量子计算的合理硬度假设下，这些证明系统可以安全地抵御量子攻击。我们证明了一个结果，代表了这一事实的进一步量子推广，这是复杂性类QMA中的每个问题都有一个量子零知识证明系统。更具体地说，假设存在一个无条件绑定和量子计算隐藏的承诺计划，我们证明了复杂性类QMA中的每个问题都有一个量子交互证明系统，该系统对于有效的量子计算是零知识的。我们的QMA证明系统是健全的任意量子证明者，但只需要一个诚实的证明者执行多项式时间量子计算，只要它持有一个给定的QMA问题的实例正在考虑的量子证人。证明系统依赖于一个新的变体的QMA-完全本地哈密顿问题，其中的本地条款描述的克利福德操作和标准的基础测量。我们相信这个问题的QMA完备性在量子复杂性中可能有其他用途。
2016-04-11 cs.CR quant-ph
A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Rounds
本文针对抗量子常数轮零知识协议中假设过强、依赖非黑盒模拟等问题，提出黑盒构造方法，在折叠哈希函数或后量子单向函数假设下分别实现统计可靠性和计算可靠性的 $ε$-零知识协议，核心贡献是一种新的量子倒带技术。
2023-10-30 cs.CR quant-ph
The Knowledge Complexity of Quantum Problems
本研究证明所有可通过交互式协议证明的量子决策问题均可在零知识下证明，并提出了实现无条件可靠性与计算性零知识的协议，同时为Uhlmann变换问题提供了抗恶意验证者的零知识方案。
2025-10-08 cs.CR quant-ph
Oblivious Transfer from Zero-Knowledge Proofs, or How to Achieve Round-Optimal Quantum Oblivious Transfer and Zero-Knowledge Proofs on Quantum States
本文提出了一种将经典零知识证明转换为量子隐含转移协议的通用方法，实现了最优轮次的量子隐含转移，并引入了新的复杂度类ZKstatesQIP和ZKstatesQMA。
2023-10-12 cs.CR quant-ph
Unclonable Non-Interactive Zero-Knowledge
本文为NP定义并构造了不可克隆的非交互式零知识论证，利用量子信息确保证明无法被敌手克隆分发，并应用于不可克隆的知识签名以非交互方式防止重放攻击。
2024-09-24 cs.CR quant-ph
Relativistic zero-knowledge protocol for NP over the internet unconditionally secure against quantum adversaries
相对论密码学是一种实现无条件安全性的建议，它利用了没有信息载体可以比光速更快的事实。它基于时空约束，但不需要量子硬件。然而，尚不清楚这一提议是否现实。最近，Alikhani等人[ABC+21]实现了NP的相对论零知识。他们实现的方案显示了相对论密码学的可行性，但它只对经典对手是安全的。在这项工作中，我们提出了一种新的相对论性NP协议，该协议对量子对手是安全的，并且足够有效，可以在日常笔记本电脑和互联网连接上实现。我们使用斯特恩的零知识方案的综合症解码问题，这是以前在后量子密码学中使用。主要的技术贡献是[CL17]的连续测量框架的推广，以证明我们的方案对量子对手的安全性，我们执行了一个实现，证明了我们提出的方案的可行性和效率。
2021-12-02 cs.CR quant-ph
Zero-mode analysis of quantum statistical physics
基于将密度矩阵表示为泛函积分，提出了量子统计物理的统一表述。我们确定的随机变量的有效统计理论，我们推导出的边界配置和零模式相关的红外物理的讨论。我们通过计算有限温度下相互作用的一维量子力学系统的配分函数，从密度矩阵的路径积分表示来说明我们的公式。计算方法提供了一种替代通常的总和周期轨迹：它总结了路径重合端点，并包括非零边界项。适当修改的扩展到松原模式提供了一个自然的分离的零模式物理。这一特征可能是有用的红外发散的治疗困扰的微扰方法在热场论。
2008-12-10 cond-mat.stat-mech hep-ph hep-th
Zero Knowledge Proofs in Quantum Networks
Indian Statistical Institute（印度统计研究所）
本文提出基于量子态不可区分性的零知识验证框架，利用局域操作限制构造多方量子网络中的信息论安全零知识证明协议，确保合谋方无法获取额外信息。
2026-09-29 cs.CR cs.SI math-ph
