Support for Dynamic Layout

[rot256]

Support for Dynamic Layout via the SHARP get_dynamic_params API.

[rot256]

The current code fails to build with:

error[E0432]: unresolved import `crate::utils::process_args`
 --> src/cairo.rs:2:52
  |
2 | use crate::utils::{get_formatted_air_public_input, process_args, FileWriter};
  |                                                    ^^^^^^^^^^^^ no `process_args` in `utils`

For more information about this error, try `rustc --explain E0432`.
error: could not compile `stone-cli` (lib) due to 1 previous error
warning: build failed, waiting for other jobs to finish...

[rot256]

I believe this PR also subsumes #30 ?

[rot256]

I managed to get this working as follows:

1. Download the corelib:

git clone --depth=1 -b v2.10.0-rc.0 https://github.com/starkware-libs/cairo.git \
	&& mv cairo/corelib/ . \
	&& rm -rf cairo/

2. Run the stone-cli:

SHARP_CLIENT_CERT=~/src/sharp-cert/user.crt SHARP_KEY_PATH=~/src/sharp-cert/user.key RUST_MIN_STACK=104857600 cargo run -- prove --layout automatic --cairo_program examples/pedersen_example.cairo --stone_version v6

This is going to ask to you:

Enter the password for the SHARP key:

Alternatively you can set the enviroment variable SHARP_KEY_PASSWD and avoid the stone-cli asking for the password.