主要观点:作者的目标是给普通人提供信任硬件的切实理由,Betrusted 项目旨在为安全关键应用提供全栈可验证供应链,目前 Precursor 已实现部分功能但价格昂贵,作者引入 IRIS 技术以实现从 FPGA 到 ASIC 的转变,IRIS 是一种非破坏性的硅片红外检测技术,可用于芯片级别的验证,能与扫描链技术结合实现混合验证,填补供应链验证的 gap,IRIS 机器已构建并开源,旨在促进芯片验证的民主化。
关键信息:
- Precursor 是基于 FPGA 的开源硬件实现,运行 Xous 操作系统,可用于管理密码等。
- FPGA 昂贵导致 Precursor 价格高,专用安全芯片可降低成本但无法信任。
- IRIS 技术可在几分钟内以微米级分辨率对整芯片成像,最初技术不成熟,现在已完善。
- 硬件验证在供应链各层级存在不同程度的问题,如消费者依赖声誉机制,包装密封易被复制等。
- IRIS 可通过红外光检测芯片结构,确定芯片的基本组成,但无法进行晶体管级成像,需与扫描链技术结合。
- 扫描链可检测制造缺陷,但易被恶意修改,且测试向量通常保密。
- IRIS 机器由 IR 相机、显微镜、纳米级聚焦机制和光源等组成,开源可复制。
- 作者的研究重点是 130nm、180nm 和 22nm 节点的样本,未来将开源分析软件。
- NLnet 的 NGI0 Entrust 基金和 Github 赞助商支持该项目。
重要细节: - 文中展示了 MPW7 在 SKY130A 上运行的 IRIS 成像示例及相关链接。
- 解释了 IRIS 与扫描链技术在不同规模上的互补作用。
- 提及 130nm 和 22nm 芯片的成像对比及背面处理对成像清晰度的影响。
- 介绍了 IRIS 机器的组成部分及 Jubilee 运动平台的特点。
- 说明项目将分系列博客文章介绍相关内容,目前可浏览部分源代码。
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用
。你还可以使用@
来通知其他用户。