Split Proof Support (2)

Supersedes #30. This reworks that PR on top of #29. 29 changed enough that it was easier to redo this by hand.

This PR adds support for splitting proofs using cpu_air_verifier and stark-evm-adapter.

The workflow it supports is:

Use cpu_air_prover to generate a proof
Use cpu_air_verifier to generate annotations for that proof
Use stark-evm-adapter to split the proof (which requires the annotations).

Currently, this is added to the proof API with an additional argument to generate split proofs.

Depends on https://github.com/Moonsong-Labs/madara-prover-api/pull/29.

TODO

[x] Remove ProverWorkingDirectory from struct Proof in favor of passing it around by hand
[x] Test cases to cover split proof using normal API (StarknetExecutionRequest/Response)
[x] Pull in L1 test case from stark-evm-adapter

Moonsong-Labs / madara-prover-api

Split Proof Support (2) #31

TODO