The Nexus zkVM is steadily evolving, with each release introducing incremental improvements in functionality and performance — all while maintaining a strong focus on security. Development of a new version starts with a formal specification, which serves as the foundation for the code. This document outlines how instruction execution, register and