bash <(curl -s https://file.winsnip.xyz/file/uploads/Nexus-beta.sh)
Save prover-id
cat $HOME/.nexus/prover-id; echo ""
# install Rushsudo apt update -y && sudo apt upgrade -y && sudo apt install cmake -y && sudo apt install build-essential -y && curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh # set cargo. "$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 && cd src && rm -rf main.rs && cat <<EOT >> 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);}EOT # Run Programcargo nexus run # Prove your programcargo nexus prove # Verify your proofcargo nexus verify
Check logs
sudo journalctl -u nexus.service -f
Delete Service
sudo systemctl stop nexus.service && sudo systemctl disable nexus.service && sudo rm /etc/systemd/system/nexus.service && sudo systemctl daemon-reload && sudo systemctl reset-failed