arXiv:2504.21235v1 安全类型：跨领域 摘要：我们提出了一种基于格的方案，用于量子程序和证明的同态评估，并且能够抵御量子对手的攻击。经典同态加密通过用模块学习误差（MLWE）格替换复合阶群，并将多项式函子推广为有界自然超函子（BNSFs）来提升到量子设置。一个秘密去极化BNSF掩码隐藏振幅，而每个量子态则存储为一对MLWE密码文。我们通过允许一致访问加密预言机的形式化安全，使用qIND-CPA游戏，并给出一个四组混合化约，将其归结为决策性MLWE。 该设计方案还涵盖了通常被忽略的实用问题。一种类型化的QC-桥可以保持由测量生成的经典位被加密但仍可作为控制使用，并且对于期望值运算负载具有弱测量语义。加密的保罗二旋增加了电路隐私。如果需要固定知识库，其公理可以作为MLWE "胶囊" 发送；评估者可以使用它们但无法读取它们。一种ρ- calculus驱动器在多个QPUs之间调度加密任务，并在RChain风格的账本上记录可审计的跟踪记录。 性能分析表明，额外的格算术可以适应当今的QPUs空闲窗口：一个100量子位、深度为10^3的基于传态的证明在大约10毫秒内运行，公钥（仅为种子）大小为32字节，即使是最为安全级别的密钥大小也低于300 kB。一种利用当前硬件执行同态传态和相对于知识库的振幅检查的光子Dirac-3原型是可行的。这些结果表明，全面同态、具备知识库意识的量子推理与近期内量子云和标准后量子安全假设兼容。