SP1 is a performant, open-source zero-knowledge virtual machine (zkVM) that verifies the execution of arbitrary Rust (or any LLVM-compiled language) programs.
sudo apt update && sudo apt upgrade -y
sudo apt install cmake pkg-config libssl-dev build-essential -y
# install Rust
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
source "$HOME/.cargo/env"
# install SP1
curl -L https://sp1.succinct.xyz | bash
source /root/.bashrc
sp1up
# check version
cargo +succinct --version
cargo prove new fibonacci
cd fibonacci/script
- execute the program without proof
RUST_LOG=info cargo run --release -- --execute