setup.md

Setup

Rust

rustup toolchain install stable
rustup default stable

SP1

curl -L https://sp1up.succinct.xyz | bash
sp1up
cargo install --locked cargo-prove

Foundry

curl -L https://foundry.paradigm.xyz | bash
foundryup

Verification

Use per-challenge commands documented in each challenge README.md.

Rust checks are always run from challenge-local workspace roots:

cargo test --workspace

Foundry challenges additionally run:

forge test