The Nexus zkVM includes both a runtime to ease the development of programs to be proven as well as an SDK to ease configuring, executing, and proving those program once written.

To start proving with the Nexus zkVM, we recommend first reviewing the SDK Quick Start and Runtime documentation. Together, they detail how to write a guest program to run on the zkVM as well as a host program to manage the proving.

The full SDK Documentation is available as well, as are overviews of advanced features such as Benchmarking the host project and integrating Precompiles.

Was this page helpful?