cargo-prove prove build --output-directory provers/celestia-prover/elf fails

[rootulp]

Context

On main

celestia-zkevm-ibc-demo/provers/celestia-prover/README.md

Line 77 in 776f44a

~/.sp1/bin/cargo-prove prove build --elf-name mock-membership-elf

Problem

That command doesn't work:

$ ~/.sp1/bin/cargo-prove prove build --elf-name mock-membership-elf
error: the following required arguments were not provided:
  --output-directory <OUTPUT_DIRECTORY>

I get unresolved import errors if I do:

$ cargo-prove prove build --output-directory provers/celestia-prover/elf

cc: @ninabarbakadze

Proposal

1. Investigate the issue. It seems likely that the SP1 programs are pulling in crates that they aren't allowed to. In other words, they're pulling in crates that can't run inside SP1.
2. Fix the issue