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

Title

Home

Target

https://docs.nexus.xyz/home

Title

Nexus Layer 1 — Overview

Target

https://docs.nexus.xyz/layer-1/vision/overview

Title

Nexus zkVM

Target

The Nexus zkVM

Title

Web3 Fundamentals — Overview

Target

https://docs.nexus.xyz/essentials/web3-fundamentals/overview

Title

Use Case: Program Execution

Target

Use Case: Program Execution

Title

Machine Architecture

Target

Machine Architecture

Title

Full zkVM Specification: zkVM Overview

Target

The Complete Specification