QRAM 安全性

首个针对 QRAM 的安全评估表明:fanout 与桶队两种架构的执行时长增长率不同,足以被云端攻击者用来反推受害者的架构与算法;向总线或地址注入高能态则可使读取恒错并跨复位存活。

威胁模型:云端 QRAM 泄露什么、泄露给谁

参与方与可观测面

多租户量子云的格局:租户提交电路(可为抽象 QRAM 调用,由云端编译器完成路由与映射,如 SabreSwap),云平台在共享处理器上执行。Tan, Xu & Szefer 2024(ICCAD 2024)的威胁模型里有三样秘密:

1. 架构选择——受害者的 QRAM 访问按 fanout 还是桶队编译(见 fanout 架构 与 桶队架构);
2. 算法身份——受害者在外层跑的是 Grover、DJ、BV、QAOA、Simon 还是 Shor;
3. 数据内容——表里存了什么、地址寄存器指向哪里。

可观测面有两类。被动信道:执行时长(作业墙钟或分段计时),无需任何干预,只要云计费/调度系统暴露计时信息即成立。主动信道:向设备注入非常规输入态并观察受害者输出的统计,这要求对器件有物理层访问,更接近”恶意基础设施”或物理邻近攻击。攻击者可以是同宿租户(被动)或基础设施运营方(honest-but-curious,主动)——后者恰是 量子数据中心 愿景里被假设为”好奇但诚实”的中央角色。

保密博弈的形式化

把秘密写成随机变量 $S\in \{S_1,\dots ,S_K\}$(先验均匀),攻击者观测 $Z=f(S)+\xi$(被动)或直接操纵输入(主动),输出猜测 $\hat{g}(Z)$。成功概率与优势:

$$P_{\mathrm{s}}=\sum _{k=1}^K\mathrm{Pr}[\hat{g}(Z)=S_k|S=S_k]\cdot \frac{1}{K},\mathrm{Adv}=P_{\mathrm{s}}-\frac{1}{K}.$$

$K=2$(两架构)时随机基线是 $1/2$;$K=6$(六算法)时是 $1/6\approx 16.7\%$。QR046 的两条结论先行:时序信道对秘密 1、2 的 $\mathrm{Adv}$ 接近满值、对秘密 3 恒为零;注入信道摧毁秘密 3 的机密性与完整性。

推导一:执行时长的结构模型——增长率差从哪来

两架构各自的步数账

时序侧信道之所以存在,根源是两种架构的”每查询步数”由不同的结构量决定。fanout 把全部开关扳动一遍,开关总数为

$$s_{\mathrm{fan}}(n)=2^{n+1}-2(n={\log }_{2}N\text{为地址位数}),$$

桶队按串行接力口径执行 $\Theta (n^2)$ 个两体交互事件(第 $j$ 个比特穿过 $j-1$ 个已激活节点再被吸收),事件总数

$$E_{\mathrm{BB}}(n)=\sum _{j=1}^{n}j=\frac{n(n+1)}{2}$$

(两式的逐步推导见 fanout 架构 推导一与 桶队架构 推导二。)若每步耗时近似常数,访问时长应分别近似线性于 $s_{\mathrm{fan}}$ 与 $E_{\mathrm{BB}}$。QR046 在 IBM Brisbane 上实测的三点数据恰可检验这一点。

对 QR046 三点数据的线性拟合

实测访问时长(单位 dt):fanout 为 84,560 / 185,240 / 380,120,桶队为 84,560 / 289,680 / 596,280(1/2/3 地址位)。以下拟合为本词条推导,数据取自 Tan, Xu & Szefer 2024。

fanout:线性于开关数。 设 $T=a_f+b_f{s}_{\mathrm{fan}}$,代入前两点:

$$\begin{array}{rl}{a}_f+2b_f& =84560,\\ a_f+6b_f& =185240,\end{array}⟹b_f=25170\text{dt/开关},a_f=34220\text{dt}.$$

用第三点验算:$a_f+14b_f=386600$,对实测 380,120 的残差为 $-1.7\%$——三点几乎严格落在”开关数 × 单开关代价”的直线上,说明该编译下 fanout 时长由开关总数线性决定。

桶队:线性于交互事件数。 设 $T=a_b+b_b{E}_{\mathrm{BB}}$,逐对差分:

$$b_b^{(1\to 2)}=\frac{289680-84560}{2}=102560,b_b^{(2\to 3)}=\frac{596280-289680}{3}=102200,$$

两估计仅差 $0.35\%$,取 $b_b=102380$ dt/事件;截距 $a_b=84560-102380=-17820$ dt,负值说明首个”事件”打包了置态与测量等公共开销。事件口径的直线拟合残差不半个百分点。

两个单步代价的对照很有信息量:每开关 25,170 dt 对每事件 102,380 dt,桶队的单步贵约 4 倍——它的两体散射必须逐级串行,没有 fanout”整层同时扳动”的层内并行;但事件总数按 $n(n+1)/2$ 增长,开关总数按 $2^{n+1}$ 增长,增长律之差才是本质。

外推:交点在哪、为什么不能当真

用两条拟合直线外推(本词条外推,数据只到 $n=3$):

$n$	fanout 实测	桶队实测	fanout 拟合外推	桶队拟合外推
1	84,560	84,560	84,560	84,560
2	185,240	289,680	185,240	289,320
3	380,120	596,280	386,600	596,460
4	—	—	789,320	1,005,980
5	—	—	1,594,760	1,517,880

$4/3=2.08$ 倍对 $10/6=1.69$ 倍:外推的下一步增长率已反转,交点在 $n\approx 5$。这与理论账一致——渐近上 $\Theta (2^n)$ 的 fanout 必然反超 $\Theta (n^2)$ 的桶队,“桶队更慢”只是演示规模的假象。但此外推不可当真:实测只有三点;计时结构在大 $n$ 下未必维持;更根本的是,大规模下两种架构的输出都早已被错误累积摧毁(见 噪声韧性),时长的可比性先于可比时长失效。它只说明一件事:QR046 测到的增长率差在实测窗口内是真实、稳定、可拟合的,攻击者要的正是这个窗口。

推导二:区分架构与算法的假设检验账

架构区分:间隔、噪声与重复次数

把单次观测写成 $t_i={\mu }_H+{\xi }_i$,${\xi }_i$ 独立同分布 $\mathcal{N}(0,{\sigma }^2)$,$H\in \{\mathrm{fan},\mathrm{BB}\}$。等方差高斯下最优检验以中点为阈,单发错误概率与 $k$ 发(取样本均值)错误概率为

$$P_e(1)=\Phi (-\frac{\Delta }{2\sigma }),P_e(k)=\Phi (-\frac{\Delta \sqrt{k}}{2\sigma }),\Delta =|t_{\mathrm{BB}}-t_{\mathrm{fan}}|,$$

其中 $\Phi$ 是标准正态分布函数(似然比检验的直接推论;要 $P_e\le \epsilon$ 需 $k\ge (2\sigma z_{\epsilon }/\Delta {)}^2$,$z_{\epsilon }$ 满足 $\Phi (-z_{\epsilon })=\epsilon$)。QR046 未给出云端计时抖动的实测分布,以下 $\sigma$ 取值为本词条估算,目的在量出结论对噪声的敏感度。

$n$	间隔 $\Delta$ (dt)	$\Delta /\bar{t}$	$\sigma =1\%\bar{t}$:单发 $P_e$	$\sigma =30\%\bar{t}$:单发 / 10 发
1	0	0	50%(不可区分)	50%(不可区分)
2	104,440	0.44	$\approx 10^{-100}$ 量级	23% / 1.0%
3	216,160	0.44	$\approx 10^{-100}$ 量级	23% / 1.0%

三行读法。其一,$n=1$ 处两架构时长同为 84,560 dt——单地址位的电路太小,两条时长曲线从同一点出发,时序信道在此完全关闭。其二,只要 $\sigma$ 在均值的百分位,一发即几乎必然区分($z\approx 22$);其三,即便假设极端的 30% 抖动,十次重复也把错误压到 1%——间隔与均值之比 $\Delta /\bar{t}\approx 44\%$ 在实测窗口内几乎不随 $n$ 变化,重复次数的需求因此对规模不敏感,区分是稳健的。攻击成本是几次重复执行,这远低于任何”不经济”的阈值。

算法识别与参数泄露

总时长是两部分之和:$T_{\mathrm{tot}}=T_{\mathrm{alg}}+T_{\mathrm{QRAM}}(\mathrm{arch},n)$。六种算法的 $T_{\mathrm{alg}}$ 彼此相差数量级:DJ/BV 是单查询浅电路;Simon 需 $O(n)$ 次查询;Grover 需 $Q=\frac{\pi }{4}\sqrt{M}$ 次迭代;QAOA 随层数 $p$ 线性;Shor 的模幂深主导一切。QR046 把六种算法各自的算法段时长与 QRAM 段时长组成特征向量,构造混淆矩阵,结果显示算法身份可从时长稳定恢复 Tan, Xu & Szefer 2024——即上述博弈在 $K=6$ 下 $\mathrm{Adv}$ 接近 $\frac{5}{6}$。时序信道因此是两级的:先由 QRAM 段的增长率定架构,再由总时长画像定算法。

对密码分析场景,还有一层参数泄露(本词条建模)。设受害者在规模为 $M$ 的空间上跑 Grover,每次迭代含一次 QRAM 访问,则

$$T_{\mathrm{tot}}\approx T_0+Q\cdot ({\tau }_{\mathrm{iter}}+t_{\mathrm{access}})⟹\hat{Q}=\frac{T_{\mathrm{tot}}-T_0}{{\hat{\tau }}_{\mathrm{iter}}},\hat{M}=(\frac{4\hat{Q}}{\pi }{)}^2.$$

攻击者用自己在同一平台上的试跑标定 ${\hat{\tau }}_{\mathrm{iter}}$,解出 $Q$ 即反推 $M$——受害者的密钥长度/表规模参数。误差传播:$\delta M/M\approx 2\delta Q/Q\approx 2(\delta \tau /\tau +\delta T/T)$,取计时精度 1%、标定失配 10%,则 $M$ 的估计误差约两成。数量级意义上的密钥长度(搜 $2^{40}$ 还是 $2^{60}$)因此从墙钟上直接可读——这类”受害者画像”正是定向拒绝服务(下一节注入攻击)或调度惩罚的输入。

地址为何不泄露:数据无关控制流

QR046 同时观察到访问时长与地址值无关 Tan, Xu & Szefer 2024。这不是巧合,而是两种基线架构的结构性质,可以写成一条引理(本词条推导):

引理(时长的数据无关性)。 fanout 与桶队电路的指令序列只是程序文本(架构+算法)的函数,与地址取值 $x$、表内容 $D$ 无关,故墙钟 $T=f(\text{程序})$ 与 $(x,D)$ 独立。

证明只需逐架构核对控制流。fanout:复制网络的每颗 CNOT 不看地址取值,在每条计算分支中都执行(激活比为 1),含逆序 uncompute 的指令条数恒为 $2(2^{n+1}-2)$。桶队:每条分支恰发生 $n(n+1)/2$ 个交互事件、路径长恒为 $n$,地址只改变”哪条路径”而不改变”走多少步”。$■$

对照经典 RAM:cache 层级、行缓冲与分支预测使经典访存时强依赖地址——这正是经典侧信道(时序攻击、Spectre 谱系)的温床,也是经典密码工程”恒时编程”纪律的由来。QRAM 的两条基线架构反而天然恒时:路径独立性(叠加查询不泄露路径)既是干涉正确性的要求(见 查询语义 与 成本口径 推导三的下界形式),又免费兑现为时序安全性质——安全搭了正确性的便车。

推论(本词条推断):任何让”访问多少节点”变成数据函数的优化——提前终止、按需展开子树、自适应近似装载(参见 边界:NISQ 可训练近似 QRAM 的一族近似方案)——都会重新引入 $I(x;T)>0$,为安全 QRAM 划出一条设计红线:优化不能触碰控制流的数据无关性。

推导三:高能态注入的形式化

三能级分块:门为何对 $|2⟩$ 失明

超导 transmon 是弱非谐振子:计算子空间 $\mathcal{C}=\mathrm{span}\{|0⟩,|1⟩\}$ 之外还有泄漏能级 $|2⟩$。单比特门驱动频率对准 $0\leftrightarrow 1$ 跃迁,与 $1\leftrightarrow 2$ 跃迁失谐一个非谐量 $\alpha$;旋转波近似下,$|2⟩$ 与驱动的耦合被压到 $O((\Omega /\alpha {)}^2)$($\Omega$ 为 Rabi 频率,教科书级微扰论)。于是每个校准好的门在块分解下是

$$U_{\mathrm{gate}}=U_{\mathcal{C}}\oplus U_{\mathcal{L}},\mathcal{H}=\mathcal{C}\oplus \mathcal{L},U_{\mathcal{L}}\approx I:$$

门对计算子空间做设计好的幺正、对泄漏子空间近乎恒等。安全释义:门之所以干净,恰因为它对 $|2⟩$ 失明。 频谱选择性是双刃剑——同一个让门保真度高的性质,使设备对混入的高能态既不修正也不上报:注入由此起效,一个 $|2⟩$ 进了数据通路,所有校准门从此视而不见。

总线注入:恒 1 输出与互信息为零

理想查询把总线从 $|0⟩$ 搬到 $|D_{\mathrm{idx}(x)}⟩$。按 QR046,总线被注入 $|2⟩$ 后,门对 $|2⟩$ 失配、无法换入路由树 Tan, Xu & Szefer 2024——用块语言说,受控交换门在 $\mathcal{L}$ 块上是恒等,总线整趟停留在 $|2⟩$,存储的值从未被读出。标准读出判别器只区分 $|0⟩/|1⟩$,把 $|2⟩$ 的布居判为 1,于是无论表里存什么、地址指向哪,

$$\mathrm{Pr}[M=1]=1\forall D,\forall x⟹I(D;M)=H(M)-H(M|D)=0-0=0.$$

恒错的准确含义由此可算:不是随机翻转(随机错同样把互信息压到零,但输出统计会异常),而是确定性错误输出。其后果有二。完整性崩塌:计算结果恒错且无任何报错信号。攻击信标:恒 1 是注入成功的指纹——即使全零表(理想输出应为 0)也读出 1,受害者侧原则上可凭”输出与数据无关地恒为 1”识别攻击发生;攻击者侧则凭同一指纹确认注入生效。

地址注入:恒 0 输出与定位线索

把 $|2⟩$ 注入地址寄存器则走另一条路:fanout 地址加载用 CX 链把地址比特扇出到各层开关,而 CX 的控制端落在 $\mathcal{L}$ 块时不驱动任何目标(块恒等)——扇出失效,树不置位,总线永不出发,停留在初态 $|0⟩$。于是 $\mathrm{Pr}[M=0]=1$,同样 $I(D;M)=0$ Tan, Xu & Szefer 2024。

两个方向并排看有一个干净的对照(本词条从 QR046 的现象归纳):输出取值本身就是命中定位的线索——恒 1 指向总线命中,恒 0 指向地址命中。确定性错误的”错误值”携带了攻击的元信息,这在随机故障里不存在,是形式化注入模型给出的第一个诊断判据。

复位存活:代数与半衰期账

更麻烦的是存活性。标准主动复位是”测量 + 条件 $X$“:测量区分 $|0⟩/|1⟩$,条件 $X$ 把 $|1⟩$ 翻回 $|0⟩$;而 $X$ 只耦合 $0\leftrightarrow 1$,在 $\mathcal{L}$ 块上是恒等——复位和门一样对 $|2⟩$ 失明 Tan, Xu & Szefer 2024。布居的逐轮动力学:

$$p_2^{(m)}=p_2^{(0)}\exp (-m\frac{{\tau }_r}{T_2^{\mathrm{eff}}}),m_{1/2}=\ln 2\cdot \frac{T_2^{\mathrm{eff}}}{{\tau }_r},$$

${\tau }_r$ 为单轮复位时长,$T_2^{\mathrm{eff}}$ 为 $|2⟩$ 经自发弛豫($2\to 1\to 0$ 级联)的有效寿命。$|2⟩$ 布居只能靠物理衰减清空,清除的半衰期以复位轮数计。取比值 ${\tau }_r/T_2^{\mathrm{eff}}=2\%$ 作量级示意(本词条估算,非论文数据):$m_{1/2}\approx 35$ 轮,百轮后仍有约 13% 残留。这就是”跨复位存活”的定量内容:一次注入污染几十上百次后续 QRAM 访问,攻击从单发故障升级为持续拒绝服务。

SabreSwap 污染的几何

编译器还会放大伤害。QR046 观察到,路由重排(SabreSwap)把污染扩散到多个物理比特:理想输出 0000 的电路实测读出 1101——四个比特错三个 Tan, Xu & Szefer 2024。几何读法(本词条解读):路由插入的 SWAP 链让逻辑态在物理比特间迁移,泄漏激发随 SWAP 一起走,其物理位置在耦合图上做随机行走;经 $k$ 次路由交换后,直接被污染的物理比特落在初始位置的半径 $k$ 球内(heavy-hex 格点度数 $\le 3$,球内至多 $1+3k$ 个),叠加含污染比特的两比特门在块间转移布居(碰撞通道),实际污染面随路由深度继续增长。示例里”一个激发数轮路由后污染 4 比特块中的 3 个”与该图景一致。设计含义:防注入不能只盯 QRAM 电路本身,编译器的路由策略(隔离泄漏、约束 SWAP 图)是同一道防线的一半——端到端 QRAM 编译栈的存在使这类约束有落点 Xu et al. 2023。

推导四:防御的两本账

成对 $X$ 门恒时化:开销比与错误预算

QR046 的第一类对策对算法段做恒时化:用成对 $X$ 门填充,$X\cdot X=I$,消耗墙钟而不改变状态 Tan, Xu & Szefer 2024。把程序族 $\{C_v\}$ 的每个成员填到最慢者的时长,开销比

$${\eta }_v=\frac{T_{\max }-T_v}{T_v}{|}_{T_{\max }={\max }_u{T}_u}.$$

同样的算术可以用在 QRAM 访问段的架构统一上(本词条算例):以桶队为基准填充 fanout,$n=2$ 时补 104,440 dt($\eta =56.4\%$)、$n=3$ 时补 216,160 dt($\eta =56.9\%$)——两档开销比几乎相同,因为实测窗口内两架构时长之比稳定在 1.56 左右。注意恒时化的安全语义是”删信道”而非”藏信号”:填充后 $T$ 只依赖程序文本,信道 $Z=T(S)$ 对秘密的条件分布与秘密无关,于是 $I(S;T)=0$——确定性信道容量为零。密钥不是被藏住了,是信道本身不存在了。

代价记两笔。门数账:填充槽位 $\Delta G$ 按 union bound 直接加进不保真度 $1-F\approx \epsilon G$,每填一门多付一份 $\epsilon$(union bound 的预算读法见 评价指标)。时间账:更深的电路暴露更久,存储退相干项 ${\epsilon }_{\mathrm{store}}T$ 同步上浮。防御在安全账上收款、在噪声账上付款,两本账的汇率由 $\epsilon$ 决定。

CSR 门:两级布居清算对自然衰减

第二类对策针对注入:级联安全复位(cascaded safe reset,CSR)门——先对 $|1⟩\leftrightarrow |2⟩$ 跃迁施加 $\pi$ 脉冲,把 $|2⟩$ 布居搬回 $|1⟩$,再走标准复位 Tan, Xu & Szefer 2024。把复合操作写成布居账(本词条推导,基于 QR046 对 CSR 的描述;${\pi }_{12}$ 交换 $|1⟩/|2⟩$ 布居,reset 捕获 $|1⟩$):

$$(p_0,p_1,p_2)\stackrel{{\pi }_{12}}{\to }(p_0,p_2,p_1)\stackrel{\mathrm{reset}}{\to }(p_0+p_2,0,p_1)\stackrel{{\pi }_{12}}{\to }(p_0+p_2,p_1,0)\stackrel{\mathrm{reset}}{\to }(p_0+p_1+p_2,0,0).$$

两级级联在理想脉冲下一次性清零全部激发。账上有一个容易漏看的细节:一级之后旧 $|1⟩$ 布居坐进了 $|2⟩$——单级”打回再复位”不够,级联至少要两拍,这正是 “cascaded” 的代数内容。脉冲非理想时,每级以 $F_{\pi }{F}_r$ 的成功率清账,残差按 $(1-F_{\pi }{F}_r{)}^{\lfloor m/2\rfloor }$ 几何收缩。对照上节的自然衰减:同取 ${\tau }_r/T_2^{\mathrm{eff}}=2\%$,把残留压到 1% 需约 228 轮自然复位,CSR 两轮解决——清除时间压缩两个数量级。代价是每比特每周期多一个脉冲(开销 $O(1)$)与每脉冲一份保真度损失。QR046 在 Brisbane 上验证了 CSR 有效性:注入后输出恢复均匀分布 Tan, Xu & Szefer 2024。

防御组合的残余风险

两轴正交、须同时部署:恒时化关闭时序信道,对注入无能为力;CSR 清除高能态,对时长指纹无任何作用。组合防御付两份开销。且 QR046 如实列出边界 Tan, Xu & Szefer 2024:实验只做到 3 地址位;防御的开销与保真度代价仅初步验证;未覆盖 fanout 与桶队之外的架构;用户能否在真实云环境窃听他人执行时序”尚未演示”——生产云的调度抖动、排队与多租户串扰会让信道噪声远大于孤立实验,而这既可能淹没信号、也可能被攻击者用重复执行平均掉(推导二表明平均次数需求很低)。

数值算例

算例一:3 地址位演示的识别余量

取 $\Delta =596280-380120=216160$ dt($n=3$),$\bar{t}\approx 4.88\times 10^5$ dt:

• 温和抖动($\sigma =1\%\bar{t}\approx 4900$ dt):$z=\Delta /(2\sigma )\approx 22$,单发错误概率 $\Phi (-22)$ 在 $10^{-100}$ 量级——一发定架构;
• 恶劣抖动($\sigma =30\%\bar{t}\approx 1.46\times 10^5$ dt):单发 $P_e\approx 23\%$,重复 $k$ 次后 $P_e(k)=\Phi (-0.738\sqrt{k})$:$k=4$ 得 7.0%、$k=10$ 得 1.0%、$k=25$ 得 0.01%。十次重复是云端”多跑几遍再取均值”的日常操作。

结论不依赖 $\sigma$ 的具体取值:$\Delta /\bar{t}\approx 44\%$ 的相对间隔把所需重复次数钉在个位到十位。

算例二:Grover 工作负载的墙钟与参数泄露账

设受害者对 $M=2^{20}$ 的空间跑 Grover,迭代次数 $Q=\frac{\pi }{4}\sqrt{M}\approx 804$,每次迭代调用一次 QRAM 访问(取演示电路实测值:fanout 380,120 dt、桶队 596,280 dt)。换算墙钟需 dt 的物理值——它因设备而异,取 0.5 ns 作量级示意(本词条折算,非论文数据):单次访问 $\approx 0.19$ ms(fanout)/ $0.30$ ms(桶队),QRAM 段总墙钟 $\approx 0.15$ s / $0.24$ s。两个含义:

1. 侧信道可见性:仅 QRAM 段就把”受害者在跑迭代式搜索”写在十分之一秒的墙钟上,云计时粒度足以分辨;结合 $T_{\mathrm{tot}}\approx Q\cdot {\tau }_{\mathrm{iter}}+T_{\mathrm{QRAM}}$,攻击者反解 $Q\approx 800$、再由 $\hat{M}=(4\hat{Q}/\pi {)}^2$ 恢复 $2^{20}$——搜索空间规模泄露,误差由标定失配主导(两成量级,推导二)。
2. 尺度外推的清醒剂:把表放大到 $2^{40}$ 项($n=40$),按 fanout 拟合常数外推单次访问 $\approx 25170\times 2^{41}\approx 5.5\times 10^{16}$ dt $\approx 7.7$ 小时,Grover 全程 $8.2\times 10^5$ 次访问 $\approx 7\times 10^2$ 年(串行口径外推,未计并行化与器件不可实现性)。墙钟账复现了机会成本批判的结论——QRAM 加持的密码分析加速,其代价先付在器件账上(见 机会成本批判 与其中格密码筛选 $2^{49}$–$2^{78}$ bit、SHA-256 $2^{93}$ bit 的需求侧量化 Jaques & Rattew 2025)。

边界与讨论

对抗注入与随机噪声:两本互不覆盖的账

韧性定理(Hann et al. 2021;完整推导见 噪声韧性)允许每个组件每时间步经受任意 CPTP 噪声,但前提是噪声局域、非自适应、不与电路协调。注入攻击恰好逐条越界:损伤是定向的(攻击者选择打总线还是地址)、自适应的(可按观测调整)、且因跨复位存活而是时间相关的(前后访问的污染强关联)。因此 $4\epsilon T\log N$ 型韧性不构成对注入的免疫,反之 CSR 与恒时化也不改善随机噪声下的保真度。随机错误走局域化诊断与纠错的路(误差局域化),对抗注入走恒时化与安全复位的路——两套工具箱、两本账,QRAM 安全工程必须同时记账。且注入者会逆着局域化红利选靶:桶队的错误只毁指数少的分支,总线却是全部分支的必经之路。

与 qROM/QROM 的边界

“QROM”一词三义(辨析见 边界:qROM 电路与 QROM 模型),安全边界各不相同。QR046 的攻击对象是器件/电路版的 QRAM 访问:共享的持久设备带来路由树、总线、地址寄存器这些独有攻击面,以及跨租户存活的复位污染。电路式 qROM 把查表编译进算法自身:没有持久共享设备,总线注入与复位存活的表面大幅收缩,但电路总深度仍是算法指纹——时序信道的”算法识别”半边依旧,只是”架构识别”半边失去意义(架构退化为编译选择)。耐人寻味的对照:NISQ 上 qROM 优化的招牌手段恰是预译码与量子比特复位 Phalak 2022——同一个复位原语,在电路语境是压深度的工具,在器件语境是攻击存活性的载体;原语的安全含义依赖语境,复用复位优化深度的设计都应回到这条边界上自查。至于密码学的量子随机预言机模型(QROM),那是安全证明里的理想化函数,没有设备、没有路由树,侧信道概念整个不适用——与本题只共享一个名字。

经典谱系与开放问题

把 QR046 放回更大的谱系:恒时化是对经典密码工程既有纪律(恒时编程、抵御 cache 时序攻击)的直接移植;高能态注入与复位存活则是”故障注入/Rowhammer”式攻击在量子数据通路上的对应物——QR046 自身定位为把 CCS’23 一系的 reset 攻击扩展到 QRAM 数据通路 Tan, Xu & Szefer 2024。量子化没有让老攻击失效,只是换了能级当武器。

开放问题清单(前四条为 QR046 自列 Tan, Xu & Szefer 2024,末条为本词条补充):地址位规模跨过 3 位后两架构的时长分离如何演化(推导一的外推预期 fanout 反超,待实测);真实生产云中跨租户时序窃听是否物理可行;防御开销与保真度代价的完整核算;fanout 与桶队之外的架构(流水线化的 Fat-Tree 共享 QRAM、虚拟化 虚拟 QRAM 等)的攻击面;以及多租户调度层——查询交错本身是否构成新信道,系统栈研究尚未触碰 Xu et al. 2023Liu et al. 2023。

定位

该工作把高能态与 reset 攻击(CCS’23 一系)扩展到 QRAM 数据通路,攻击对象正是 fanout 架构 与 桶队架构 两类基准电路。它与 量子数据中心 的”可信云”愿景恰成正反面:QDC 假设中心 honest-but-curious Liu, Hann & Jiang 2023,而这里展示了 curiosity 能拿到什么。云 QRAM 的安全工程(恒时化、防注入)已列入领域的开放问题清单;本词条把两条攻击线还原为可按 $\epsilon$ 与 dt 报价的账:时长拟合、假设检验、注入的互信息与复位代数、防御的开销比。

延伸阅读

• 量子数据中心
• fanout 架构
• 桶队架构
• 机会成本批判
• 边界:qROM 电路与 QROM 模型
• 噪声韧性
• Fat-Tree 共享 QRAM