cargo build -p spt --bin translate_proof_fixture