chore(op-exex): Add crate reth-optimism-exex and reth-optimism-trie

[emhane]

• Adds new crates reth-optimism-exex and reth_optimism_trie
• Moves reth_exex::external_proofs -> reth_optimism_exex
• Moves reth_exex::external_proofs::storage -> reth_optimism_trie

[wiz-b4c72f16a4]

Wiz Scan Summary

Scanner	Findings
Vulnerabilities	-
Sensitive Data	-
Total	-

View scan details in Wiz

To detect these findings earlier in the dev lifecycle, try using Wiz Code VS Code Extension.

[Copilot]

Pull Request Overview

This PR adds a new Optimism-specific ExEx crate reth-optimism-exex and reorganizes external proof functionality. It moves the external proof ExEx implementation from the general reth_exex crate to the new Optimism-specific location.

• Moves ExternalProofExEx to OpProofsExEx in the new optimism exex crate
• Migrates storage types from reth_exex::external_proofs::storage to reth_optimism_storage::proofs
• Updates naming conventions to use "OpProofs" prefix for better clarity

Reviewed Changes

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

Show a summary per file

File	Description
crates/optimism/storage/src/proofs.rs	Refactors storage traits and types with OpProofs naming and async-to-impl Future conversion
crates/optimism/storage/src/lib.rs	Adds public exports for the new proofs module
crates/optimism/storage/Cargo.toml	Adds dependencies for the proofs functionality
crates/optimism/exex/src/lib.rs	Implements the renamed OpProofsExEx with simplified constructor
crates/optimism/exex/Cargo.toml	Updates package name and dependencies for the new crate
Cargo.toml	Updates workspace members and dependencies to include the new crate

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}

[emhane]

@dhyaniarun1993 random doc test failing, couldn't see any changes to lock file that could possibly trigger this. let's merge anyway and solve separately, could be due to dep interdependency in new crates, and that some feature needs to be enabled for consistency

[dhyaniarun1993]

@dhyaniarun1993 random doc test failing, couldn't see any changes to lock file that could possibly trigger this. let's merge anyway and solve separately, could be due to dep interdependency in new crates, and that some feature needs to be enabled for consistency

Sure. I will review the PR.

[emhane]

ref commit 8f9b614 @dhyaniarun1993 paradigmxyz#19002

[dhyaniarun1993]

I am not sure about putting the db definition inside the trie crate since db isn't limited to trie. It also include account and storage state.

We probably need to refactor this further. Maybe we can do this in a separate PR since other PRs are waiting for this change

Let me know what you think @meyer9 @emhane

[emhane]

@mattsse any ideas about these weird failures of unit doc tests and hack check please ?

[emhane]

I am not sure about putting the db definition inside the trie crate since db isn't limited to trie. It also include account and storage state.

possibly there is a better place, but let's not block on it for now. the reason I moved it out of reth-optimism-storage is because reth-trie doesn't have no-std support which reth-optimism-storage does, and the tables store reth-trie types.

We probably need to refactor this further. Maybe we can do this in a separate PR since other PRs are waiting for this change

I don't think we should focus on that now. there is also probably changes that the reth guys will want to make to the structure when we're done in process of upstreaming, so I wouldn't try to make it perfect now, cause it will likely change is at least some minor ways anyway.

[emhane]

merging to unblock people in IST time zone before I log off 🫡