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.
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.