机密计算通过可信执行环境（TEE）保护运行中的应用，但持久存储仍然面临安全威胁。即便使用磁盘加密，恶意的云服务提供商仍可对磁盘状态实施回滚、重放、分叉或篡改攻击，破坏状态型应用所依赖的完整性和新鲜性保证。现有解决方案要么假定存储可信，要么引入高昂的性能开销，或将完整性逻辑强加于应用程序。为此，本文提出 ShieldFS——一个符合 POSIX 规范的文件系统，在机密计算威胁模型下为持久存储提供端到端的完整性和新鲜性保护，且无需修改应用程序。ShieldFS 使用简洁的密码学承诺来表征允许的文件系统状态，这些承诺在 TEE 内部维护，并复制到轻量级可信注册表中。磁盘上的数据结构（包括写前日志和存储池）通过哈希链和嵌入式 Merkle 树进行认证。ShieldFS 利用事务和写时复制机制原子地更新持久文件系统状态及其承诺。在读取时验证承诺，使得即使整个 I/O 栈不可信，也能检测到回滚、重放和分叉攻击。作者通过扩展 ZFS 实现了该设计，得到 ShieldZFS。使用标准文件系统基准和真实工作负载的评估表明，ShieldZFS 在提供强完整性和新鲜性保证的同时，性能与现有先进文件系统相当。该研究为机密计算环境下的存储安全提供了实用的系统级解决方案，适合系统安全研究人员、云服务提供商以及使用 TEE 的开发人员阅读。