chore: update sp1 to v3

[prajwolrg]

Description

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)
• [X] Breaking change (fix or feature that would cause existing functionality to not work as expected)
• [ ] Documentation update
• [X] Refactor
• [X] New or updated tests

Checklist

• [X] I have performed a self-review of my code.
• [X] I have commented my code where necessary.
• [ ] I have updated the documentation if needed.
• [ ] 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 88.00000% with 3 lines in your changes missing coverage. Please review.

Project coverage is 56.64%. Comparing base (6f7f8bc) to head (a6af246). Report is 4 commits behind head on bitvm2.

Files with missing lines	Patch %	Lines
crates/zkvm/adapters/sp1/src/input.rs	0.00%	1 Missing :warning:
crates/zkvm/adapters/sp1/src/prover.rs	0.00%	1 Missing :warning:
crates/zkvm/adapters/sp1/src/utils.rs	0.00%	1 Missing :warning:

@@            Coverage Diff             @@
##           bitvm2     #461      +/-   ##
==========================================
- Coverage   56.72%   56.64%   -0.09%     
==========================================
  Files         263      249      -14     
  Lines       28114    28064      -50     
==========================================
- Hits        15949    15897      -52     
- Misses      12165    12167       +2     

Files with missing lines	Coverage Δ
crates/zkvm/adapters/sp1/src/verifier.rs	44.18% <100.00%> (-17.04%)	:arrow_down:
crates/zkvm/adapters/sp1/src/input.rs	0.00% <0.00%> (ø)
crates/zkvm/adapters/sp1/src/prover.rs	0.00% <0.00%> (ø)
crates/zkvm/adapters/sp1/src/utils.rs	0.00% <0.00%> (-21.57%)	:arrow_down:

... and 33 files with indirect coverage changes