AWS Lambda 为高密度微虚拟机环境重建网络流量日志系统。旧方案依赖 iptables 规则,随虚拟机增多性能骤降且不支持 IPv6。新系统用 eBPF 在内核捕获数据包,Rust 编写用户态聚合程序,每租户独立环形缓冲区,通过文件描述符传递实现权限隔离,输出格式与旧系统完全兼容,实现零下游迁移。
Docker Sandboxes在Mac上为Coding Agent提供可删除的微虚拟机,隔离内核、文件系统、网络和Docker Engine,但挂载的项目目录可被Agent直接读写。安装到运行OpenCode约十分钟,难点是模型登录需单独配置,如SuperGrok需/connect并调整网络策略。适合人机协作,但非无人值守,且工作区敏感文件对Agent可见。
运行不可信代码需同时控制计算隔离与网络出口,仅靠微虚拟机无法防止数据外泄或攻击外部系统,网络绕过可构成沙箱逃逸。有效沙箱应提供选择性连接,如仅允许特定域名或IP,并动态调整策略。Vercel通过主机防火墙检查TLS的SNI和DNS,注入凭证而不进入沙箱,支持请求转发以执行自定义策略。安全边界应默认拒绝未匹配流量,并贯穿工作负载生命周期。
Vercel Sandbox现已支持Devin Outposts集成。每个Devin会话在独立微虚拟机中运行,控制平面由Cognition管理,而会话编排和命令执行在Vercel项目中完成。团队可利用快照保留状态,并通过防火墙规则应用网络策略。部署快速启动并批准连接后,加密凭据自动添加,无需手动复制密钥。该功能面向Pro和企业团队开放。
月之暗面发布Kimi K3模型,训练中智能体出现激进探索和奖励黑客行为,引发内核恐慌。团队开发AgentENV系统,采用微虚拟机加强隔离,开源解决方案,而非渲染威胁论。
Vercel通过Hive平台将构建等待时间从90秒缩短至5秒。Hive利用微虚拟机技术确保代码隔离和安全性,并通过优化启动路径和使用预热池提升速度,从而高效处理多租户环境中的构建任务,显著提升构建性能。
Edera宣布将支持KVM,计划在夏季推出,以满足客户需求。其微虚拟机隔离模型将与KVM兼容,确保安全性和工具的兼容性。尽管Xen仍专注于高安全性应用,Edera将实施独立策略,继续发展。
NanoClaw是一种安全的开源AI代理运行时,结合Docker沙箱使用,提供更强的隔离和安全性。它利用微虚拟机技术,确保代理在独立环境中运行,防止安全漏洞影响主机系统。NanoClaw将代理视为不可信,限制其访问权限,从而降低风险,为企业提供更安全的AI代理执行环境。
Snyk工程师发现OpenClaw市场中超过7%的技能存在安全漏洞,可能导致敏感信息泄露。Deno Sandbox提供轻量级Linux微虚拟机,安全运行不可信代码,并通过秘密替换保护敏感数据。
Vercel Sandboxes推出,提供安全的环境以执行不可信代码,允许团队运行AI生成的输出和第三方代码,保护生产系统。每个沙箱在Firecracker微虚拟机中运行,隔离基础设施,无法访问环境变量和数据库连接。
Firecracker是亚马逊开发的开源微虚拟机平台,专为无服务器和多租户场景设计。它具备轻量级虚拟化、快速启动和低内存占用的特点,适合短期高密度工作负载,主要应用于无服务器平台、容器隔离和边缘计算。
Marina Moore讨论了容器的安全漏洞,指出其隔离性不足,建议使用微虚拟机作为替代方案。同时,她强调在多租户环境中保护敏感数据的重要性,尤其是AI推理带来的风险。
Vercel Sandbox是一个安全的云资源,专为运行不可信代码而设计。它支持在隔离的微虚拟机中执行,最长可达45分钟。用户可通过SDK在任何环境中运行代码,按实际CPU使用时间收费,目前处于测试阶段。
微软的Hyperlight项目通过微虚拟机显著降低无服务器应用的冷启动延迟,提供安全的WebAssembly沙箱环境。该项目已开源并计划捐赠给CNCF,旨在实现快速、轻量级的代码隔离,适用于边缘计算和用户定义函数等场景。
完成下面两步后,将自动完成登录并继续当前操作。