Use zkaleido repository

[prajwolrg]

Description

This uses the newly created zkaleido repository for instead of strata-zkvm and strata-zkvm-adapters. There are also some minor updates and removes code duplication.

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.78689% with 41 lines in your changes missing coverage. Please review.

Project coverage is 56.18%. Comparing base (0a0aabe) to head (c89a90b).
Report is 2 commits behind head on main.

Files with missing lines	Patch %	Lines
crates/consensus-logic/src/l1_handler.rs	0.00%	6 Missing ⚠️
crates/state/src/batch.rs	0.00%	6 Missing ⚠️
crates/zkvm/hosts/src/sp1.rs	0.00%	6 Missing ⚠️
crates/proof-impl/btc-blockspace/src/prover.rs	0.00%	3 Missing ⚠️
crates/proof-impl/checkpoint/src/prover.rs	57.14%	3 Missing ⚠️
crates/proof-impl/cl-agg/src/prover.rs	57.14%	3 Missing ⚠️
crates/proof-impl/cl-stf/src/prover.rs	57.14%	3 Missing ⚠️
crates/proof-impl/evm-ee-stf/src/prover.rs	40.00%	3 Missing ⚠️
crates/proof-impl/l1-batch/src/prover.rs	57.14%	3 Missing ⚠️
crates/consensus-logic/src/csm/worker.rs	0.00%	2 Missing ⚠️
... and 2 more

@@            Coverage Diff             @@
##             main     #635      +/-   ##
==========================================
+ Coverage   55.90%   56.18%   +0.28%     
==========================================
  Files         316      297      -19     
  Lines       33534    32736     -798     
==========================================
- Hits        18746    18392     -354     
+ Misses      14788    14344     -444     

Files with missing lines	Coverage Δ
bin/prover-client/src/hosts/mod.rs	0.00% <ø> (ø)
bin/prover-client/src/hosts/native.rs	0.00% <ø> (ø)
bin/prover-client/src/operators/checkpoint.rs	0.00% <ø> (ø)
bin/prover-client/src/operators/mod.rs	0.00% <ø> (ø)
bin/prover-client/src/rpc_server.rs	0.00% <ø> (ø)
bin/strata-client/src/rpc_server.rs	0.00% <ø> (ø)
crates/db/src/traits.rs	0.00% <ø> (ø)
crates/db/src/types.rs	48.62% <ø> (+1.30%)	⬆️
crates/proof-impl/btc-blockspace/src/logic.rs	97.43% <ø> (ø)
crates/proof-impl/cl-agg/src/lib.rs	60.00% <ø> (ø)
... and 20 more

... and 4 files with indirect coverage changes

[github-actions]

Commit: 59610ab

SP1 Performance Test Results

program	cycles	success
BTC_BLOCKSPACE	30,357,421	✅
EL_BLOCK	101,655	✅
CL_BLOCK	57,537	✅
L1_BATCH	30,387,392	✅
L2_BATCH	5,473	✅
CHECKPOINT	15,255	✅

[bewakes]

I am kinda iffy about the From implementation for BatchCheckpoint that gives ProofReceipt. But the rest looks good to me. And great work on the library!

[delbonis]

Concur with other comment but looks good otherwise.

[storopoli]

ACK 57f7c37

[storopoli]

ACK 3d55fb9

[delbonis]

Aw now there's a different merge conflict.

[storopoli]

ACK c89a90b