Crash recovery

[ercecan]

Description

WIP

Linked Issues

• Fixes Risc0BonsaiHost crash recovery #540

[ercecan]

I tested the functionality manually, any Ideas on how to implement tests?

[codecov]

Codecov Report

Attention: Patch coverage is 53.41615% with 150 lines in your changes missing coverage. Please review.

Project coverage is 78.9%. Comparing base (66a1a19) to head (2416484).

Files	Patch %	Lines
crates/risc0-bonsai/src/host.rs	5.9%	126 Missing ⚠️
crates/prover/src/runner.rs	90.1%	14 Missing ⚠️
...reign-sdk/full-node/db/sov-db/src/ledger_db/mod.rs	57.1%	3 Missing ⚠️
bin/citrea/src/rollup/bitcoin.rs	0.0%	2 Missing ⚠️
crates/sovereign-sdk/adapters/mock-zkvm/src/lib.rs	0.0%	2 Missing ⚠️
crates/sovereign-sdk/adapters/risc0/src/host.rs	0.0%	2 Missing ⚠️
crates/prover/src/prover_service/parallel/mod.rs	95.8%	1 Missing ⚠️

Additional details and impacted files

Files	Coverage Δ
bin/citrea/src/rollup/mock.rs	95.4% <100.0%> (+0.1%)	⬆️
bin/citrea/src/rollup/mod.rs	96.8% <100.0%> (+<0.1%)	⬆️
...reign-sdk/full-node/db/sov-db/src/schema/tables.rs	91.9% <ø> (ø)
...full-node/sov-stf-runner/src/prover_service/mod.rs	69.2% <ø> (ø)
...ule-system/sov-modules-rollup-blueprint/src/lib.rs	100.0% <ø> (ø)
...n-sdk/rollup-interface/src/state_machine/zk/mod.rs	100.0% <ø> (ø)
crates/prover/src/prover_service/parallel/mod.rs	91.8% <95.8%> (+1.1%)	⬆️
bin/citrea/src/rollup/bitcoin.rs	0.0% <0.0%> (ø)
crates/sovereign-sdk/adapters/mock-zkvm/src/lib.rs	65.4% <0.0%> (-1.0%)	⬇️
crates/sovereign-sdk/adapters/risc0/src/host.rs	26.4% <0.0%> (-0.6%)	⬇️
... and 3 more

... and 1 file with indirect coverage changes

[otaliptus]

My two cents

[eyusufatik]

we talked about what to change f2f

[ercecan]

we talked about what to change f2f

done

[eyusufatik]

looking really good this time :)

just a few naming nits