Feat/zkvm improvements release

[prajwolrg]

Description

• Introduced a new ProofWithMetadata that includes unique Id and remote Id
• Added the capability to run simulations within the ZKVM environment, allowing for better testing and validation of proof generation.
• Updated SP1-related tests to support the newly added simulation feature, enhancing the test coverage and reliability.
• Introduced logging functionality in SP1 ZKVM tests to provide better visibility into the test execution and debugging process.
• Moved the calculation of transaction filter rules from BTC blockspace logic to the L1 batch to improve proving cycles.

Type of Change

• [x] Bug fix (non-breaking change which fixes an issue)
• [x] New feature/Enhancement (non-breaking change which adds functionality or enhances an existing one)
• [ ] Breaking change (fix or feature that would cause existing functionality to not work as expected)
• [ ] Documentation update
• [x] Refactor

Checklist

• [x] I have performed a self-review of my code.
• [x] I have commented my code where necessary.
• [x] I have updated the documentation if needed.
• [x] My changes do not introduce new warnings.
• [x] I have added tests that prove my changes are effective or that my feature works.
• [x] New and existing tests pass with my changes.

Related Issues

[codecov[bot]]

Codecov Report

Attention: Patch coverage is 45.28302% with 145 lines in your changes missing coverage. Please review.

Please upload report for BASE (releases/0.1.0@63b2426). Learn more about missing BASE report.

Files with missing lines	Patch %	Lines
crates/zkvm/adapters/sp1/src/prover.rs	0.00%	58 Missing :warning:
crates/zkvm/zkvm/src/lib.rs	24.24%	25 Missing :warning:
crates/zkvm/adapters/risc0/src/prover.rs	0.00%	18 Missing :warning:
crates/state/src/batch.rs	0.00%	12 Missing :warning:
crates/proof-impl/checkpoint/src/lib.rs	0.00%	9 Missing :warning:
crates/proof-impl/btc-blockspace/src/block.rs	90.32%	6 Missing :warning:
crates/consensus-logic/src/fork_choice_manager.rs	0.00%	4 Missing :warning:
crates/proof-impl/l1-batch/src/lib.rs	0.00%	3 Missing :warning:
crates/state/src/block_validation.rs	0.00%	3 Missing :warning:
crates/consensus-logic/src/l1_handler.rs	0.00%	2 Missing :warning:
... and 5 more

@@                Coverage Diff                @@
##             releases/0.1.0     #390   +/-   ##
=================================================
  Coverage                  ?   57.10%           
=================================================
  Files                     ?      256           
  Lines                     ?    27179           
  Branches                  ?        0           
=================================================
  Hits                      ?    15520           
  Misses                    ?    11659           
  Partials                  ?        0           

Files with missing lines	Coverage Δ
crates/proof-impl/btc-blockspace/src/logic.rs	97.36% <100.00%> (ø)
crates/test-utils/src/l2.rs	99.12% <100.00%> (ø)
crates/zkvm/adapters/risc0/src/verifier.rs	63.04% <100.00%> (ø)
crates/db/src/types.rs	60.60% <0.00%> (ø)
crates/primitives/src/block_credential.rs	0.00% <0.00%> (ø)
crates/proof-impl/btc-blockspace/src/filter.rs	50.00% <75.00%> (ø)
crates/proof-impl/cl-stf/src/lib.rs	25.00% <0.00%> (ø)
crates/zkvm/adapters/sp1/src/verifier.rs	60.63% <95.65%> (ø)
crates/consensus-logic/src/l1_handler.rs	0.00% <0.00%> (ø)
crates/proof-impl/l1-batch/src/lib.rs	0.00% <0.00%> (ø)
... and 8 more

[prajwolrg]

Closed in favor of #419