[saya] Scheduler

[neotheprogramist]

Description

A parallel prove scheduler for saya. It is using a http-prover to prove multiple blocks in at the same time.

Tests

Primarly manual end to 2 tests described here: https://github.com/neotheprogramist/dojo/blob/cairo0-prover/crates/saya/README.md#end-to-end-testing

• Yes
• No, because they aren't needed
• No, because I need help

Added to documentation?

• README.md
• Dojo Book
• No documentation needed

Checklist

• I've formatted my code (scripts/prettier.sh, scripts/rust_fmt.sh, scripts/cairo_fmt.sh)
• I've linted my code (scripts/clippy.sh, scripts/docs.sh)
• I've commented my code
• I've requested a review after addressing the comments

[glihm]

Amazing work guys. 🚀

Some feedback in a first review, will follow with a functional review. 👍

[codecov]

Codecov Report

Attention: Patch coverage is 32.62928% with 925 lines in your changes missing coverage. Please review.

Project coverage is 68.21%. Comparing base (9205009) to head (4777215).

Files	Patch %	Lines
bin/saya/src/tests.rs	0.00%	384 Missing ⚠️
crates/saya/core/src/prover/scheduler.rs	0.00%	152 Missing ⚠️
crates/saya/core/src/lib.rs	0.00%	116 Missing ⚠️
crates/saya/core/src/prover/extract.rs	0.00%	78 Missing ⚠️
crates/saya/core/src/prover/program_input.rs	86.90%	58 Missing ⚠️
bin/scheduler/src/main.rs	0.00%	53 Missing ⚠️
crates/saya/core/src/prover/loader.rs	0.00%	20 Missing ⚠️
crates/saya/core/src/prover/client.rs	0.00%	15 Missing ⚠️
bin/saya/src/args/mod.rs	50.00%	12 Missing ⚠️
crates/saya/core/src/prover/stone_image.rs	0.00%	10 Missing ⚠️
... and 6 more

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1917      +/-   ##
==========================================
- Coverage   69.44%   68.21%   -1.23%     
==========================================
  Files         318      323       +5     
  Lines       39107    40269    +1162     
==========================================
+ Hits        27157    27470     +313     
- Misses      11950    12799     +849     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[glihm]

Great work guys!

Some feedback:

1. We should avoid static account as it limits a lot the configuration. Will open an issue to ensure the account can be loaded without being static, which will allow configuration from the command line.
2. We should test when two batches are settled one after the other. In some configuration I had some errors when saya was trying to settle a second batch.
3. Some modification will be done on Sozo to ease the command line and make the flow easier to run. 👍