亚马逊AWS发表新网络架构RNG，采用准随机拓扑和无源光组件ShuffleBox，实现扁平化数据中心网络。相比传统胖树结构，减少69%路由器，性能提升33%，已作为全球新建设计的默认方案。
在2025年re:Invent大会上，AWS发布了Nitro隔离引擎（NIE），这是一个软件模块，用于在确保客户数据安全的同时为AWS客户提供资源。AWS还宣布使用Isabelle/HOL证明助手对NIE进行了形式化验证，这是首个经过形式化验证的云hypervisor，为云安全设立了新标准。