机构名称：
¥ 3.0
我们展示了一种将任何 k 个证明者非局部博弈编译成单证明者交互式博弈的通用方法，同时保持相同的（量子）完整性和（经典）健全性保证（安全参数中的加性因子最多可忽略不计）。我们的编译器使用任何满足辅助（量子）输入自然正确性的量子同态加密方案（Mahadev，FOCS 2018；Brakerski，CRYPTO 2018）。同态加密方案用作模拟空间分离效果的加密机制，并且需要对加密查询评估 k - 1 个证明者策略（选出 k 个）。结合从著名的 CHSH 博弈（Clauser、Horne、Shimonyi 和 Holt，Physical Review Letters 1969）开始的（纠缠）多证明者非局部博弈的丰富文献，我们的编译器为构建机制来经典地验证量子优势提供了一个广泛的框架。
任何非局部游戏的量子优势
主要关键词
相关文件推荐
