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.

To begin proving with the Nexus zkVM, we recommend starting with the SDK Quick Start and Runtime documentation. These resources provide step-by-step guidance on writing guest programs for the zkVM and developing host programs to manage the proving process.

For deeper exploration, the complete SDK Documentation offers comprehensive API references, while advanced features like Benchmarking your host project and integrating Precompiles are covered in dedicated guides.