单一量子程序混淆
程序混淆旨在隐藏程序的内部运行机制,同时保持其功能。在量子领域,近期研究已在经典预言机模型下针对特定类别的量子电路实现了混淆方案。例如,Bartusek、Brakerski和Vaikuntanathan(STOC 2024)构建了量子态混淆方案,支持对伪确定性量子程序(具有经典输入输出)的量子态表示进行混淆。该工作通过构建首个支持量子输入输出的酉(或近似酉)量子程序混淆方案,在经典预言机模型中改进了现有成果。该混淆方案的核心包含两大创新要素:1)功能型量子认证方案——允许密钥持有者以基于模拟的安全性学习认证量子态的特定函数;2)量子电路编译器——将任意量子电路表示为由非自适应克利福德门与自适应兼容测量交织而成的射影线性加测量量子程序。
