💻 computer science

Security Analysis of Universal Circuits as a Mechanism for Hardware Obfuscation

该论文评估了通用电路作为硬件 IP 混淆机制的安全性，结果表明其能有效抵御基于预言机的攻击并最小化结构泄露，从而证实了其在保护知识产权方面的可行性。

原作者： Zain Ul Abideen, Deepali Garg, Lawrence Pileggi, Samuel Pagliarini

发布于 2026-04-07

📖 1 分钟阅读☕ 轻松阅读

原作者： Zain Ul Abideen, Deepali Garg, Lawrence Pileggi, Samuel Pagliarini

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇论文主要探讨了一种名为**“通用电路”（Universal Circuits, UCs）**的黑客防御技术，用来保护芯片设计中的知识产权（IP）。

为了让你轻松理解，我们可以把芯片设计想象成**“做一道复杂的私房菜”，而芯片制造商就是“餐厅”**。

1. 背景：为什么需要保护？

现在的芯片制造就像全球供应链：你（设计师）把菜谱（芯片设计图）发给工厂（代工厂）去生产。

风险：工厂可能会偷看你的菜谱，甚至把菜谱卖给竞争对手（这就是“逆向工程”）。
传统做法：以前大家用“逻辑锁”（Logic Locking），就像在菜谱里加了一些只有你有钥匙才能解开的**“隐形调料”**。但黑客（攻击者）发现，只要尝几次菜，就能猜出调料是什么，锁就被解开了。

2. 新方案：通用电路（UC）是什么？

这篇论文提出的新方法叫**“通用电路”**。

比喻：
想象你不再给工厂一张具体的“红烧肉”菜谱。相反，你给了工厂一个**“万能魔法厨房”**。
- 这个厨房里有无数种锅、铲子和管道，但它们都是空的、未连接的。
- 你只给工厂一张**“操作说明书”（密钥 p）**，告诉它：“把第 3 号管道连到第 5 号锅，把第 2 号开关拨到左边”。
- 一旦工厂按照说明书操作，这个“万能厨房”就会瞬间变成“红烧肉厨房”。
- 关键点：如果你不给说明书，工厂看到的只是一堆乱糟糟的、毫无意义的管道和开关。他们完全看不出这到底是做红烧肉的，还是做宫保鸡丁的，甚至看不出里面有没有锅。

3. 这篇论文做了什么？（安全测试）

作者们想知道：这种“万能厨房”真的安全吗？黑客能破解吗？他们进行了两类测试：

A. 有“试吃员”的测试（Oracle-Guided Attacks）

场景：黑客手里有一个“试吃员”（Oracle），可以输入食材，尝出味道，然后猜出菜谱。
结果：
- 对于传统的锁，黑客尝几次就能猜对。
- 对于“万能厨房”，黑客尝了无数次，发现猜对的概率只有 50%（就像抛硬币，猜对猜错各一半）。
- 结论：黑客即使能尝味道，也完全无法从味道反推出厨房的管道是怎么连的。这就像你尝不出红烧肉里到底用了哪根特定的水管。

B. 没有“试吃员”的测试（Oracle-Less Attacks）

场景：黑客连试吃员都没有，只能对着那个乱糟糟的“万能厨房”外观（电路图）进行观察，试图找出规律。
结果：
- 黑客发现，无论怎么看，这个厨房的结构都没有任何泄露。
- 就像你看着一堆乱接的电线，完全看不出它原本是用来做什么的。
- 结论：这种“结构上的混淆”非常完美，黑客根本找不到下手的地方。

4. 代价是什么？

虽然这种保护非常强，但也不是没有代价。

比喻：为了把“红烧肉厨房”伪装成“万能魔法厨房”，你需要把厨房建得巨大无比。原本只需要 10 平米的厨房，现在可能需要 100 平米来塞进那些多余的管道和开关。
现实影响：芯片的面积会变大，成本会增加，速度可能会稍微变慢（论文中提到的 PPA 成本增加）。

5. 总结

这篇论文的核心结论是：
“通用电路”是目前保护芯片设计最坚固的盾牌之一。

它让芯片设计变得像**“黑盒”**一样，既看不出结构，也猜不出功能。
面对目前世界上最先进的黑客攻击手段，它的防御成功率接近**“随机猜测”**（50%），这意味着黑客几乎不可能破解。
虽然它会让芯片变得“胖”一点（成本增加），但在保护核心机密方面，它是目前最可靠的选择。

一句话概括：这就好比你把珍贵的菜谱藏在一个巨大的、看起来像乱麻一样的迷宫里，只有拿着特定钥匙的人才能瞬间把迷宫变成厨房，而其他人就算把迷宫拆了也找不到菜谱的影子。

这是一份关于论文《Security Analysis of Universal Circuits as a Mechanism for Hardware Obfuscation》（通用电路作为硬件混淆机制的安全性分析）的详细技术总结。

1. 研究背景与问题 (Problem)

随着集成电路（IC）制造技术的进步，全球化和分布式的供应链带来了严重的安全威胁，特别是针对知识产权（IP）的反向工程。

现有挑战：传统的硬件混淆技术（如逻辑锁定 Logic Locking, LL 和基于可重构的混淆 REBO）通常依赖非正式的安全假设，在面对特定的对抗模型（如基于预言机的攻击）时容易失效，导致“攻击 - 防御”的循环。
核心问题：虽然**通用电路（Universal Circuits, UCs）**作为一种新兴的混淆技术被提出，声称能隐藏电路的拓扑结构和功能，但目前缺乏针对其安全性的详细实证分析。学术界尚不清楚 UC 是否能有效抵御最先进的基于预言机（Oracle-Guided, OG）和无预言机（Oracle-Less, OL）的攻击。

2. 方法论 (Methodology)

本文首次对基于通用电路的混淆（UCBO）进行了全面的安全性评估。

UCBO 机制：
- 利用通用电路（UC）的灵活性，将原始电路 $C$ 嵌入到一个可编程的 UC 结构中。
- 通过边通用图（Edge-Universal Graph, EUG）作为结构骨干，结合查找表（LUT）和可编程开关盒，使 UC 能够模拟任意布尔函数。
- 密钥（Key）：配置位流 $p$ 作为密钥，决定了 UC 中门电路和互连的具体行为。没有 $p$ ，攻击者无法区分 UC 执行的是哪个具体电路。
实现流程：
- 提出了一种从 Verilog 到 ASIC 的自动映射流程（如图 1 所示）。
- 利用合成工具（如 Yosys）将电路转换为仅包含 LUT 的形式，预处理扇出，然后映射到 EUG 结构上。
- 使用 VPR 生成编程位，最后通过商业标准单元库进行逻辑综合和物理综合。
评估基准：
- 使用 ISCAS'89 基准套件和一个大型合成设计（CMP，包含多个 ISCAS 实例，超过 20 万个门）。
- 将时序电路转换为无环组合电路（Unrolled）以适配现有的攻击工具。
攻击模型：
- 基于预言机（OG）攻击：包括 SAT、AppSAT、ATPG 引导的 SAT、SMT 引导攻击、双重差分输入模式（D-DIP）和循环 SAT（Icy）。
- 无预言机（OL）攻击：包括基于重综合的 SCOPE 攻击和盲黑盒优化（BBO）。
评估指标：
- 提出了四个量化指标：归一化子句 - 变量比（CTVR）、子句增长因子（CGF）、密钥 - 复杂度比（KCR）和归一化差分冗余比（ $\Delta$ RR），用于分析 SAT 求解器的饱和度和结构泄露情况。

3. 主要贡献 (Key Contributions)

首次系统性安全分析：这是第一篇针对 UCBO 进行详细安全分析的研究，填补了该领域缺乏实证数据的空白。
提出新的评估指标：定义了 CTVR、CGF、KCR 和 $\Delta$ RR 等指标，用于量化混淆带来的结构膨胀和求解难度。
全面的攻击测试：在大规模基准测试上执行了多种最先进的 OG 和 OL 攻击，验证了 UCBO 的鲁棒性。
ASIC 实现流程：展示了如何将理论上的 UC 结构实际映射到 ASIC 工艺中，并分析了其面积和性能开销（PPA）。

4. 实验结果 (Results)

基于预言机（OG）攻击的表现：
- 成功率极低：除了最小的电路 s27 被攻破外，所有其他电路（包括大型 CMP 设计）在 48 小时的超时限制下均未被成功破解。
- 随机猜测水平：对于 Icy（循环 SAT）和 BBO（盲黑盒）攻击，恢复正确密钥位的比例约为 50%。这意味着攻击者只能做到随机猜测，无法获得比随机更优的优势。
- 指标分析：归一化 CTVR 普遍高于 0.8，表明 CNF 公式约束密集，极大地增加了 SAT 求解器的搜索难度。CGF 显示混淆带来了显著的结构膨胀，增加了攻击的计算复杂度。
无预言机（OL）攻击的表现：
- 结构泄露极小：SCOPE 攻击的 COPE 分数（衡量结构泄露的指标）在电路规模增大后迅速下降并趋近于零（<0.1%）。
- 结论：UCBO 在物理实现上几乎不泄露原始电路的结构信息，攻击者无法通过结构分析推断出功能。
开销分析：
- 虽然 UCBO 提供了极高的安全性，但代价是显著的面积和性能开销（PPA）。例如，CMP 设计的面积从约 4186 $\mu m^2$ 增加到 927558 $\mu m^2$ （约 220 倍），组合单元数量增加了约 43 倍。

5. 意义与结论 (Significance & Conclusion)

理论到实践的验证：本文证实了 UCBO 不仅在理论上具有安全性（基于计算不可区分性），在实际物理实现中也能有效抵御已知的高级攻击。
安全与成本的权衡：UCBO 提供了目前最强的硬件 IP 保护能力，能够抵抗 SAT 攻击及其变体，以及结构分析攻击。然而，这种安全性是以巨大的面积和功耗开销为代价的。
未来方向：尽管开销巨大，UCBO 为高安全需求的场景（如全球供应链中的关键 IP 保护）提供了一种可行的解决方案。研究指出，UCBO 实现了真正的结构不可区分性，优于传统的门级、LUT 级或 eFPGA 级混淆技术。

总结：该论文通过严谨的实证分析证明，基于通用电路的混淆（UCBO）是一种极具潜力的硬件 IP 保护机制。尽管其实现成本高昂，但它能有效将攻击者的成功率降低至随机猜测水平（50%），并最小化结构泄露，为应对全球化供应链中的反向工程威胁提供了强有力的防御手段。