Embedded elf guests for forks

[rakanalh]

Description

make build now builds the ELF guest codes separately using make build-risc0 and make build-sp1.

This basically removes the fact that we build the guest code along with the binary. Now, the guest code is loaded from resources/guests based on what we want to load.

That being said, each fork should add the ELF to the designated directory with 1.elf, 2.elf .. etc for each fork we end up introducing. The names can change of course but that's how it goes for now.

Development workflow

Previously, we used to have the guest code already built within the binary. If you run:

• make build
• make test

Both will act the same way by building the guest code and provide a binary that has the guest codes needed.

If you are running testing a specific build for the guest code, you can use:

• make -C guests/risc0 batch-proof-bitcoin
• make -C guests/risc0 batch-proof-mock
• make -C guests/risc0 light-client-bitcoin
• make -C guests/risc0 light-client-mock

TODO

• Prevent build.rs for risc0 from running.
• Every time a fork activates, we should upload the newly activated guest code to Bonsai
• Override network if --testnet is used.
• Pass Network argument

Linked Issues

• Fixes New compilation and read ELF from files system #1476

[eyusufatik]

Every time a fork activates, we should upload the newly activated guest code to Bonsai

btw just pass down elf from runner > prover service > zkvm host

I think bonsai doesnt upload all the time since it checks if elf exists on remote

[codecov]

Codecov Report

Attention: Patch coverage is 28.77193% with 203 lines in your changes missing coverage. Please review.

Project coverage is 76.0%. Comparing base (4ac3098) to head (11c4f78).
Report is 1 commits behind head on nightly.

Files with missing lines	Patch %	Lines
bin/citrea/src/rollup/bitcoin.rs	0.0%	74 Missing ⚠️
bin/citrea/src/rollup/mock.rs	32.8%	47 Missing ⚠️
crates/light-client-prover/src/da_block_handler.rs	0.0%	46 Missing ⚠️
bin/citrea/src/main.rs	0.0%	15 Missing ⚠️
bin/citrea/src/rollup/mod.rs	52.9%	8 Missing ⚠️
bin/citrea/src/lib.rs	0.0%	5 Missing ⚠️
crates/light-client-prover/src/runner.rs	0.0%	4 Missing ⚠️
crates/batch-prover/src/da_block_handler.rs	84.6%	2 Missing ⚠️
crates/prover-services/src/parallel/mod.rs	88.8%	1 Missing ⚠️
...ule-system/sov-modules-rollup-blueprint/src/lib.rs	0.0%	1 Missing ⚠️

Additional details and impacted files

Files with missing lines	Coverage Δ
crates/batch-prover/src/proving.rs	88.8% <100.0%> (+0.4%)	⬆️
crates/batch-prover/src/rpc.rs	48.8% <100.0%> (+0.3%)	⬆️
crates/batch-prover/src/runner.rs	86.9% <100.0%> (+0.1%)	⬆️
crates/fullnode/src/da_block_handler.rs	76.1% <100.0%> (ø)
crates/risc0/src/host.rs	70.5% <100.0%> (-1.1%)	⬇️
crates/sovereign-sdk/adapters/mock-zkvm/src/lib.rs	57.6% <100.0%> (+1.0%)	⬆️
...full-node/sov-stf-runner/src/prover_service/mod.rs	66.6% <ø> (ø)
...n-sdk/rollup-interface/src/state_machine/zk/mod.rs	88.8% <ø> (ø)
crates/prover-services/src/parallel/mod.rs	73.5% <88.8%> (+0.1%)	⬆️
...ule-system/sov-modules-rollup-blueprint/src/lib.rs	95.8% <0.0%> (-4.2%)	⬇️
... and 8 more

... and 2 files with indirect coverage changes

[yaziciahmet]

LGTM! not blocking the pr, just have 1 comment.