量子随机预言机模型中的在线可提取性

我们给出如下通用结果。每当量子随机预言机模型中的量子查询算法输出一个经典值 $t$，且承诺其与某个 $x$ 的 $H(x)$ 存在某种紧密关系时，则 $x$ 几乎可以确凿地被高效提取。该提取通过对随机预言机的适当模拟实现，并且是在线的，即直线式(无回绕)与即时式(在协议执行期间且不干扰协议)。我们结果的技术核心是一个新的对易子界，它界定了描述压缩预言机(用于上述模拟随机预言机)演化的酉算子与提取 $x$ 的测量之间的对易子算子范数。我们展示了通用在线可提取性结果的两个应用。我们给出了量子设定下承诺-开启 $\Sigma$-协议的紧在线可提取性，并提供了教科书式 Fujisaki-Okamoto 变换的首个非渐近后量子安全性证明，即无需为便于证明而做调整。