安全与密码学2021arxiv.org
用 13436 个量子比特和多模存储器在 177 天内分解 2048 位 RSA 整数
Factoring 2048 RSA integers in 177 days with 13436 qubits and a multimode memory
专业 · 约 90 分钟读完前置知识：量子计算基础、Shor 算法、RSA 加密
导读
这篇论文研究如何用多模量子存储器来降低分解 2048 位 RSA 整数所需的计算量子比特数，给出了约 13436 个量子比特、177 天的理论方案。其关键代价是庞大的量子存储器：评论援引论文表格指出需约 4.3 亿个存储器量子比特，且整机尚未建成。
HN 关注点：HN 读者被标题吸引，但讨论焦点是标题未点明的数亿量子存储器开销，以及这类理论方案离实际建造有多远。
HN 评论精选
这几条评论里：质疑 2 补充 2
补充指出方案依赖约 4.3 亿个存储器量子比特，标题未突出这一巨大开销。
这篇论文基本是在探讨一个假设情景：扩展量子存储器的成本最终低于扩展计算量子比特。可惜标题（或摘要）没有明确提到 n=2048 时的量子存储器需求。要分解 2048 位 RSA 整数，论文提出的技术需要约 4.3 亿个存储器量子比特（见第 16 页顶部的表格）。
tbabej查看英文原文
This paper basically explores a hypothetical scenario where scaling quantum memory ends up being cheaper than scaling computational qubits. The title (or abstract) unfortunately does not mention the quantum memory requirements at n=2048 explicitly. For factoring 2048 RSA integers, the technique proposed in the paper would require ~430 million memory qubits (see the table at top of page 16).
补充强调方案仍是理论，尚无实物机器。
需要说明的是，这样的机器尚未建成；目前这只是一篇理论论文。
stirlo查看英文原文
Just to be clear such a machine has not yet been built. This is only a theoretical paper at the moment.
质疑批评标题误导，强调存储器量子比特的数量与精度要求。
作者没有点明这需要数百万个存储器量子比特（而且它们必须和普通量子比特一样精确），所以我认为标题有点误导。
ThePhysicist查看英文原文
The authors hide the fact that this would require millions of memory qubits (which need to be as accurate as the normal qubits), so the title is a bit misleading IMHO.
质疑引用批评文章质疑量子计算缺乏可行建造路径，连分解 21 都未实现，15 的演示被视为已知答案的取巧。
我觉得有义务指出 Scott Lockin 这篇精彩的檄文：《量子计算作为一个领域显然是胡扯》。文中一段漂亮摘录：当我说量子计算是个胡扯的领域时，我不是说其中一切都胡扯，尽管一阶近似下这似乎大致成立。我没有数学证明量子计算在理论上至少可行，也没有证明能或不能造出 Drexler 纳米技术幻想中的人造细菌。但我知道这两个领域都是胡扯。两者都涉及构造我们完全不知道如何构造的新物质形态。两个领域都没有实现其宏大主张的合理“第一步”。……“量子计算”拥趸指望你忽略：他们根本不知道如何建造和操控实现量子计算所需的量子相干物质形态。一台能真正分解 21 的量子计算机至今不见踪影。事实上，把 15 分解成 3 和 5 有点像魔术把戏，因为他们在设计实验时已经知道答案，从而省略了不知道答案时所需的门。分解一个 n 比特数实际需要的门数是 72×n^3；所以对 15（4 位）需要 4608 个门；短期内不可能。
haltingproblem查看英文原文
I fear it is my obligation to point out this excellent screed by Scott Lockin: "Quantum computing as a field is obvious bullshit". A beautiful excerpt from the article: When I say Quantum Computing is a bullshit field, I don’t mean everything in the field is bullshit, though to first order, this appears to be approximately true. I don’t have a mathematical proof that Quantum Computing isn’t at least theoretically possible. I also do not have a mathematical proof that we can or can’t make the artificial bacteria of K. Eric Drexler’s nanotech fantasies. Yet, I know both fields are bullshit. Both fields involve forming new kinds of matter that we haven’t the slightest idea how to construct. Neither field has a sane ‘first step’ to make their large claims true. ..... “quantum computing” enthusiasts expect you to overlook the fact that they haven’t a clue as to how to build and manipulate quantum coherent forms of matter necessary to achieve quantum computation. A quantum computer capable of truly factoring the number 21 is missing in action. In fact, the factoring of the number 15 into 3 and 5 is a bit of a parlour trick, as they design the experiment while knowing the answer, thus leaving out the gates required if we didn’t know how to factor 15. The actual number of gates needed to factor a n-bit number is 72 x n^3; so for 15, it’s 4 bits, 4608 gates; not happening any time soon. [1]: https://scottlocklin.wordpress.com/2019/01/15/quantum-computing-as-a-field-is-obvious-bullshit/
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2021Hacker News 讨论帖240 分 · 144 评
同领域还值得读
如何入侵一台已关机的电脑：在 Intel ME 中运行未签名代码
How to hack a turned-off computer, or running unsigned code in Intel ME
这篇 Black Hat 2017 白皮书讨论 Intel Management Engine（ME）的安全问题：如何在 ME 中运行未签名代码，以及攻破处于关机状态的电脑的相关…
安全与密码学2017 · 543 分 · 107 评专业 · 约 40 分钟编辑精选比特币：一种点对点的电子现金系统（2008）
Bitcoin: A Peer-to-Peer Electronic Cash System (2008)
中本聪 2008 年发表的比特币白皮书，提出了无需可信第三方的点对点电子现金系统。
安全与密码学2017 · 536 分 · 394 评入门 · 约 45 分钟编辑精选GPRS 加密算法 GEA-1 的密码分析表明存在故意弱点
Cryptanalysis of GPRS Encryption Algorithms GEA-1 suggest intentional weakness
首次公开了对 GPRS 加密算法 GEA-1 和 GEA-2 的密码分析攻击。
安全与密码学2021 · 487 分 · 107 评专业 · 约 90 分钟编辑精选Signal 消息协议的形式化安全分析
A Formal Security Analysis of the Signal Messaging Protocol
用形式化方法分析 Signal 消息协议（TextSecure）的安全性：作者在多阶段密钥交换模型下，借助自动化证明工具对协议的密钥协商与 Double Ratchet 密钥更新…
安全与密码学2016 · 353 分 · 230 评专业 · 约 120 分钟编辑精选A2：模拟恶意硬件
A2: Analog Malicious Hardware
论文研究如何在芯片设计阶段植入模拟电路形式的恶意硬件后门，使其难以被常规检测发现。
安全与密码学2016 · 315 分 · 94 评专业 · 约 75 分钟编辑精选