10月28日消息，机密计算厂商 Tinfoil 公布全新固件技术方案，放弃传统 OVMF 虚拟机固件，用仅约300 行无依赖开源汇编代码完成安全飞地引导，将原先超 100 万行 C 语言的庞大代码量大幅压缩，提出 “少即是多” 的安全设计新思路，为 TDX、SEV‑SNP 硬件加密的机密虚拟机缩减攻击面tinfoil.sh。

在 Tinfoil 的威胁模型中，主机本身属于不可信主体，攻击者一旦攻陷主机，可以利用固件漏洞侵入客户安全飞地。传统方案使用 OVMF（EDK‑II）作为虚拟机固件，该项目为了兼容各类设备，规范文档接近 3000 页，代码量超百万行，内置网络栈、磁盘驱动、变量存储等大量组件，历史上多次爆出高危漏洞。而 Tinfoil 业务场景实际仅用到极少部分功能，庞大代码带来巨大安全风险。

新方案核心思路是把大量运行时工作前移至编译构建阶段，采用 IGVM（Independent Guest Virtual Machine）镜像格式。内核、initramfs、命令行、页表、ACPI 表格全部预先生成，打包进镜像，在虚拟机启动瞬间就由硬件完成完整度量，生成硬件可信摘要。

固件不再承担加载、度量操作系统组件的任务，固件仅保留两项检查：校验主机传入的内存布局、校验 CPU 数量，完成基础环境初始化之后直接跳转执行 Linux 内核，固件执行完毕就不再参与后续运行，彻底消除固件运行时攻击面。

研究团队评估对比了 Google Project Oak Stage0 极简固件。Stage0 依旧会在启动后加载内核、解析主机传入配置，依旧保留来自不可信主机的运行时输入处理逻辑。而 Tinfoil 方案将表结构、内存布局全部在构建期固化到镜像中；构建工具属于审计可信基，而非运行时可信基。

即便构建工具存在 Bug，会生成固定可复现的镜像，可离线审计；而运行时代码漏洞会被攻击者利用任意恶意输入触发。该设计代价是固件仅支持预先定义好的硬件内存布局，不适用于通用异构主机，但适配 Tinfoil 高度标准化的服务器集群。

OpenAI 曾披露，其基础设施红队消耗接近 4000 亿 Token，折合成本高达数百万美元，这类方案只有财力雄厚的大企业才能负担。攻击者只需要找到一处漏洞即可突破，防御方却需要修复全部漏洞，陷入无休止补丁循环。

Tinfoil 认为，更务实路径是做系统精简，缩减必须信任的代码体量，让小体量代码更容易做模糊测试与形式化验证，“流行不等于安全，小型定制代码库安全性可以远高于广泛使用的大型开源项目”。

目前这套极简固件以及 IGVM 镜像构建工具已经开源。Tinfoil 表示，会将这套 “把逻辑从不可信运行时迁移到可复现构建阶段” 的降复杂度思路，推广到基础设施栈其他模块，推动机密计算安全体系演进。