码路由：一种针对位置验证的新攻击

位置验证这一密码学任务试图利用量子信息的约束与相对论因果性来核验一方在时空中的位置。一种称为 $f$-路由的流行验证方案要求证明者依据布尔函数 $f$ 的值对量子系统进行重定向。$f$-路由方案的欺骗策略要求证明者使用预共享纠缠，而该方案的安全性依赖于关于证明者可操纵纠缠量的假设。本文给出一种新欺骗策略，其中量子系统被编码进秘密共享方案，并利用该秘密共享方案的授权结构来恰当地导引系统。该策略使用 $O(SP_p(f))$ 个 EPR 对完成 $f$-路由任务，其中 $SP_p(f)$ 为在域 $\mathbb{Z}_p$ 上计算 $f$ 的跨度程序的最小规模。这表明只要 $f$ 属于复杂度类 $\text{Mod}_p\text{L}$，在允许局部预处理后我们便能高效攻击 $f$-路由方案。早前最佳构造达到类 L，其被认为严格包含于 $\text{Mod}_p\text{L}$ 中。我们还证明具有指示函数 $f_I$ 的量子秘密共享方案的规模上界了在函数 $f_I$ 上 $f$-路由的纠缠代价。