Refactor to Use ZkVm-Specific ProofReceipt

[prajwolrg]

Description

This PR addresses a bug in the write_proof function of the Risc0 Input Builder and introduces ZkVm Specific Proof Types to avoid such bug in the future. It also updates the error types to catch such bugs easily.

Type of Change

• Bug fix (non-breaking change which fixes an issue)
• 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
• Refactor
• New or updated tests
• Dependency Update

Notes to Reviewers

Checklist

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

Related Issues

[codecov]

Codecov Report

Attention: Patch coverage is 32.20339% with 80 lines in your changes missing coverage. Please review.

Project coverage is 56.67%. Comparing base (bb58728) to head (360a113).
Report is 7 commits behind head on main.

Files with missing lines	Patch %	Lines
crates/zkvm/adapters/sp1/src/proof.rs	0.00%	31 Missing ⚠️
crates/zkvm/adapters/sp1/src/input.rs	0.00%	18 Missing ⚠️
crates/zkvm/zkvm/src/errors.rs	0.00%	18 Missing ⚠️
crates/zkvm/adapters/sp1/src/host.rs	0.00%	7 Missing ⚠️
crates/zkvm/zkvm/src/lib.rs	0.00%	3 Missing ⚠️
crates/proof-impl/checkpoint/src/lib.rs	0.00%	1 Missing ⚠️
crates/zkvm/adapters/native/src/env.rs	0.00%	1 Missing ⚠️
crates/zkvm/adapters/risc0/src/env.rs	0.00%	1 Missing ⚠️

@@            Coverage Diff             @@
##             main     #543      +/-   ##
==========================================
- Coverage   56.70%   56.67%   -0.03%     
==========================================
  Files         303      306       +3     
  Lines       31000    31041      +41     
==========================================
+ Hits        17577    17591      +14     
- Misses      13423    13450      +27     

Files with missing lines	Coverage Δ
crates/proof-impl/btc-blockspace/src/prover.rs	100.00% <100.00%> (ø)
crates/proof-impl/checkpoint/src/prover.rs	100.00% <100.00%> (ø)
crates/proof-impl/cl-agg/src/prover.rs	100.00% <100.00%> (ø)
crates/proof-impl/cl-stf/src/prover.rs	100.00% <100.00%> (ø)
crates/proof-impl/evm-ee-stf/src/prover.rs	100.00% <100.00%> (ø)
crates/proof-impl/l1-batch/src/prover.rs	96.00% <100.00%> (ø)
crates/zkvm/adapters/native/src/host.rs	100.00% <100.00%> (ø)
crates/zkvm/adapters/native/src/input.rs	100.00% <100.00%> (ø)
crates/zkvm/adapters/native/src/proof.rs	100.00% <100.00%> (ø)
crates/zkvm/adapters/risc0/src/verifier.rs	100.00% <100.00%> (+1.72%)	⬆️
... and 12 more

... and 6 files with indirect coverage changes

[delbonis]

Mostly stylistic comments.

[storopoli]

Only saw the tests CODEOWNER

ACK 360a113