Nexus Proof

sudo apt update -y && sudo apt upgrade -y
sudo apt install cmake
sudo apt install build-essential

curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

. "$HOME/.cargo/env"
rustup target add riscv32i-unknown-none-elf

cargo install --git https://github.com/nexus-xyz/nexus-zkvm nexus-tools --tag 'v1.0.0'

cargo nexus new nexus-project

cd nexus-project
nano ./src/main.rs

#![no_std]
#![no_main]

fn fib(n: u32) -> u32 {
    match n {
        0 => 0,
        1 => 1,
        _ => fib(n - 1) + fib(n - 2),
    }
}

#[nexus_rt::main]
fn main() {
    let n = 7;
    let result = fib(n);
    assert_eq!(result, 13);
}

cargo nexus run
cargo nexus run -v

cargo nexus prove

cargo nexus verify