Move Prover Workshop Setup Install the prover brew install asymptotic-code/sui-prover/sui-prover Execute the prover sui-prover --split-paths=4