Tracekit Box 用签名门控微虚拟机同时实现隔离与可验证记录。
资讯摘要
论文提出 Tracekit Box，一个 MIT 许可的开源系统（v0），让每个任务运行在无网卡的 Firecracker 微虚拟机中，唯一出口是宿主机上经 vsock 提供的门：命令、外连、密钥、模型调用和工作区补丁。每道门由智能体无法触及的签名器决定放行并签名，记录汇入每箱一次运行。作者报告 13 项端到端检查在真实 KVM 上通过，信任边界 15 个模糊测试目标发现 9 个问题且均已修复，演示运行的 102 条签名记录可验证。
要点速读
- 每个任务运行在无网卡的 Firecracker 微虚拟机中，出口仅为宿主机经 vsock 提供的命令、外连、密钥、模型调用和工作区补丁五类门。
- 宿主机解析域名，始终拒绝私有与云元数据地址；密钥不进入虚拟机，虚拟机只见占位符，由宿主机代理在绑定主机的单个请求头中替换。
- 作者报告 13 项端到端检查在真实 KVM 运行器上通过（含镜像拉取与启动耗时 28.5 秒），15 个模糊测试目标产生 9 个发现且全部修复，演示运行 102 条签名记录通过验证。
中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/10/31 08:00:18（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。