- Install Pico toolchains.
cd zktls/app
RUST_LOG=info cargo pico build
cd zktls/prover
RUST_LOG=info cargo build --releasecd zktls/prover
RUST_LOG=info cargo run --releasebash ./build.sh
RUST_LOG=info ./target/release/zktls-prover \
--elf ./zktls/app/elf/riscv32im-pico-zkvm-elf \
--input ./zktls/prover/data/attestation_data.json \
--output-dir pico_out