zkvm improvements

[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.10638% with 129 lines in your changes missing coverage. Please review.

Project coverage is 57.00%. Comparing base (2486f5c) to head (a394e82).

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

@@            Coverage Diff             @@
##             main     #381      +/-   ##
==========================================
- Coverage   57.35%   57.00%   -0.35%     
==========================================
  Files         255      257       +2     
  Lines       26953    27183     +230     
==========================================
+ Hits        15459    15497      +38     
- Misses      11494    11686     +192     

Files with missing lines	Coverage Δ
crates/proof-impl/btc-blockspace/src/logic.rs	97.36% <100.00%> (+1.07%)	:arrow_up:
crates/test-utils/src/l2.rs	99.12% <100.00%> (+0.02%)	:arrow_up:
crates/consensus-logic/src/l1_handler.rs	0.00% <0.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%> (-2.00%)	:arrow_down:
crates/proof-impl/cl-stf/src/lib.rs	25.00% <0.00%> (ø)
crates/state/src/batch.rs	2.89% <0.00%> (ø)
crates/state/src/block_validation.rs	76.00% <0.00%> (ø)
crates/proof-impl/l1-batch/src/lib.rs	0.00% <0.00%> (ø)
... and 7 more

... and 8 files with indirect coverage changes

[prajwolrg]

Closing in favor of #390