STR 2404 EE DA verification tool

[krsnapaudel]

Description

WIP. Don't review yet. Will revisit after #1941 and #1942 go in.

Adds bin/alpen-ee-da-tool: a verifier that reconstructs EE state from L1 DA envelopes and compares against expected roots.

New crates:

• alpen-ee-da-l1-extraction — bounded-range L1 fetch, cross-block commit/reveal scan, blob reassembly (5,000-block cap)
• alpen-ee-da-state-replay — ordered DA blob replay from chain-spec genesis or explicit pre-state snapshot

Library changes in alpen-reth-statediff:

• Public StateReconstructorSeed + to_seed() to enable snapshot export
• Behavior change: empty accounts are now deleted from the state trie on update (EIP-161). Diffs that empty an account now produce a different state root than before — the previous behavior left a stale entry.

CLI: --snapshot (resume from pre-state) and --export-snapshot (persist final state) flags support partial replay across runs.

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

Is this PR addressing any specification, design doc or external reference document?

• Yes
• No

If yes, please add relevant links:

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 (where necessary) tests that prove my changes are effective or that my feature works.
• New and existing tests pass with my changes.
• I have disclosed my use of AI in the body of this PR.

Related Issues

STR-2404

[chatgpt-codex-connector]

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 1e4af44adf

ℹ️ About Codex in GitHub

Codex has been enabled to automatically 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 👍.

When you sign up for Codex through ChatGPT, Codex can also answer questions or update the PR, like "@codex address that feedback".

[github-actions]

Commit: 458c1e1

SP1 Execution Results

program	cycles	gas
EVM EE Chunk	824,732	969,395
EVM EE Account	404,056	498,593
Checkpoint	2,601,525	3,007,269

[codecov]

Codecov Report

❌ Patch coverage is 91.98932% with 180 lines in your changes missing coverage. Please review.
✅ Project coverage is 84.52%. Comparing base (81d4e77) to head (698ccea).

Files with missing lines	Patch %	Lines
bin/alpen-ee-da-tool/src/output/report.rs	36.06%	39 Missing ⚠️
crates/reth/statediff/src/reconstruct.rs	83.01%	36 Missing ⚠️
crates/alpen-ee/da/l1-extraction/src/fetch.rs	91.38%	33 Missing ⚠️
bin/alpen-ee-da-tool/src/main.rs	70.68%	17 Missing ⚠️
bin/alpen-ee-da-tool/src/l1.rs	77.77%	12 Missing ⚠️
crates/alpen-ee/da/l1-extraction/src/scan.rs	97.88%	11 Missing ⚠️
crates/alpen-ee/da/state-replay/src/replay.rs	95.71%	9 Missing ⚠️
bin/alpen-ee-da-tool/src/snapshot.rs	91.20%	8 Missing ⚠️
bin/alpen-ee-da-tool/src/config.rs	93.33%	6 Missing ⚠️
bin/alpen-ee-da-tool/src/output/helpers.rs	77.27%	5 Missing ⚠️
... and 2 more

@@            Coverage Diff             @@
##             main    #1950      +/-   ##
==========================================
+ Coverage   84.46%   84.52%   +0.06%     
==========================================
  Files         637      652      +15     
  Lines       76670    78917    +2247     
==========================================
+ Hits        64757    66704    +1947     
- Misses      11913    12213     +300     

Flag	Coverage Δ
functional	66.18% <64.23%> (-0.26%)	⬇️
unit	70.26% <85.58%> (+0.50%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Files with missing lines	Coverage Δ
bin/alpen-ee-da-tool/src/cli.rs	100.00% <100.00%> (ø)
crates/alpen-ee/da/l1-extraction/src/reassemble.rs	100.00% <100.00%> (ø)
crates/alpen-ee/da/l1-extraction/src/test_utils.rs	100.00% <100.00%> (ø)
crates/alpen-ee/da/state-replay/src/summary.rs	100.00% <100.00%> (ø)
crates/alpen-ee/da/types/src/commit_reveal.rs	97.88% <99.27%> (+6.52%)	⬆️
crates/alpen-ee/da/state-replay/src/snapshot.rs	94.23% <94.23%> (ø)
bin/alpen-ee-da-tool/src/output/helpers.rs	77.27% <77.27%> (ø)
bin/alpen-ee-da-tool/src/config.rs	93.33% <93.33%> (ø)
bin/alpen-ee-da-tool/src/snapshot.rs	91.20% <91.20%> (ø)
crates/alpen-ee/da/state-replay/src/replay.rs	95.71% <95.71%> (ø)
... and 6 more

... and 16 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.