- Generate split calldata
cd cli
Make sure that there is no outputted files in calldata directory
rm -f calldata/final calldata/initial calldata/step*
cargo run --release --bin swiftness -- --layout recursive --hasher keccak_160_lsb --stone-version stone5 --proof ../examples/proofs/recursive/cairo0_stone5_example_proof.json
- (optional) Configure verifier address
You can modify verifier address in cli/calldata/contract_address file.
-
Modify starknet account in
snfoundry.toml -
Send verification transactions
./verify.sh <job_id> <layout> <hasher> <stone_version> <cairo_version>
For example
./verify.sh 0 recursive keccak_160_lsb stone5 cairo0
job_id is a unique identified of the verification. You can randomize it or pass any arbitrary value as long as it's not used by any other user.