量子科技中心_量科网

该研究团队提出了一种通用编译器，可将任意𝖬𝖨𝖯∗协议转换为简洁的交互式论证系统，该系统具有经典通信方式和经典验证者，其抗量子安全性基于“容错学习问题”(𝖫𝖶𝖤)的抗量子次指数级难度假设。在先前工作中，Kalai等学者(STOC 2022)曾提出过类似编译器，但其抗量子安全性仍待验证。 更广泛而言，该编译器适用于所有仅对“半恶意证明者”(即遵守协议流程但可能使用恶意初始态)保持安全性的𝖰𝖨𝖯协议。该编译器包含两个关键步骤：首先证明若语言ℒ存在时间复杂度为T的半恶意安全性𝖰𝖨𝖯协议，则ℒ∈𝖰𝖬𝖠𝖳𝖨𝖬𝖤(T)；随后基于𝖫𝖶𝖤的抗量子次指数级难度假设，为这类语言构建通信复杂度随T呈多对数增长的简洁经典论证系统。