Quick start a Nexus project using the CLI.
Install Prerequisites
Install Rust
Install cmake
Add RISC-V target:
rustup target add riscv32i-unknown-none-elf
Install Nexus zkVM
cargo install --git https://github.com/nexus-xyz/nexus-zkvm cargo-nexus --tag 'v0.2.4'
Verify the installation:
cargo nexus --help
This should print the available CLI commands.
Create New Project
Create a new Nexus project:
cargo nexus new nexus-project
Change directory to the new project:
cd nexus-project
This will create a new Rust project with the following structure:
./nexus-project ├── Cargo.lock ├── Cargo.toml └── src └── main.rs
Example zkVM Rust program in ./src/main.rs:
./src/main.rs
#![cfg_attr(target_arch = "riscv32", no_std, no_main)] use nexus_rt::write_log; #[nexus_rt::main] fn main() { write_log("Hello, World!\n"); }
Run Your Program
cargo nexus run
Expected output:
"Hello, World!"
Generate Proof
Generate a zero-knowledge proof:
cargo nexus prove
This will generate a proof and store it in ./nexus-proof.
./nexus-proof
Verify Proof
Load and verify the proof:
cargo nexus verify
You should see:
Verifying Proof...
Finished when complete
Finished
Was this page helpful?
