量子科技中心_量科网

通用盲量子计算 (UBQC) 通过使用计算无关的 BFK09 砖块图并将计算编码到测量角度中，来隐藏客户端的计算内容，这限制了图变更优化的应用。该工作研究了保持盲性的砖块优化 (BPBO): 在盲化层之下对 BFK09 兼容砖块模式进行认证的局部重综合。BPBO 检测单线、双线和三线区域; 对于每个候选区域，它要么证明一个语义下界，要么提供一个可执行证据，并且仅在该区域的支路框架、输出框架和盲性行为经过检查后才接受替换。优化后的输出仍然是标准砖块模式，并通过一个使用 n x 2 个活跃逻辑量子比特来运行任意长度模式的逻辑量子比特复用 UBQC 执行栈进行评估。层证据包括: 单线的 H 计数下界、双线的 CNOT 成本下界、三线的奇偶性账本下界、一个在三线情况下声称在 CNOT+T 相位门族中达到最优的干净三单元 CCZ 证据，以及一个端点目标的三单元 CCX/托弗里应用证据; 固定的中间目标 CCX 情况则作为四单元备选方案保留。安全性声明是一个兼容性结果: BPBO 在声明的优化维度下保持了 UBQC 盲性，并在明确的测试轮条件下与继承的验证保证保持兼容，而无需引入新的陷阱可靠性定理。在 Bell/CX、Grover-2、端点-托弗里和 Grover-3 评估案例中，BPBO 展示了认证的局部缩减; 在最大案例 Grover-3 中，实例化模式从 3 x 725 缩减至 3 x 98，同时保留了预期标记态统计量 (受采样噪声影响)。