标题： 单元量子程序的混淆 显示英文标题

标题： Obfuscation of Unitary Quantum Programs

摘要： 程序混淆旨在隐藏程序的内部运作，同时保留其功能。 在量子设置中，最近的研究已经获得了针对特定类别的量子电路的混淆方案。 例如，Bartusek、Brakerski 和 Vaikuntanathan（STOC 2024）构建了一个量子状态混淆方案，该方案支持在经典预言模型中对具有经典输入和输出的伪确定性量子程序的量子程序进行混淆，这些量子程序以量子状态表示。 在本工作中，我们通过构建第一个量子状态混淆方案来改进现有结果，该方案支持在经典预言模型中具有量子输入和输出的单位（或近似单位）量子程序。 我们混淆方案的核心是两个新的要素：一种功能性量子认证方案，允许密钥持有者以基于模拟的安全性学习经过认证的量子状态的特定函数，以及一个编译器，该编译器将任意量子电路表示为由一系列非自适应的 Clifford 门交错适应性和兼容性测量组成的投影线性加测量量子程序。 显示英文摘要

摘要： Program obfuscation aims to hide the inner workings of a program while preserving its functionality. In the quantum setting, recent works have obtained obfuscation schemes for specialized classes of quantum circuits. For instance, Bartusek, Brakerski, and Vaikuntanathan (STOC 2024) constructed a quantum state obfuscation scheme, which supports the obfuscation of quantum programs represented as quantum states for pseudo-deterministic quantum programs with classical inputs and outputs in the classical oracle model. In this work, we improve upon existing results by constructing the first quantum state obfuscation scheme for unitary (or approximately unitary) quantum programs supporting quantum inputs and outputs in the classical oracle model. At the core of our obfuscation scheme are two novel ingredients: a functional quantum authentication scheme that allows key holders to learn specific functions of the authenticated quantum state with simulation-based security, and a compiler that represents an arbitrary quantum circuit as a projective linear-plus-measurement quantum program described by a sequence of non-adaptive Clifford gates interleaved with adaptive and compatible measurements.