推文
@xing8047 · 2026-10-14 02:05
这个事估计有大厂会给钱！ 成熟方案是「前置审计 + 等价性检查 + 大规模仿真/ATPG测试 + 侧信道分析 + 供应链管控 + 信任根（RoT）」的组合拳。 它们已经在工业界大规模用了，但没有任何一套，能做到吟游诗人/全链态电路那种：任何人拿到实物芯片，自己独立、低成本、随时复现一套逐周期黄金参考做比对。这就是它的创新落点，不是说以前完全没有解法，而是以前的解法重、贵、门槛高。 下面拆开，按业内常规流程，大白话讲，适合Space： 1. 设计阶段：RTL ➜ 网表 ➜ GDS 的等价性检查（Equivalence Checking，EC） 这是最标准、最普及的一步。 输入： • “黄金参考”：原始RTL（Verilog）或者C模型 • 输出：综合之后的门级网表，再往后是GDS 工具会数学证明：综合之后，逻辑行为和原始RTL等价。 ✅ 能干啥：抓综合工具偷偷改逻辑、加额外门电路。 ❌ 不能干啥：证明不了晶圆厂光刻出来的硅，跟GDS一致。等价检查只在电子设计文件之间比对，管不到代工厂那一步。 也就是：能保证「图纸翻译没错」，保证不了「工厂有没有按图纸造」。 2. 仿真 + ATPG（自动测试向量生成），流片前+流片后量产测试 ATPG就是生成一大堆测试激励（输入向量），预期输出写死。流片回来，ATE测试机给芯片打激励，比对输出。 ✅ 能干啥：筛制造缺陷、短路、开路，是量产必过关卡。 ❌ 短板：测试向量是有限集合。你不可能穷举全部输入组合。一个“平时正常、只有收到秘密触发字才激活”的硬件木马，很容易避开ATPG的向量。 业内老话：测试能证明“有错”，很难证明“没有隐藏木马”。 3. 形式化验证 Formal Verification 不是跑仿真，是数学证明：在所有合法输入下，电路满足你写的安全属性（例如：不能偷偷泄露密钥，不能进入某个非法状态）。OpenTitan这类高安全芯片大量用这个。 ✅ 强在：对指定属性，是完备证明，不是抽样。 ❌ 短板：状态爆炸。只能对小模块/安全子系统做，不能直接对整个大LLM电路做全形式证明；而且你得提前写对所有要防范的属性。如果你没想到“这个隐藏触发方式”，自然就不会写对应的断言，木马依然能藏。 4. 硅后逆向与侧信道分析（SCA，功耗/电磁辐射探测） 拿到实物硅之后：测功耗曲线、测电磁辐射。隐藏逻辑一旦翻转，会多消耗一点点电流、多辐射一点信号，有可能被抓出来。 ✅ 能干啥：学术界和高安全项目用来找隐藏状态、侧信道泄露。 ❌ 短板：贵、慢、设备重，有门槛；而且很多隐蔽木马依然可以做得足够低功耗，埋在噪声里，很难抓到。不是“一键验真”，是实验室重资产审计。 5. 供应链管控、可追溯、见证审计（Trusted Foundry / Split Manufacturing） 高安全项目做法：可信代工厂、受控工艺、分割制造、多方见证、文档全链路追溯。 ✅ 适合军工、高密安全芯片。 ❌ 短板：靠信任人和机构。本质是流程和资质信任，不是一个任何人都能独立跑的数学/电路核验。如果代工厂本身被收买，这套就破了。开源爱好者、小团队基本用不起。 6. 信任根 RoT，例如 OpenTitan / Caliptra 在芯片里放一小块独立安全内核，带eFuse、安全启动、远程证明（attestation）。芯片上电之后，可以对外出示密码证明：“我是正版，固件没被篡改”。 ⚠️ 重点区分：RoT 证明的，一般是固件/软件有没有被替换，不是证明「整个数字逻辑电路，完全和公开GDS一模一样、没有额外硬件门」。 如果是 ASIC，尤其是这种没有固件、逻辑直接固化在掩模里的硬件LLM，传统安全启动这套，不完全对口。这一点很关键，很多人容易混。 7. 文件哈希上链（现在很多开源硬件已经在做） GDS、网表算个SHA，把哈希存链上。 ✅ 证明：你拿到的GDS，和当初发布的文件是同一份。 ❌ 还是证明不了：晶圆厂有没有按这个GDS光刻。文件 ≠ 硅片 这就是吟游诗人那篇文章特意划出来的鸿沟！ 普通哈希存证：存图纸摘要。 全链态电路：把可逐周期执行的门级参考本身部署上去，而不只是摘要。 ✅ 对比：成熟方案 VS “全链态电路”（适合在Space直接讲） 成熟工业方案 = 一套昂贵、专业、多步骤审计，适合大厂/高安全项目，不适合普通人自助核验。 • 你要有EDA授权、形式化团队、ATE机台、SCA实验室、供应链合同。 • 外部第三方独立审计，很贵，周期很长。 • 审计完，是一份审计报告，不是一个公开、永久、任何人随时可以调用的“黄金参考孪生”。 全链态电路（吟游诗人这条路），不是说它替代上面所有东西，它补的是一个之前很难低成本做到的缺口： 公开一份门级仿真孪生，和硅同源；任何人，不需要昂贵商用EDA，随时可以喂输入，逐拍比对输出。把“黑盒行为核验”做成公开可复现、永久存档的。
曝光 126 · 评论 0 · 点赞 0 · 书签 0