代码路由：对位置验证的新攻击

由柏拉图重新发布

关注： 0

斯坦福大学

抽象

位置验证的密码学任务试图通过利用量子信息和相对论因果关系的约束来验证一方在时空中的位置。一种流行的验证方案称为 $f$ 路由，要求证明者根据布尔函数 $f$ 的值重定向量子系统。 $f$ 路由方案的作弊策略要求证明者使用预共享纠缠，并且该方案的安全性取决于证明者可以操纵多少纠缠的假设。在这里，我们给出了一种新的作弊策略，其中将量子系统编码为秘密共享方案，并利用秘密共享方案的授权结构来适当地指导系统。该策略使用 $O(SP_p(f))$ EPR 对完成 $f$ 路由任务，其中 $SP_p(f)$ 是 $mathbb{Z}_p$ 域上计算 $mathbb{Z}_p$ 的跨度程序的最小大小f$。这表明，在允许本地预处理后，只要 $f$ 处于复杂度类 $text{Mod}_ptext{L}$ 中，我们就可以有效地攻击 $f$ 路由方案。最好的早期构造实现了 L 类，它被认为严格位于 $text{Mod}_ptext{L}$ 内部。我们还表明，具有指示函数 $f_I$ 的量子秘密共享方案的大小上限是函数 $f_I$ 上 $f$ 路由的纠缠成本。

►BibTeX数据

@article{Cree2023coderoutingnew，doi = {10.22331/q-2023-08-09-1079}，url = {https://doi.org/10.22331/q-2023-08-09-1079}，标题 = {Code-路由：对位置验证的新攻击}，作者 = {Cree, Joy and May, Alex}，期刊 = {{Quantum}}，issn = {2521-327X}，出版商 = {{Verein zur F{“{o}” }rderung des Open Access Publizierens in den Quantenwissenschaften}}，卷 = {7}，页数 = {1079}，月份 = 2023 月，年份 = {XNUMX} }

►参考

[1] 尼山斯·钱德兰、维普尔·戈亚尔、瑞安·莫里亚蒂和拉斐尔·奥斯特洛夫斯基。基于位置的密码学。年度国际密码学会议，第 391-407 页。施普林格，2009。https://doi.org/10.1007/978-3-642-03356-8_23。
https://doi.org/10.1007/978-3-642-03356-8_23

[2] Adrian Kent、William J Munro 和 Timothy P Spiller。量子标记：通过量子信息和相对论信号约束来验证位置。物理评论 A，84 (1)：012326，2011。https://doi.org/10.1103/PhysRevA.84.012326。
https：/ / doi.org/ 10.1103 / PhysRevA.84.012326

[3] 阿德里安·肯特. 闵可夫斯基空间中的量子任务。经典与量子引力，29 (22): 224013, 2012。10.1088/0264-9381/29/22/224013。
https://doi.org/10.1088/0264-9381/29/22/224013

[4] 威廉·K·伍特斯 (William K Wootters) 和沃伊切赫·H·祖雷克 (Wojciech H Zurek)。单个量子无法被克隆。自然，299 (5886)：802–803，1982。https://doi.org/10.1038/299802a0。
https：/ / doi.org/ 10.1038 / 299802a0

[5] Adrian P Kent、William J Munro、Timothy P Spiller 和 Raymond G Beausoleil。标记系统，11 年 2006 月 7,075,438 日。美国专利 XNUMX。

[6] 罗伯特·A·马莱尼。使用量子纠缠的位置相关通信。物理评论 A，81 (4)：042319，2010。https://doi.org/10.1103/PhysRevA.81.042319。
https：/ / doi.org/ 10.1103 / PhysRevA.81.042319

[7] Harry Buhrman、Nishanth Chandran、Serge Fehr、Ran Gelles、Vipul Goyal、Rafail Ostrovsky 和 Christian Schaffner。基于位置的量子密码学：不可能和构造。 SIAM 计算杂志，43 (1): 150–178, 2014. https://doi.org/10.1137/130913687。
https：/ / doi.org/10.1137/ 130913687

[8] Salman Beigi 和 Robert König。简化的瞬时非本地量子计算及其在基于位置的密码学中的应用。新物理学杂志, 13 (9): 093036, 2011. 10.1088/ 1367-2630/ 13/ 9/ 093036.
https://doi.org/10.1088/1367-2630/13/9/093036

[9] 安德烈亚斯·布卢姆、马蒂亚斯·克里斯坦德尔和弗洛里安·斯皮尔曼。一种单量子位位置验证协议，可安全抵御多量子位攻击。自然物理学，第 1-4 页，2022 年。https：//doi.org/10.1038/s41567-022-01577-0。
https://doi.org/10.1038/s41567-022-01577-0

[10] Harry Buhrman、Serge Fehr、Christian Schaffner 和 Florian Speelman。花园软管模型。第四届理论计算机科学创新会议论文集，第 4-145 页，158 年。https://doi.org/2013/10.1145。
https：/ / doi.org/10.1145/ 2422436.2422455

[11] 哈特穆特·克劳克和苏帕莎·波德。花园软管模型的新界限。软件技术和理论计算机科学基础，2014 年。10.4230/LIPIcs.FSTTCS.2014.481。
https://doi.org/10.4230/LIPIcs.FSTTCS.2014.481

[12] Srinivasan Arunachalam 和 Supartha Podder。通信纪念品：无记忆通信的复杂性。第十二届理论计算机科学创新会议（ITCS 12）。 Schloss Dagstuhl-Leibniz-Zentrum für Informatik，2021。2021/LIPIcs.ITCS.10.4230。
https：///doi.org/10.4230/LIPIcs.ITCS.2021.61

[13] 亚历克斯·梅。全息术中的量子任务。高能物理杂志，2019 (10): 1–39, 2019. https:/ / doi.org/ 10.1007/ JHEP10(2019)233。
https：/ / doi.org/ 10.1007 / JHEP10（2019）233

[14] Alex May、Geoff Penington 和 Jonathan Sorce。全息散射需要连接的纠缠楔。高能物理杂志，2020 (8): 1–34, 2020. https:/ / doi.org/ 10.1007/ JHEP08(2020)132。
https：/ / doi.org/ 10.1007 / JHEP08（2020）132

[15] 亚历克斯·梅。非局域计算和全息术的复杂性和纠缠。量子，6：864，2022 年 2521 月。ISSN 327-10.22331X。 2022/q-11-28-864-10.22331。网址 https://doi.org/2022/q-11-28-864-XNUMX。
https://doi.org/10.22331/q-2022-11-28-864

[16] 亚当·D·斯密。一般访问结构的量子秘密共享。 arXiv 预印本 quant-ph/ 0001087, 2000. https:/ / doi.org/ 10.48550/ arXiv.quant-ph/ 0001087。
https://doi.org/10.48550/arXiv.quant-ph/0001087
arXiv：quant-ph / 0001087

[17] 胡安马尔达西纳。超共形场论和超引力的大 N 极限。国际理论物理学杂志，38 (4): 1113–1133, 1999. https:/ / doi.org/ 10.1023/ A:1026654312961。
https：/ / doi.org/ 10.1023 / A：1026654312961

[18] 爱德华·维滕. 反德西特空间和全息术。理论和数学物理进展，2：253–291，1998。10.4310/ATMP.1998.v2.n2.a2。
https://doi.org/10.4310/ATMP.1998.v2.n2.a2

[19] 丹尼尔·格特斯曼（Daniel Gottesman）。量子秘密共享理论。《物理评论》 A，61（4）：042311，2000.https：// https：//doi.org/10.1103/PhysRevA.61.042311。
https：/ / doi.org/ 10.1103 / PhysRevA.61.042311

[20] 本杰明·舒马赫和迈克尔·A·尼尔森。量子数据处理和纠错。物理评论 A，54 (4)：2629，1996。https：//doi.org/10.1103/PhysRevA.54.2629。
https：/ / doi.org/ 10.1103 / PhysRevA.54.2629

[21] 本杰明·舒马赫和迈克尔·D·威斯特摩兰。近似量子误差校正。量子信息处理，1 (1): 5–12, 2002。https://doi.org/10.1023/A:1019653202562。
https：/ / doi.org/ 10.1023 / A：1019653202562

[22] 格哈德·邦特洛克、卡斯滕·达姆、乌尔里希·赫特朗普夫和克里斯托夫·梅内尔。 logspace-mod 类的结构和重要性。数学系统理论，25 (3): 223–237, 1992。https://doi.org/10.1007/BF01374526。
https：/ / doi.org/ 10.1007 / BF01374526

[23] Mauricio Karchmer 和 Avi Wigderson。在跨度程序上。在 [1993] 复杂性理论会议第八届年度结构会议记录中，第 102-111 页。 IEEE, 1993. 10.1109/ SCT.1993.336536。
https：///doi.org/10.1109/SCT.1993.336536

[24] 尼尔·D·琼斯、Y·埃德蒙·连恩和威廉·T·拉瑟。不确定性日志空间的新问题已完成。数学系统理论，10 (1): 1–17, 1976。https://doi.org/10.1007/BF01683259。
https：/ / doi.org/ 10.1007 / BF01683259

[25] 克劳斯·莱因哈特和埃里克·阿伦德。使非决定论变得明确。 SIAM 计算杂志，29 (4): 1118–1131, 2000。https://doi.org/10.1137/S0097539798339041。
https：/ / doi.org/ 10.1137 / S0097539798339041

[26] 埃里克·阿伦德、克劳斯·莱因哈特和周世宇。隔离、匹配和计数均匀和非均匀上限。计算机与系统科学杂志，59 (2): 164–181, 1999。https://doi.org/10.1006/jcss.1999.1646。
https：///doi.org/10.1006/jcss.1999.1646

[27] 埃亚尔·库什莱维茨。通信复杂性。《计算机进展》，第 44 卷，第 331-360 页。爱思唯尔，1997。https://doi.org/10.1016/S0065-2458(08)60342-3。
https://doi.org/10.1016/S0065-2458(08)60342-3

[28] 诺姆·尼桑. 阈值门的通信复杂性。组合学，Paul Erdos 八十岁，1：301–315，1993 年。

[29] 罗伯特·罗贝尔、托尼安·皮塔西、本杰明·罗斯曼和斯蒂芬·A·库克。单调跨度程序的指数下界。 2016 年 IEEE 第 57 届计算机科学基础年度研讨会 (FOCS)，第 406-415 页。 IEEE，2016。10.1109/FOCS.2016.51。
https：///doi.org/10.1109/FOCS.2016.51

[30] 弗洛里安·斯皮尔曼。低 T 深度量子电路的瞬时非局域计算。第 11 届量子计算、通信和密码学理论会议 (TQC 2016)，莱布尼茨国际信息学学报 (LIPIcs) 第 61 卷，第 9:1–9:24 页，德国 Dagstuhl，2016 年。Schloss Dagstuhl–Leibniz-信息中心。 ISBN 978-3-95977-019-4。 10.4230/LIPIcs.TQC.2016.9。
https：/ / doi.org/ 10.4230 / LIPIcs.TQC.2016.9

被引用

[1] Alex May，“非局部计算和全息术中的复杂性和纠缠”，量子6，864（2022）.

[2] Alex May、Jonathan Sorce 和 Beni Yoshida，“连通楔定理及其后果”，高能物理杂志 2022 11, 153 (2022).

[3] Kfir Dolev 和 Sam Cree，“全息术作为非局部量子计算的资源”，的arXiv：2210.13500, (2022).

[4] Kfir Dolev 和 Sam Cree，“具有小光锥的量子电路的非局部计算”，的arXiv：2203.10106, (2022).

[5] Rene Allerstorfer、Harry Buhrman、Alex May、Florian Speelman 和 Philip Verduyn Lunel，“将非局域量子计算与信息论密码学联系起来”，的arXiv：2306.16462, (2023).

[6] Llorenç Escolà-Farràs 和 Florian Speelman，“单量子位丢失容错量子位置验证协议可抵御纠缠攻击者”，的arXiv：2212.03674, (2022).

以上引用来自 SAO / NASA广告（最近成功更新为2023-08-10 03:31:42）。该列表可能不完整，因为并非所有发布者都提供合适且完整的引用数据。

On Crossref的引用服务找不到有关引用作品的数据（上一次尝试2023-08-10 03:31:41）。

该论文发表在《量子》杂志上国际知识共享署名署名4.0（CC BY 4.0）执照。版权归原始版权持有者所有，例如作者或其所在机构。

SEO 支持的内容和 PR 分发。今天得到放大。
PlatoData.Network 垂直生成人工智能。赋予自己力量。访问这里。
柏拉图爱流。 Web3 智能。知识放大。访问这里。
柏拉图ESG。汽车/电动汽车，碳，清洁科技, 能源，环境，太阳能，废物管理。访问这里。
块偏移量。现代化环境抵消所有权。访问这里。
Sumber: https://quantum-journal.org/papers/q-2023-08-09-1079/

时间戳记： 2023 年 8 月 9 日

时间戳记： 2024 年 3 月 21 日

由柏拉图重新发布

抽象

►BibTeX数据

►参考

被引用

TensorCircuit：NISQ 时代的量子软件框架

模拟纠缠量子位的最小通信成本

自旋系统量子同步中的半整数与整数效应

不同测量背景之间的定量关系

通过预计算加速量子算法

变分量子线性求解器

连续时间随机过程的量子编码和分析及其金融应用

来自任何有隙量子多体系统的快速混合马尔可夫链

广义非上下文本体模型的结构定理

效应代数中的光谱分辨率

协变催化需要相关性，良好的量子参考系几乎不会退化

基于局部纠缠测量的经典阴影

关于我们

垂直搜索和Ai

应用平台

保持联系

账号管理

抽象

被引用

更多来自 量子杂志

关于我们

垂直搜索和Ai

应用平台

保持联系

账号管理

更多来自量子杂志