Aleo之家
CLI 快速入门
1. 安装 Nexus zkVM
首先，安装 Rust：Rust 安装说明（在新选项卡中打开）.
此外，请确保您有CMAKE（在新选项卡中打开）.
接下来，安装 RISC-V 目标：
rustup target add riscv32i-unknown-none-elf然后，安装 Nexus zkVM：
cargo install --git https://github.com/nexus-xyz/nexus-zkvm cargo-nexus --tag 'v0.2.4'验证安装：
cargo nexus --help这应该会打印可用的 CLI 命令。
2. 创建一个新的 Nexus 项目
在 nexus-zkvm 签出的某个地方，运行：
cargo nexus new nexus-project并将目录更改为新项目：
cd nexus-project这将创建一个具有以下结构的新 Rust 项目：
./nexus-project├── Cargo.lock├── Cargo.toml└── src └── main.rs以及 zkVM Rust 程序示例：./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");}3. 运行您的程序
cargo nexus run您应该会看到程序打印：
"Hello, World!"3. 证明您的程序
使用 Nexus zkVM 为您的 Rust 程序生成零知识证明。
cargo nexus prove这将生成一个证明，并将其存储在 中。./nexus-proof
4. 验证您的证明
最后，加载并验证证明：
cargo nexus verify您应该会看到程序 print 和 最后完成时。Verifying Proof...Finished
