chore: bump sp1 to 6.2.2 and interop to 0.18

[Freyskeyd]

Bumps SP1 to 6.2.2 and Agglayer interop dependencies to 0.18.0.

Please include a summary of the changes and the related issue. Please also include relevant motivation and context. List any dependencies that are required for this change.

• Updates workspace SP1 crate pins to 6.2.2.
• Updates Agglayer interop crates to 0.18.0.
• Updates sp1-contract-call to the official reth-1.9.3-sp1-6.2.2 tag.
• Regenerates the aggchain proof ELF.

[claude]

Claude Code Review

This repository is configured for manual code reviews. Comment @claude review to trigger a review and subscribe this PR to future pushes, or @claude review once for a one-time review.

_{Tip: disable this comment in your organization's Code Review settings.}

[chatgpt-codex-connector]

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 29ddfbc4b6

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

[Copilot]

Pull request overview

This PR updates the workspace to SP1 6.2.2 and bumps Agglayer interop-related crates to 0.18.0, including switching sp1-contract-call to the official reth-1.9.3-sp1-6.2.2 tag and refreshing the resulting lockfiles.

Changes:

• Bump SP1 crate pins to =6.2.2 across the workspace and in the excluded proof/dummy program crates.
• Bump Agglayer interop crates from 0.17.0 to 0.18.0 in workspace dependencies.
• Update sp1-contract-call git dependency from a pinned rev to the reth-1.9.3-sp1-6.2.2 tag and regenerate lockfiles accordingly.

Reviewed changes

Copilot reviewed 3 out of 7 changed files in this pull request and generated 2 comments.

Show a summary per file

File	Description
Cargo.toml	Updates workspace dependency pins for Agglayer interop (0.18.0) and SP1 (6.2.2), and switches sp1-contract-call to the new tag.
Cargo.lock	Regenerated lockfile reflecting updated SP1, interop, and transitive dependency graph changes.
crates/prover-dummy-program/Cargo.toml	Bumps standalone dummy program’s sp1-zkvm/sp1-cli pins to 6.2.2.
crates/prover-dummy-program/Cargo.lock	Regenerated lockfile for the standalone dummy program with SP1 6.2.2 and updated transitives.
crates/aggchain-proof-program/Cargo.toml	Bumps standalone proof program’s sp1-zkvm pin to 6.2.2.
crates/aggchain-proof-program/Cargo.lock	Regenerated lockfile for the standalone proof program reflecting SP1 6.2.2, interop 0.18.0, and transitive updates.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.