首页/论文/0906.1671

arXiv 0906.16712009-06-15quant-ph

两方量子协议不会对诚实但好奇的对手构成秘密

Two-Party Quantum Protocols Do Not Compose Securely Against Honest-But-Curious Adversaries

Louis Salvail, Miroslava Sotakova

备注：: 20 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

在本文中，我们建立在Salvail等人[SSS09]引入的两方量子计算模型的基础上，并证明在这个模型中，只有平凡正确的两方量子协议是弱自组合的。我们通过定义一个协议Π，将任何非平凡的子协议称为πN次，并证明存在一个量子诚实但好奇的策略，不能通过在π的每一个副本中局部作用来建模。为了实现这一点，我们分配一个真正的价值称为“回报”的任何战略，并表明，有一个连贯的和本地的战略可实现的最高回报之间的差距。

英文摘要：

In this paper, we build upon the model of two-party quantum computation introduced by Salvail et al. [SSS09] and show that in this model, only trivial correct two-party quantum protocols are weakly self-composable. We do so by defining a protocol Π, calling any non-trivial sub-protocol πN times and showing that there is a quantum honest-but-curious strategy that cannot be modeled by acting locally in every single copy of π. In order to achieve this, we assign a real value called "payoff" to any strategy for Πand show that that there is a gap between the highest payoff achievable by coherent and local strategies.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

量子擦除信道上的量子态不经意传输

Quantum-State Oblivious Transfer over Quantum Erasure Channels

The University of Texas at Arlington（阿灵顿得克萨斯大学）

研究量子擦除信道上信息论安全的量子态不经意传输，提出有限块长界并证明恶意与诚实但好奇情形容量相同。

2026-10-06cs.ITmath.ITquant-ph

使用不可信量子设备安全扩展随机性和分发密钥的鲁棒协议

Robust protocols for securely expanding randomness and distributing keys using untrusted quantum devices

随机性是现代信息处理，特别是密码学的重要资源。广泛的应用严重依赖于安全生成的丰富，高质量的随机数。在这里，我们展示了如何在不信任底层量子设备的情况下以指数速率扩展随机种子。我们的方法是安全的，对最一般的对手，并具有以下新功能：加密级别的安全性，容忍一个恒定水平的不精确的设备，只需要一个单位大小的量子存储器每个设备组件的诚实的实现，并允许一个大的自然类的构造协议。结合Chung，Shi和Wu最近的工作，它也导致了仅使用2个多部件设备的强大无界扩展。当适用于分发密钥时，我们的方法首次实现了与密码安全性和噪声容限相结合的指数扩展。证明过程表明，协议的输出（对于特定的边界运算符）的Renyi发散度随着协议的迭代而线性下降。证明的核心是关于量子测量的新不确定原理，以及用不可信设备模拟可信测量的方法。

2016-07-29quant-ph

关于QKD中继模型

On the QKD relaying models

研究了量子密钥分发（QKD）中继模型。首先，我们提出了一种新的准可信QKD中继模型。准可信中继被定义为：（i）足够诚实以正确地遵循给定的多方有限时间通信协议;（ii）然而，处于窃听者的监视之下。我们开发了一个简单的三方准可信模型，称为量子准可信桥（QQTB）模型，表明我们可以安全地扩展到两倍的基于单光子的QKD方案的有限范围。我们还开发了量子准可信中继（QQTR）模型，以表明我们可以安全地分发QKD密钥在任意长的距离。QQTR模型需要EPR对源，但不使用纠缠交换和纠缠纯化方案。其次，我们表明，我们的准可信模型可以改进，成为不可信的模型，即使攻击者完全控制一些中继节点的安全性不受影响。我们称我们的两个改进模型量子不可信桥（QUB）和量子不可信中继（QUR）的。QUB模型适用于单光子，并允许安全地扩展到有限QKD范围的两倍。QUR模型适用于纠缠光子，但不使用纠缠交换和纠缠纯化操作。该模型允许在任意长距离上安全地传输共享密钥，而不会显著降低原始QKD方案的密钥速率。

2008-03-26quant-ph

增加量子零知识中验证者的权力

Increasing the power of the verifier in Quantum Zero Knowledge

在量子零知识中，假设验证者只使用酉操作。在这个假设下，关于量子零知识的许多好的性质已经被证明，包括诚实验证者量子统计零知识（HVQSZK）等于欺骗验证者量子统计零知识（QSZK）的事实（见[Wat02，Wat06]）。在本文中，我们研究了当我们允许一个诚实的验证者除了使用酉运算之外还可以抛硬币时会发生什么。抛硬币是一种非幺正操作，但最初似乎并没有增强验证者的欺骗可能性，因为经典的诚实验证者可以抛硬币。在这种设置中，我们展示了一个意想不到的结果：任何经典的交互式证明都具有使用硬币的诚实验证者量子统计零知识证明。请注意，在经典的情况下，诚实验证者SZK并不比SZK更强大，因此它不被认为包含甚至NP。另一方面，在欺骗验证者的情况下，我们证明了量子统计零知识，其中验证者应用任何非酉操作等于量子零知识，其中验证者只使用酉。人们可以从两个互补的角度来看待我们的结果。如果我们想使用诚实验证者模型作为一种手段，通过利用它们的等价性来研究一般模型，那么就必须使用没有硬币的酉定义，因为对于一般模型来说，这种等价性很可能是不正确的。另一方面，如果我们想在诚实但好奇的模型已经足够的加密场景中使用量子零知识协议，那么添加酉约束会严重降低量子零知识协议的功率。

2008-10-27quant-ph

两方量子密码的威力

On the Power of Two-Party Quantum Cryptography

我们研究两个不信任方之间的量子协议。在唯一的假设的正确性-保证诚实的球员获得正确的结果-我们表明，每一个协议实现一个非平凡的原始必然泄漏信息给一个不诚实的球员。这将已知的不可能性结果扩展到所有非平凡的原语。我们提供了一个框架来量化这种泄漏，并认为泄漏是一个很好的措施，提供给玩家的隐私由一个给定的协议。我们的框架还涵盖了两个参与者得到可信第三方帮助的情况。我们表明，尽管有一个值得信赖的第三方的帮助下，球员不能放大任何原始的加密力量。我们所有的结果甚至对量子诚实但好奇的对手也成立，他们诚实地遵守协议，但净化他们的行为，并在协议结束时应用不同的测量。作为具体的例子，我们建立了标准的通用两方原语，如不经意传输泄漏的下限。

2009-12-04quant-ph

论信息论单服务器PIR中的量子优势

On Quantum Advantage in Information Theoretic Single-Server PIR

在（单服务器）私有信息检索（PIR）中，服务器持有大小为$n$的大型数据库$DB$，并且客户端持有索引$i \in [n]$并且希望检索$DB[i]$而不向服务器揭示$i$。众所周知，即使是对一个“诚实但好奇”的服务器的信息理论隐私需要$Ω(n)$通信复杂性。即使量子通信被允许，这也是真实的，这是由于这种对抗服务器能够在数据库的叠加上而不是在特定数据库上执行协议（“输入净化攻击”）。尽管如此，已经有一些协议的建议，实现次线性通信，似乎提供了一些隐私的概念。最值得注意的是，由于Le Gall（ToC 2012）的协议具有通信复杂度$O(\sqrt{n})$，以及Kereneirs等人（QIC 2016）的协议具有通信复杂度$O(\log(n))$和$O(n)$共享纠缠。我们表明，在某种意义上，输入净化是唯一有效的对抗策略，并且诸如上述两个协议的协议在量子诚实但好奇（也称为似是而非）模型的受限变体中是安全的。更明确地说，我们提出了一个受限制的隐私概念称为\emph{anchored privacy}，对手被迫执行一个经典的数据库（即执行锚定到一个经典的数据库）。我们表明，对于无测量协议，锚定的安全性对诚实的敌对服务器意味着锚定的隐私，即使对似是而非的对手。最后，我们证明了即使有（无限的）预共享纠缠，它是不可能实现安全的标准似是而非的模型与次线性通信，从而进一步证实了我们放松的必要性。该…

2019-02-26cs.CRquant-ph

更多相关论文收起更多论文

量化经典两方密码量子协议的泄漏

Quantifying the Leakage of Quantum Protocols for Classical Two-Party Cryptography

我们研究两个不信任方之间的量子协议。通过采用一个相当严格的正确性定义--保证诚实的参与者只获得正确的结果--我们可以证明，每个实现非平凡经典原语的严格正确的量子协议必然会向不诚实的参与者泄露信息。这将已知的不可能性结果扩展到所有非平凡的原语。我们提供了一个框架来量化这种泄漏，并认为泄漏是一个很好的措施，提供给玩家的隐私由一个给定的协议。我们的框架还涵盖了两个参与者得到可信第三方帮助的情况。我们表明，尽管有一个值得信赖的第三方的帮助下，球员不能放大任何原始的加密力量。我们所有的结果甚至对量子诚实但好奇的对手也成立，他们诚实地遵守协议，但净化他们的行为，并在协议结束时应用不同的测量。作为具体的例子，我们建立了标准的通用两方原语，如不经意传输泄漏的下限。

2015-01-07cs.CRquant-ph

基于Bell态的单态半量子保密比较

Single-state semiquantum private comparison based on Bell states

提出了一种基于单一Bell态的半量子私有比较（SQPC）协议，该协议允许两个经典参与者在一个具有完全量子能力的半诚实第三方（TP）的帮助下安全、正确地判断其私有输入的相等性. TP被允许自己行为不端，但不能与其他任何人合谋。我们的协议不需要幺正操作、量子纠缠交换或重排序操作。此外，我们的协议只需要准备一种Bell态作为初始量子资源。详细的安全性分析表明，我们的协议是安全的，对各种外部和参与者的攻击。与现有的大多数基于Bell态的SQPC协议相比，该协议具有更高的实用性。

2022-12-15quant-ph

一种基于Bell态的半量子保密比较协议的密码学分析与改进

Cryptanalysis and improvement of a semi-quantum private comparison protocol based on Bell states

半量子私有比较（SQPC）允许两个具有有限量子能力的参与者在半不诚实的第三方（TP）的帮助下安全地比较他们的秘密的相等性。最近，Jiang提出了一种基于Bell态的SQPC协议（Quantum Inf Process 19（6）：180，2020），并声称它是安全的。在本文中，我们提出了两种类型的攻击江的SQPC协议。在第一种攻击中，外部窃听者将使参与者接受错误的结果。在第二类攻击中，恶意参与者不仅会使其他参与者接受错误的结果，而且还会学习诚实参与者的秘密。这两种攻击都不会被检测到。此外，我们提出了一种改进的SQPC协议，可以抵抗这两种类型的攻击。

2021-01-06quant-ph

基于Bell纠缠态的量子保密比较协议的密码分析与改进

Cryptanalysis and improvement of the quantum private comparison protocol based on Bell entangled states

本研究发现基于Bell态纠缠交换的量子保密比较协议存在致命漏洞，第三方可借此窃取秘密输入，为此提出使用诱骗光子进行一次窃听检测的改进方案，在修复漏洞的同时降低了Bell态消耗并简化了步骤。

2014-05-26quant-ph

多体纠缠验证的组合安全性

Composable Security for Multipartite Entanglement Verification

我们提出了一个可组合的安全协议，允许$n$各方测试的纠缠产生资源控制的一个可能不诚实的一方。该测试仅包括本地量子操作和认证的经典通信，一旦状态在它们之间共享，并提供可组合的安全性，即它可以被$n$诚实方在较大的通信协议中用作安全子例程，以测试源是否共享至少$ε$ -接近GHZ状态的量子态。这一说法是在以前的结果多体纠缠验证的安全性研究在通常的基于游戏的模型。在这里，我们改进了协议，使其更适合在量子网络中的实际使用，我们研究其安全性的抽象密码框架，突出可组合性问题，并避免隐藏的假设。这个框架是一个自上而下的理论，它明确了每个组件（参与方或资源）在协议的每个时间步获得的任何信息。此外，任何安全证明，这相当于显示具有期望的安全属性（直到本地模拟）的理想资源和代表协议的具体资源之间的不可分割性，在这种设置中是免费的。这使我们能够很容易地组成我们的基本协议，以便创建一个可组合的安全多轮协议，使诚实的各方能够获得接近GHZ状态或中止信号的状态，即使在存在噪声或恶意源的情况下。我们的协议通常可以用作量子互联网中的子例程，在执行通信或计算协议之前在网络之间安全地共享GHZ状态。

2020-11-11quant-ph

量子私有信息检索具有线性通信复杂度

Quantum Private Information Retrieval has linear communication complexity

在私有信息检索（PIR）中，客户端查询n位数据库以检索她选择的条目，同时保持她的查询值的隐私。Chor，Goldreich，Kushilevitz和Sudan表明，在信息理论的背景下，经典PIR协议需要线性的通信量（因此平凡协议是最佳的）。Nayak证明这个线性下限在量子环境中也成立。在这里，我们通过考虑近似隐私扩展了Nayak的结果，并且只要求针对“似是而非”的对手的安全性，这些对手是与经典诚实但好奇的对手类似的最弱的合理量子对手。我们表明，即使在这种弱化的情况下，量子私人信息检索（QPIR）也需要n个量子比特的通信。由此可见，Le Gall最近提出的具有次线性通信复杂度的QPIR协议在对抗最弱的合理加密对手时，在信息理论上不是私有的。

2014-01-29quant-ph

保密条件下的最优量子态鉴别

Optimal quantum state discrimination with confidentiality

我们研究了保密的量子态鉴别。$N$观测器共享属于有限已知状态集的给定量子态。观测器希望尽可能准确地确定状态，并将判别结果发送给接收器。然而，观察员不被允许获得关于哪个状态的任何信息。$N-1$或更少的观察者可能会试图窃取信息，但如果$N$观察者共存，诚实的观察者将阻止不诚实的观察者做错任何事情。假设状态集具有某种对称性，或者更准确地说，是阿贝尔几何均匀的;这封信描述了三个线性独立的循环纯态的情况作为特殊情况。我们提出了一个协议，实现任何最佳的非决定性的测量，这是一个广义版本的最小误差测量和最佳的明确的测量，这样的状态集，并确保任何组合状态的$N-1$或更少的观察员绝对没有关于给定状态的信息。我们的协议提供了一种安全地执行量子测量的方法，这可能是有用的量子信息的应用。

2015-06-27quant-ph

抗不诚实方的多体纠缠验证

Multipartite entanglement verification resistant against dishonest parties

未来的量子信息网络将可能由量子和经典代理组成，这些代理能够以各种方式与可信和不可信方进行通信，并将计算任务安全地委托给不可信的大型量子计算服务器。多体量子纠缠是这样一个网络的基本资源，因此，它是必要的，以一种有效的方式，即使在存在多个不诚实的当事人提供强有力的保证，研究验证多体纠缠源的可能性。在这项工作中，我们展示了量子网络的代理如何以最少的资源对多体纠缠源进行分布式验证，尽管如此，这仍然可以抵抗任何数量的不诚实方。此外，我们提供了一个紧密的权衡之间的安全性和源产生的状态和理想的最大纠缠态之间的距离的水平。最后，通过增加可信公共随机源的资源，进一步为量子网络中的所有诚实方同时提供安全保证。

2012-11-06quant-ph

分布式对称密钥建立协议的可组合安全性

Composable Security of Distributed Symmetric Key Establishment Protocol

本文在Maurer构造密码学框架中证明了DSKE协议的可组合安全性，该协议在无距离限制的网络中具备高度可扩展性，是抵御量子计算机威胁的量子安全密码学解决方案。

2024-07-29cs.CRquant-ph

基于Bell态的不诚实第三方轻量级半量子密钥分发协议

Lightweight Mediated Semi-Quantum Key Distribution Protocol with a Dishonest Third Party based on Bell States

中介半量子密钥分发（MSQKD）协议是一个重要的研究课题，它允许两个经典参与者在第三方（TP）的帮助下安全地共享密钥。然而，在现有的MSQKD协议，有两个改进的问题，即（1）经典的参与者必须配备昂贵的检测器，以避免特洛伊木马攻击和（2）的可信度水平的TP必须诚实。据我们所知，没有一个现有的MSQKD协议可以解决这两个问题。因此，本研究以Bell态为量子资源，提出了一种经典参与者不需要木马检测器且TP不诚实的MSQKD协议。此外，所提出的协议被证明是安全的，对众所周知的攻击和经典的参与者只需要两个量子能力。因此，与现有的MSQKD协议相比，该协议具有更好的实用性。

2021-12-02cs.CRquant-ph

私有集求交与委托盲量子计算

Private Set Intersection with Delegated Blind Quantum Computing

私有集合的交集是一个重要的问题，涉及到从远程诊断到私有接触发现等许多领域。在这项工作中，我们考虑的情况下，双方PSI在诚实，但好奇的设置。我们提出了一个协议，解决了服务器辅助PSI问题，使用委托盲量子计算。更具体地说，所提出的协议允许Alice和Bob（没有任何量子计算资源或量子存储器）与Steve（拥有量子计算机）交互，以便Alice和Bob获得集合交集，从而保护隐私。特别是，Steve对客户端的输入、输出或所需的计算一无所知。该协议是正确的，安全的和盲目的恶意服务器，其特征在于量子通信的复杂性是线性的输入大小。

2022-01-10cs.DCcs.NIquant-ph

经典客户端盲量子计算的可能性

On the possibility of classical client blind quantum computing

我们定义了委托伪秘密随机量子比特生成器（PSRQG）的功能，其中经典客户端可以指示在某个远程方准备随机量子比特序列。它们的经典描述对于任何其他方（包括准备它们的远端方）是（计算上）未知的，但对于客户端是已知的。我们强调的独特功能，不需要量子通信来实现PSRQG。这使得经典客户端能够仅使用量子服务器的公共经典信道来执行一类量子通信协议。一个关键的例子是委托的通用盲量子计算。使用我们的功能，可以实现纯粹的经典客户端计算安全可验证的委托通用量子计算（也称为可验证的盲量子计算）。我们给出了一个具体的协议（QFactory）实现PSRQG，使用错误的学习问题来构造一个具有某些期望属性（量子安全，双正则，抗碰撞）的陷门单向函数。然后，我们证明了量子诚实但好奇设置的安全性，并简要讨论了恶意情况下的扩展。

2018-06-12cs.CRquant-ph

乱码量子计算

Garbled Quantum Computation

通用盲量子计算协议（UBQC）（Broadbent，Fitzsimons，Kashefi 2009）使得几乎经典的客户端能够将量子计算委托给不可信的量子服务器（以乱码量子计算的形式），而客户端的安全性是无条件的。在这篇文章中，我们探索了扩展可验证的UBQC（Fitzsimons，Kashefi 2012）的可能性，以实现更多的功能，就像经典的乱码计算一样。首先，针对UBQC的非对称性（客户端只准备单个量子比特，而服务器端运行整个量子计算），我们提出了一个“Yao”型的安全两方量子计算协议。与经典设置（Yao 1986）类似，我们的量子Yao协议可以防止似是而非（量子诚实但好奇）的乱码，但在我们的情况下，可以防止（完全）恶意的评估者。与（Dupuis，Nielsen，Salvail 2010）中的协议不同，我们不需要乱码器和评估器之间的任何在线量子通信，因此没有额外的加密原语。这个特性将允许我们为任何使用一次性内存的量子计算构建一个简单的通用一次性编译器，其方式类似于（Goldwasser，Kalai，Rothblum 2008）的经典工作，但比（Broadbent，Gutoski，Stebila 2013）的先前工作更有效。

2017-03-03cs.CRquant-ph