The Nexus zkVM 3.0 Specification provides an overview of the runtime and machine architecture of the zkVM, as well as a full, formal description of the constraints and proving integration. In this Specifications section, we provide accessible introductions to some of the core concepts from the specification.