Présenté en décembre 2025, Graviton5 est la nouvelle génération des processeurs AWS : 192 coeurs, cache L3 plus grand, mémoire DDR5-8800. Avec le déploiement de Graviton5, AWS annonce de nouvelles instantes EC2 : M9g et M9gd. A cela s'ajoute le déploiement sur toutes les instances Graviton5 de Nitro Isolation Engine pour la vérification formelle du code. 

Annoncé à re:Invent 2025, le composant constitue le seul point d'accès à la mémoire, aux registres CPU et aux dispositifs d'entrée-sortie des machines virtuelles. Les autres éléments du Nitro Hypervisor opèrent via une interface restreinte sans accès direct aux données clients. La vérification couvre quatre propriétés : confidentialité et intégrité des VM, correction fonctionnelle de chaque hypercall, absence d'erreurs à l'exécution, et sécurité mémoire. Elle porte à ce stade sur les hypercalls du cycle de vie central : démarrage, exécution, arrêt. Les preuves reposent sur des hypothèses explicites, notamment la correction du compilateur Rust et du matériel sous-jacent, détaillées dans le livre blanc accompagnant l'annonce.

AWS annonce des performances en hausse de 25 % par rapport à la précédente génération.