The Nexus zkVM is a modular, extensible, open-source, and highly-parallelized zkVM, designed to run at a trillion CPU cycles proved per second given enough machine power.
Note that if you are using VPS, use
Mobaxtermclient to connect to SSH to be able to download files from your server to your local PC
1- Update packages:
sudo apt update && sudo apt upgrade2- Install cmake:
sudo apt install build-essential cmake3- Install Rust:
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
. "$HOME/.cargo/env"
# Redirect rust to RISC-V:
rustup target add riscv32i-unknown-none-elf4- Install Nexus zkVM CLI:
cargo install --git https://github.com/nexus-xyz/nexus-zkvm nexus-tools --tag 'v1.0.0'5- Verify Installation:
cargo nexus --help
1- Create directory:
cargo nexus new nexus-project2- Go to Directory
cd nexus-project3- Edit main.rs
# Open edit menu
nano src/main.rs
# Delete everything and paste the following code
#![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);
}To save: Ctrl+X Y Enter
cargo nexus run -vGenerate a proof for your Rust program using the Nexus zkVM.
cargo nexus prove
Finally, load and verify the proof:
cargo nexus verify
Easily done! Now download and SAVE your NEXUS-PROOF file in a safe place!
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent