Getting Started

The Nexus zkVM provides both a comprehensive runtime for streamlined program development and a powerful SDK for configuring, executing, and generating proofs for your applications.

Recommended starting points:

  • SDK Quick Start — step-by-step guidance to begin proving with the Nexus zkVM.

  • Runtime — guidance for writing guest programs for the zkVM and developing host programs to manage the proving process.

Key resources

Additional references:

  • SDK Documentation: https://docs.nexus.xyz/zkvm/proving/sdk-docs

  • Benchmarking your host project: https://docs.nexus.xyz/zkvm/proving/sdk-benchmarking

  • Integrating Precompiles: https://docs.nexus.xyz/zkvm/proving/precompiles

(Links preserved with original query parameters and targets.)