forkd安全模型详解KVM硬件隔离、威胁模型、多租户边界与历史漏洞公告复盘【免费下载链接】forkd高性能Agent沙箱预热虚拟机可以在约 100 毫秒内派生出 100 个独立实例运行过程中约 150 毫秒“分叉”出一个新的运行环境。底层使用 KVM 隔离并利用快照写时复制降低资源开销。项目地址: https://gitcode.com/deeplethe/forkdforkd 是一款高性能 Agent 沙箱预热虚拟机可在约 100 毫秒内派生 100 个独立实例运行中约 150 毫秒分叉出新的运行环境。那么它的forkd 安全模型是怎么设计的本文带你快速看懂它的 KVM 硬件隔离、威胁模型假设、多租户边界以及两次真实历史漏洞公告的完整复盘帮助你在部署前判断它是否适合你的场景。一、隔离的根基每个沙箱都是一台 KVM 微型虚拟机很多沙箱方案依赖容器命名空间而 forkd 选择了更重的隔离路径——每个子沙箱运行在一台独立的 KVM 微型虚拟机microVM中由 Firecracker 启动。这意味着硬件级隔离逃逸必须依赖 KVM 或 Firecracker 本身的漏洞官方文档明确将这条边界类比为AWS Lambda 所依赖的同一边界独立的网络命名空间netns与 cgroup子沙箱的网络接口、内存上限互不可见Firecracker 默认启用 seccomp进一步收缩了 VMM 进程可调用的系统攻击面forkd doctor会在一键体检中验证这些前提硬件虚拟化、/dev/kvm、cgroup v2、每子沙箱 netns 等全部通过才算部署就绪参考docs/SECURITY.md 的威胁模型章节、docs/COMPARISON.md 中与其他 KVM 方案的横向对比二、威胁模型官方明确的三条假设forkd 在 docs/SECURITY.md 中把假设写得非常直白这也是新手最容易忽略的部分#假设对你的含义1宿主内核与 Firecracker 属于信任边界TCB宿主机被攻破沙箱无从保护forkd 不防御恶意管理员2沙箱之间互不信任每个子 VM 独立 KVM 独立 netns cgroup隔离边界清晰3守护进程 REST 接口半受信任持有 token 等同于该主机上的 root 凭据换句话说沙箱之间的边界是硬件级的但沙箱与宿主机之间、以及 REST 接口是你自己需要守好的两道门。三、多租户边界默认姿态与加固清单官方给出的默认姿态和加固方式值得逐条对照默认只监听回环地址守护进程默认绑定127.0.0.1:8889局域网内不可达若要对外暴露必须搭配--tls-cert仅支持 TLS 1.2/1.3 现代密码套件与--token-fileBearer token 即 roottoken 文件缺失时守护进程不认证仅适合单租户开发机多租户部署务必配置每子沙箱 netns开启per_child_netns: true并运行 scripts/netns-setup.sh 后每个子沙箱的 guest agent 只能从自己的 netns 内访问审计日志所有请求落盘到/var/log/forkd/audit.logJSON 行格式配合 logrotate 轮转详见 docs/RUNBOOK.md并发上限同一 tag 的分支操作串行化全局最多 4 个并发 BRANCH超限返回 503防止磁盘被瞬时打爆Kubernetes 部署的爆炸半径警告packaging/k8s/forkd-controller.yaml 以privileged: truerunAsUser: 0运行——这是访问/dev/kvm、cgroup v2 与 tap 设备所必需的但也意味着被攻破的控制器 Pod 可以逃逸到所在节点。官方操作建议非常明确把 Pod 的 bearer token 当作节点上的 SSH root 对待人员变动即轮换固定调度到专用节点池不与不可信租户混排多租户场景下每个租户独立节点 独立守护进程不要共享占位 tokenREPLACE_ME_*会让守护进程直接拒绝启动避免忘了替换 Secret的静默事故四、历史漏洞公告复盘三次值得学习的安全修复forkd 的 docs/SECURITY.md 完整记录了过往公告按时间线复盘能看出一个诚实项目的安全演进轨迹。1.--tag路径穿越高危0.1.3 修复早期 CLI 把用户传入的--tag直接拼进路径而 Rust 的Path::join遇到绝对路径会静默丢弃基目录..段也未被拦截。结果sudo forkd snapshot --tag /etc/forkd-bad能把数百 MiB 的快照文件写到数据目录之外更危险的是供应链形态——恶意 pack 的manifest.toml里写tag ../../etc/x任何拉取它的宿主机都会被写入任意路径。修复方式是统一引入validate_tag()白名单只允许[A-Za-z0-9_][A-Za-z0-9._-]{0,63}在所有 CLI 入口和 manifest 解析处双重校验。2.snapshot_tag校验缺口中高危0.1.4 修复POST /v1/sandboxes把请求体里的snapshot_tag未经is_safe_tag校验就拼入快照根目录——其他三个姊妹接口都做了校验唯独这里是不对称的遗漏。认证攻击者可借此让孙代 VM 挂载任意宿主块设备。修复采用了防御纵深入口校验 read_snapshot_volumes内部二次拒绝对不安全 tag 的解引用即使未来新调用方忘记校验也拦得住。3. Bearer token 长度侧信道v0.5.0 修复issue #162最隐蔽的一个constant_time_eq号称恒定时间比较却通过两条路径泄露 token 长度——假工作循环里的wrapping_mul(0)会被编译器当死代码删掉导致响应时间随长度单调变化即便循环保留长度相等/不等的分支差异本身就是时序预言机。修复见 crates/forkd-controller/src/auth.rs改用subtle::ConstantTimeEq对输入做零填充使两条路径统一长度差异通过不短路的位与折叠进结果——固定长度 token 场景下长度预言机直接失效。五、诚实的另一面forkd 目前不做的事安全文章最该看的往往是什么没做。官方列出的清单包括无默认出站白名单子沙箱共享宿主 MASQUERADE 规则出网默认放行需自行在 netns 内加 iptables 规则配额只有内存cpu.max / io.max / pids.max 尚未接入单节点一个守护进程 一台主机无高可用第三方安全审计未启动官方明确这是获得production标签的前置条件 报告漏洞请邮件securitydeeplethe.com不要开公开 issue官方承诺 72 小时内确认、14 天内修复。结语forkd 的安全模型可以浓缩为一句话向下用 KVM 硬件隔离挡住沙箱间逃逸向上用回环绑定 token TLS 审计日志守住运维面并用三次真实漏洞公告证明它愿意把坑填平。对新手而言部署前对照本文的默认姿态表和 K8s 爆炸半径建议做一遍自查再决定把哪些负载放进这个约 100ms 就能派生 100 个实例的沙箱底座。更多细节可延伸阅读docs/SECURITY.md威胁模型与公告原文、docs/RUNBOOK.md生产运维手册、docs/API.mdREST 接口与安全参数。【免费下载链接】forkd高性能Agent沙箱预热虚拟机可以在约 100 毫秒内派生出 100 个独立实例运行过程中约 150 毫秒“分叉”出一个新的运行环境。底层使用 KVM 隔离并利用快照写时复制降低资源开销。项目地址: https://gitcode.com/deeplethe/forkd创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考 forkd安全模型详解：KVM硬件隔离、威胁模型、多租户边界与历史漏洞公告复盘
forkd安全模型详解KVM硬件隔离、威胁模型、多租户边界与历史漏洞公告复盘【免费下载链接】forkd高性能Agent沙箱预热虚拟机可以在约 100 毫秒内派生出 100 个独立实例运行过程中约 150 毫秒“分叉”出一个新的运行环境。底层使用 KVM 隔离并利用快照写时复制降低资源开销。项目地址: https://gitcode.com/deeplethe/forkdforkd 是一款高性能 Agent 沙箱预热虚拟机可在约 100 毫秒内派生 100 个独立实例运行中约 150 毫秒分叉出新的运行环境。那么它的forkd 安全模型是怎么设计的本文带你快速看懂它的 KVM 硬件隔离、威胁模型假设、多租户边界以及两次真实历史漏洞公告的完整复盘帮助你在部署前判断它是否适合你的场景。一、隔离的根基每个沙箱都是一台 KVM 微型虚拟机很多沙箱方案依赖容器命名空间而 forkd 选择了更重的隔离路径——每个子沙箱运行在一台独立的 KVM 微型虚拟机microVM中由 Firecracker 启动。这意味着硬件级隔离逃逸必须依赖 KVM 或 Firecracker 本身的漏洞官方文档明确将这条边界类比为AWS Lambda 所依赖的同一边界独立的网络命名空间netns与 cgroup子沙箱的网络接口、内存上限互不可见Firecracker 默认启用 seccomp进一步收缩了 VMM 进程可调用的系统攻击面forkd doctor会在一键体检中验证这些前提硬件虚拟化、/dev/kvm、cgroup v2、每子沙箱 netns 等全部通过才算部署就绪参考docs/SECURITY.md 的威胁模型章节、docs/COMPARISON.md 中与其他 KVM 方案的横向对比二、威胁模型官方明确的三条假设forkd 在 docs/SECURITY.md 中把假设写得非常直白这也是新手最容易忽略的部分#假设对你的含义1宿主内核与 Firecracker 属于信任边界TCB宿主机被攻破沙箱无从保护forkd 不防御恶意管理员2沙箱之间互不信任每个子 VM 独立 KVM 独立 netns cgroup隔离边界清晰3守护进程 REST 接口半受信任持有 token 等同于该主机上的 root 凭据换句话说沙箱之间的边界是硬件级的但沙箱与宿主机之间、以及 REST 接口是你自己需要守好的两道门。三、多租户边界默认姿态与加固清单官方给出的默认姿态和加固方式值得逐条对照默认只监听回环地址守护进程默认绑定127.0.0.1:8889局域网内不可达若要对外暴露必须搭配--tls-cert仅支持 TLS 1.2/1.3 现代密码套件与--token-fileBearer token 即 roottoken 文件缺失时守护进程不认证仅适合单租户开发机多租户部署务必配置每子沙箱 netns开启per_child_netns: true并运行 scripts/netns-setup.sh 后每个子沙箱的 guest agent 只能从自己的 netns 内访问审计日志所有请求落盘到/var/log/forkd/audit.logJSON 行格式配合 logrotate 轮转详见 docs/RUNBOOK.md并发上限同一 tag 的分支操作串行化全局最多 4 个并发 BRANCH超限返回 503防止磁盘被瞬时打爆Kubernetes 部署的爆炸半径警告packaging/k8s/forkd-controller.yaml 以privileged: truerunAsUser: 0运行——这是访问/dev/kvm、cgroup v2 与 tap 设备所必需的但也意味着被攻破的控制器 Pod 可以逃逸到所在节点。官方操作建议非常明确把 Pod 的 bearer token 当作节点上的 SSH root 对待人员变动即轮换固定调度到专用节点池不与不可信租户混排多租户场景下每个租户独立节点 独立守护进程不要共享占位 tokenREPLACE_ME_*会让守护进程直接拒绝启动避免忘了替换 Secret的静默事故四、历史漏洞公告复盘三次值得学习的安全修复forkd 的 docs/SECURITY.md 完整记录了过往公告按时间线复盘能看出一个诚实项目的安全演进轨迹。1.--tag路径穿越高危0.1.3 修复早期 CLI 把用户传入的--tag直接拼进路径而 Rust 的Path::join遇到绝对路径会静默丢弃基目录..段也未被拦截。结果sudo forkd snapshot --tag /etc/forkd-bad能把数百 MiB 的快照文件写到数据目录之外更危险的是供应链形态——恶意 pack 的manifest.toml里写tag ../../etc/x任何拉取它的宿主机都会被写入任意路径。修复方式是统一引入validate_tag()白名单只允许[A-Za-z0-9_][A-Za-z0-9._-]{0,63}在所有 CLI 入口和 manifest 解析处双重校验。2.snapshot_tag校验缺口中高危0.1.4 修复POST /v1/sandboxes把请求体里的snapshot_tag未经is_safe_tag校验就拼入快照根目录——其他三个姊妹接口都做了校验唯独这里是不对称的遗漏。认证攻击者可借此让孙代 VM 挂载任意宿主块设备。修复采用了防御纵深入口校验 read_snapshot_volumes内部二次拒绝对不安全 tag 的解引用即使未来新调用方忘记校验也拦得住。3. Bearer token 长度侧信道v0.5.0 修复issue #162最隐蔽的一个constant_time_eq号称恒定时间比较却通过两条路径泄露 token 长度——假工作循环里的wrapping_mul(0)会被编译器当死代码删掉导致响应时间随长度单调变化即便循环保留长度相等/不等的分支差异本身就是时序预言机。修复见 crates/forkd-controller/src/auth.rs改用subtle::ConstantTimeEq对输入做零填充使两条路径统一长度差异通过不短路的位与折叠进结果——固定长度 token 场景下长度预言机直接失效。五、诚实的另一面forkd 目前不做的事安全文章最该看的往往是什么没做。官方列出的清单包括无默认出站白名单子沙箱共享宿主 MASQUERADE 规则出网默认放行需自行在 netns 内加 iptables 规则配额只有内存cpu.max / io.max / pids.max 尚未接入单节点一个守护进程 一台主机无高可用第三方安全审计未启动官方明确这是获得production标签的前置条件 报告漏洞请邮件securitydeeplethe.com不要开公开 issue官方承诺 72 小时内确认、14 天内修复。结语forkd 的安全模型可以浓缩为一句话向下用 KVM 硬件隔离挡住沙箱间逃逸向上用回环绑定 token TLS 审计日志守住运维面并用三次真实漏洞公告证明它愿意把坑填平。对新手而言部署前对照本文的默认姿态表和 K8s 爆炸半径建议做一遍自查再决定把哪些负载放进这个约 100ms 就能派生 100 个实例的沙箱底座。更多细节可延伸阅读docs/SECURITY.md威胁模型与公告原文、docs/RUNBOOK.md生产运维手册、docs/API.mdREST 接口与安全参数。【免费下载链接】forkd高性能Agent沙箱预热虚拟机可以在约 100 毫秒内派生出 100 个独立实例运行过程中约 150 毫秒“分叉”出一个新的运行环境。底层使用 KVM 隔离并利用快照写时复制降低资源开销。项目地址: https://gitcode.com/deeplethe/forkd创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考