所谓「新把戏」早有防备：AWS Nitro 隔离引擎已形式化验证 hypervisor

bookwormengr · x · 2026-10-24

针对网上流传的某种 agent 逃逸/利用技巧，bookwormengr 回应称这是已知且文献有载的把戏，云厂商早有针对性防护，并援引 AWS Nitro Isolation Engine 的博客：Nitro Hypervisor 中的该专用组件通过极小的 API 集中介所有对虚拟机内存、CPU 寄存器状态和 I/O 设备的访问，是唯一接触客户数据的系统组件；其精简代码库便于人工审计、缩小 bug 面，并使对设计与实现做形式化验证成为可能。