本文研究了通用盲量子计算（UBQC）中的砖砌图优化问题。UBQC通过使用计算无关的BFK09砖砌图并将计算编码在测量角度中来隐藏客户端的计算，这限制了图形变更优化的使用。作者提出了盲保持砖砌优化（BPBO）：在盲化层之下对BFK09兼容的砖砌模式进行经过认证的局部再综合。BPBO检测单线、双线和三线区域；对于每个候选区域，它要么证明一个语义下界，要么提供一个可执行的证据，并且在检查了其分支框架、输出框架和盲化行为之后才接受替换。优化后的输出保持标准砖砌模式，并使用逻辑量子比特回收的UBQC执行栈进行评估，该栈使用n×2个活动逻辑量子比特运行任意长度的模式。层证据包括：单线的H计数下界、双线的CNOT代价下界、三线的奇偶分类账下界、一个干净的三单元CCZ证据（其最优性声明限定在CNOT+T相位门族内），以及一个端点目标的三单元CCX/Toffoli应用证据；固定的中间目标CCX情况保留为四单元后备方案。安全性陈述是一个兼容性结果：BPBO在声明的优化维度上保持UBQC盲化，并在显式的测试轮条件下与继承的验证保证兼容，而不引入新的陷阱可靠性定理。在Bell/CX、Grover-2、端点Toffoli和Grover-3评估案例中，BPBO展示了经过认证的局部缩减；在最大的Grover-3案例中，具体的模式从3×725缩减到3×98，同时保持了预期的标记态统计量（在采样噪声范围内）。这项工作适用于量子安全、盲量子计算优化领域的研究人员。