在容错量子电路综合中，通过魔法态提供的 T 门主导了空间-时间成本，而 Clifford 门产生的开销可忽略不计。传统流程以 {XOR, AND, NOT} 基中的 AND 数量最小化作为 T 门的代理指标，这忽略了相位抵消，且可能远非 T 最优。本研究转而提出一个精确的 T 综合问题，并在 Clifford 等价下对布尔函数进行规范化处理。通过预计算最多七个变量的 T 最优实现，并开发定制化的映射器，该团队在 EPFL 基准测试上将 T 计数降低了高达 14.3%，并将多个密码学模块的 T 计数提升了最高 40%。
