MICA 通过固件扩展实现跨不可信组件的可验证保密工作流

MICA 是一项针对可信执行环境（TEE）的机密计算固件扩展，旨在解决现有 TEE 无法约束或证明 TEE 之间及与未受信任主机间共享通道的问题。该方案允许租户定义、限制并证明通道约束，包括跨越整个管道的传递性约束，从而在不依赖 TEE 内部代码功能正确性的前提下保障机密性。

在实现细节上，MICA 基于 Arm CCA 架构，通过扩展 Realm Management Monitor 引入小型策略语言完成，无需硬件改动，仅需对 QEMU 和 KVM 进行微小修改。评估数据显示，其增加了 7% 的信任计算基础（TCB），启动开销为 2-4%，策略上传耗时约 1.5 秒，组证明耗时 246-598 毫秒；建立连接后，Realm 通信采用直接保护内存传输，无需软件加密，相比未受信任内存上的加密通信，跨 TEE 消息延迟降低高达 14.5 倍。

这一成果表明，对于生成代码的 Agent 应用或涉及互不信任组件的云管道，系统安全性不再受制于单一组件的代码漏洞。事实层面，MICA 已在 Arm CCA 上验证了低延迟和高隔离性；推断层面，它可能成为未来复杂 AI 工作流的标准安全层；猜测层面，其性能优势是否足以推动主流云厂商采纳仍需观察，但机制本身已解决了当前 TEE 在动态场景下的核心信任瓶颈。