feat(op-reth-hist-proofs): Import op-reth historical proofs code from op-rs fork#19044

Draft

emhane wants to merge 219 commits intoemhane/import-historical-proofsfrom

emhane/import-hist-proofs

Commits on Feb 2, 2026

feat: create initial external-proofs ExEx crate (#181)

meyer9
authored and
emhane
committed
feat: add storage interface with pruning methods (#182)

authored and
emhane
committed
feat: implement in-memory storage backend (#183)

committed
feat: implement initial sync backfill job (#196)

committed
chore: ExternalStorage -> OpProofsStorage (#203)

meyer9
authored and
emhane
committed
feat: mdbx tables (#218)

dhyaniarun1993
authored and
emhane
committed
feat: scaffold MDBX proofs storage (#221)

dhyaniarun1993
authored and
emhane
committed
chore(op-exex): Add crate `reth-optimism-exex` and `reth-optimism-trie` (#204)
emhane
committed

Commits on Feb 3, 2026

fix: ci lint and doc (#234)

dhyaniarun1993
and
emhane
committed
chore: separate storage and account cursors (#229)

authored and
emhane
committed
feat: add external state provider implementation (#197)

meyer9
and
emhane
committed
chore: add deletion tests for op proofs storage (#230)

meyer9
authored and
emhane
committed
feat: implement live state collector using external provider (#198)

meyer9
and
emhane
committed
feat: add binary entry point for external proofs in OP (#222)

authored and
emhane
committed
feat: store hashed account and storage (#235)

dhyaniarun1993
authored and
emhane
committed
feat: implement cursor read/write metrics (#232)

meyer9
authored and
emhane
committed
feat: store account and storage branches (#255)

itschaindev
authored and
emhane
committed
feat: Concrete error variants for `reth-optimism-trie` (#251)

authored and
emhane
committed
feat: Remove block_number from initial sync store methods (#248)

authored and
emhane
committed
feat(MDBX): Implement earliest and latest block tracking in storage (#253)

authored and
emhane
committed
feat(deps): Add `serde-bincode-compat` feature to `reth-trie` (#250)
emhane
committed
feat: store trie updates (#258)

dhyaniarun1993
authored and
emhane
committed
feat: implemented mdbx trie cursor (#249)

sadiq1971
and
emhane
committed
chore(deps): Rm redundant dep (#260)

emhane
and
dhyaniarun1993
committed
refactor: replace tuple with `BlockNumHash` (#254)

einar-oplabs
authored and
emhane
committed
feat(grafana): Add OP Reth Metrics Dashboard (#269)

op-will
authored and
emhane
committed
feat: Return ref to B256 (#272)

varun-doshi
authored and
emhane
committed
chore(exex): Add missing crate header to `reth-optimism-exex` (#271)

einar-oplabs
and
emhane
committed
feat: implemented hashed cursors (#268)

sadiq1971
and
emhane
committed
feat: add support for `eth_getProof` (#257)

meyer9
and
emhane
committed
feat: implement proof collection e2e tests (#231)

meyer9
and
emhane
committed
perf(trie): feature gate `reth-optimism-trie` metrics (#282)
emhane
committed
chore(docs): Add missing doclinks (#277)
emhane
committed
fix(docs): Fixes docs of `reth_optimism_trie::cursor_factory` (#286)
emhane
committed
fix(test): Enable live collector tests with metrics feature (#291)
emhane
committed
fix(docs): Fixes doc links (#292)
emhane
committed
feat: Track eth_getProof metrics (#285)

op-will
and
emhane
committed
chore: devnet setup (#295)

dhyaniarun1993
authored and
emhane
committed
feat: implement `debug_executePayload` (#276)

meyer9
and
emhane
committed
fix: storage trie cursor (#301)

dhyaniarun1993
authored and
emhane
committed
feat: latest block updates in `store_trie_updates` (#304)

dhyaniarun1993
authored and
emhane
committed
feat: live collector integration (#306)

committed
feat: add mdbx to storage tests (#308)

meyer9
authored and
emhane
committed
fix: merge conflict caused by storage tests (#313)

meyer9
authored and
emhane
committed
feat(grafana): add OpMinerMetrics panel (#303)

mikemillaa
and
emhane
committed
feat: create index table to efficiently prune history tables (#280)

committed
chore(trie): Move `OpProofsStorageError` to own module (#317)

emhane
and
dhyaniarun1993
committed
feat: Named fields for OpProofsStorageError variants (#319)

committed
feat: implement `debug_executionWitness` (#312)

meyer9
authored and
emhane
committed
chore(trie): Rename metrics scope (#322)
emhane
committed
feat: implemented wiped storage handling on `store_trie_updates` (#300)

authored and
emhane
committed
chore(trie): Rename `OpProofsStorageError` variant (#324)

emhane
and
dhyaniarun1993
committed
fix(db): `is_parent check` in `store_trie_update` (#309)

varun-doshi
authored and
emhane
committed
fix(grafana): OP-reth dashboard title (#314)
emhane
committed
feat: fetch trie updates (#327)

committed
feat: implemented mdbx `replace_updates` (#329)

sadiq1971
authored and
emhane
committed
feat: apply `BlockStateDiff` to the `prune_earliest_state` method (#332)

authored and
emhane
committed
chore: refactor storage trie cursor (#338)

dhyaniarun1993
authored and
emhane
committed
feat: integrate metrics into live sync process (#330)

meyer9
authored and
emhane
committed
test: basic storage proof (#336)

dhyaniarun1993
authored and
emhane
committed
test: `eth_getProof` for account proof validation (#341)

authored and
emhane
committed
test: `debug_executePayload` RPC (#340)

sadiq1971
authored and
emhane
committed
chore: historical proof e2e ci integration (#347)

dhyaniarun1993
authored and
emhane
committed
chore: devnet setup (#295)

dhyaniarun1993
authored and
emhane
committed
test: basic storage proof (#336)

dhyaniarun1993
authored and
emhane
committed
chore: historical proof e2e ci integration (#347)

dhyaniarun1993
authored and
emhane
committed
test: multi slot and zero testing (#343)

dhyaniarun1993
authored and
emhane
committed
test: resyncing (#350)

authored and
emhane
committed
test: e2e for `debug_executionWitness` (#348)

itschaindev
authored and
emhane
committed
test: doc test eg for exex setup (#352)

itschaindev
authored and
emhane
committed
chore: enable remaining mdbx tests (#354)

meyer9
authored and
emhane
committed
fix: ensure db tx is closed after backfill (#357)

meyer9
authored and
emhane
committed
refactor: `MdbxProofStorage` (#351)

authored and
emhane
committed
fix: rebase conflicts (#367)
emhane
committed
feat: handle reorg (#356)

dhyaniarun1993
authored and
emhane
committed
feat: add target debug logs to reth_optimism_exex (#368)

varun-doshi
authored and
emhane
committed
test: basic reorg (#369)

dhyaniarun1993
authored and
emhane
committed
fix: missing block after reorg (#382)

dhyaniarun1993
authored and
emhane
committed
feat: add sync status RPC (#353)

meyer9
authored and
emhane
committed
feat: replace variant OpProofsStorageError::Other (#355)

authored and
emhane
committed
feat: Implemented `OpProofStoragePruner` (#360)

sadiq1971
and
emhane
committed
feat: handle `ChainReverted` notification (#380)

authored and
emhane
committed
chore: small lint (#390)

mikemillaa
authored and
emhane
committed
feat(grafana): add transaction pool metrics panel (#345)

mikemillaa
and
emhane
committed
test: reorg test scenarios (#384)

dhyaniarun1993
authored and
emhane
committed
test: add new devnet for op-reth as sequencer (#391)

itschaindev
authored and
emhane
committed
chore(trie): Simplify cursor interface (#388)
emhane
committed
Fix lint
emhane
committed
Fix conflicts with upstream
emhane
committed
Fix conflicts
emhane
committed
Fix conflicts
emhane
committed
Fix todo impls based on upstream impls f5f890b
emhane
committed
feat: add panels for `eth_getProof` in grafana dashboard (#392)

itschaindev
authored and
emhane
committed
Update lockfile
emhane
committed
fix: add custom TrieType to separate metrics for op proofs storage (#397)

itschaindev
authored and
emhane
committed
feat: implement methods for new traits for `inmemory` cursor (#396)

dhyaniarun1993
authored and
emhane
committed
fix: use loop instead of recursing in hashed next (#402)

meyer9
authored and
emhane
committed
feat(grafana): Add flashblocks sequence length panel (#403)

emhane
and
Copilot
committed
fix: store block updates metric fixed (#409)

dhyaniarun1993
authored and
emhane
committed
feat: implemented `OpProofStorage` Database metrics (#407)

authored and
emhane
committed
feat: add `initialize-op-proofs` command (#377)

committed
feat: integrate `initialize-op-proofs` to devnet (#412)

committed
feat: dashboard for proof history related metrics (#414)

authored and
emhane
committed
fix: update metric on startup (#419)

itschaindev
authored and
emhane
committed
chore: code coverage for historical proof exex (#415)

dhyaniarun1993
and
emhane
committed
ci: trying coverage workflow with force (#424)

dhyaniarun1993
authored and
emhane
committed
chore(ci): Recover codecov file from original main (#421)

emhane
and
dhyaniarun1993
committed
chore: Add test for Display impl for PrunerOutput (#435)

varun-doshi
authored and
emhane
committed
feat: add exex sync status in grafana (#429)

itschaindev
authored and
emhane
committed
chore: run workflow(especially codecoverage) on merge (#428)

dhyaniarun1993
authored and
emhane
committed
feat: trieUpdates and hashedState added to notification (#425)

committed
feat: Consume TrieUpdates and HashedState from notification (#439)

committed
chore: grafana table size panel to pie chart (#448)

authored and
emhane
committed
fix: fall back to block execution if state updates missing from notification (#455)

dhyaniarun1993
authored and
emhane
committed
feat: Implemented `OpProofStoragePrunerTask` (#375)

sadiq1971
and
emhane
committed
feat: implemented pruner metrics (#454)

sadiq1971
authored and
emhane
committed
chore: inmem proof storage removed (#465)

dhyaniarun1993
authored and
emhane
committed
feat: added panel for pruner metrics (#468)

sadiq1971
authored and
emhane
committed
fix: new earliest block after pruning (#470)

dhyaniarun1993
authored and
emhane
committed
chore(exex): Add metrics feature in `reth-optimism-exex` (#438)

emhane
and
itschaindev
committed
chore(ci): revert changes to runners (#476)
emhane
committed
fix(trie): Add missing `ValueWithSubkey` impl for `VersionedValue<T>` (#475)
emhane
committed
chore: add prune e2e test back (#477)

committed
chore: sysgo integration (#478)

committed
chore(docs): Add op proofs cli to book (#479)

emhane
and
dhyaniarun1993
committed

Commits on Feb 4, 2026

chore: enable code coverage for e2e (#485)

committed
chore(chain-state): Receive sorted updates to exex (#464)

emhane
and
dhyaniarun1993
committed
feat(trie): Cover error branches of `execute_and_store_block_updates` (#437)

varun-doshi
authored and
emhane
committed
feat: unwind command added (#499)

dhyaniarun1993
and
emhane
committed
chore(test): use `reth_optimism_chainspec::BASE_SEPOLIA` in tests (#505)
emhane
committed
feat: prune cli added (#507)

dhyaniarun1993
authored and
emhane
committed
chore: e2e workflow merged to minimise overall run (#508)

dhyaniarun1993
authored and
emhane
committed
test: add unit test for OpProofsStateProviderRef Debug impl (#493)

Himess
and
emhane
committed
test: extended prune e2e with `getProof` consistency (#514)

sadiq1971
authored and
emhane
committed
feat: used `OpProofsStorageWithMetrics` provider on pruner (#498)

sadiq1971
authored and
emhane
committed
feat: pruning progress and metrics improvements (#504)

authored and
emhane
committed
feat: implement prune batching (#530)

dhyaniarun1993
authored and
emhane
committed
Update lockfile
emhane
committed
feat: address lookup table (#509)

dhyaniarun1993
authored and
emhane
committed
feat: backfill address map (#512)

dhyaniarun1993
authored and
emhane
committed
feat(docs): Wipe readme (#531)
emhane
committed
feat(docs): Add metrics dashboard to readme (#532)
emhane
committed
chore: docs added (#536)

dhyaniarun1993
authored and
emhane
committed
fix(book): Add missing docs from upstream main (#538)
emhane
committed
fix(trie): Fix broken `Debug` impl unit test (#539)
emhane
committed
refactor(trie): return `OpProofsStorageError` from `store_block_updates` (#537)

Himess
and
emhane
committed
feat: metrics panel for debug api ext (#533)

sadiq1971
and
emhane
committed
fix: cargo deny (#542)

sadiq1971
authored and
emhane
committed
refactor(trie): return `OpProofsStorageError` from `execute_and_store_block_updates` (#535)

Himess
and
emhane
committed
Fix conflicts
emhane
committed
Fix conflicts
emhane
committed
fix: initialize-op-proofs needs chain parameter (#544)

dhyaniarun1993
authored and
emhane
committed
fix: support Send in test_op_proofs_state_provider_ref_debug (#546)

dhyaniarun1993
authored and
emhane
committed
chore(trie): return `OpProofsStorageError` from `unwind_history` (#548)

emhane
and
Himess
committed
refactor(trie): return OpProofsStorageError from unwind_and_store_block_updates (#541)

Himess
and
emhane
committed
feat: integrated storing address mapping (#534)

sadiq1971
authored and
emhane
committed
chore: refactor op-proofs cli (#554)

itschaindev
authored and
emhane
committed
feat: added startup safety check for massive pruning operation (#556)

authored and
emhane
committed
fix: reduce default proofs pruning interval (#560)

dhyaniarun1993
authored and
emhane
committed
chore: fix reorg e2e (#558)

authored and
emhane
committed
chore: improve `append_or_delete_dup_sorted` (#552)

itschaindev
authored and
emhane
committed
chore(trie): replace `eyre` with `OpProofsStorageError` (#564)

itschaindev
authored and
emhane
committed
chore: revert hybrid storage experiment (#568)

dhyaniarun1993
authored and
emhane
committed
chore: remove stale RUSTSEC-2025-0137 advisory from deny.toml (#576)

Himess
authored and
emhane
committed
refactor(trie): extract save_hashed_accounts closure to method1 (#570)

authored and
emhane
committed
feat: optimized history deletions (#565)

sadiq1971
authored and
emhane
committed
ci: restrict codecov workflows to merge_group and workflow_dispatch (#513)

Himess
authored and
emhane
committed
Fix lint
emhane
committed
fix(doc): proofs doc fixed (#582)

dhyaniarun1993
authored and
emhane
committed
feat: optimised initial state update for pruning (#563)

dhyaniarun1993
authored and
emhane
committed
docs: OpProofStorage DB Schema (#583)

sadiq1971
authored and
emhane
committed
chore: push devstack support for op-reth upstream (#585)

itschaindev
authored and
emhane
committed
chore: added rpc to codecov `op-historical-proof` component (#586)

dhyaniarun1993
authored and
emhane
committed
feat: add verification interval for integrity check (#577)

authored and
emhane
committed
chore: hardware requirement section added (#579)

dhyaniarun1993
authored and
emhane
committed
chore(doc): limitation section added (#580)

dhyaniarun1993
authored and
emhane
committed
chore: backfill refactor (#578)

authored and
emhane
committed
chore(tire): Improve test coverage for `OpProofsStorageError` (#589)
emhane
committed
chore(doc): CLI fixed in README (#595)

dhyaniarun1993
authored and
emhane
committed
fix: db_stat after upstream pull (#601)

dhyaniarun1993
authored and
emhane
committed
fix: docs after upstream pull (#603)

dhyaniarun1993
authored and
emhane
committed
test: unit test for exex (#599)

sadiq1971
authored and
emhane
committed
fix: `MdbxStorageCursor` non first key issue (#602)

authored and
emhane
committed
chore: added exex missing tests (#605)

dhyaniarun1993
authored and
emhane
committed
Fix conflicts
emhane
committed
chore: getProof benchmark utility added (#550)

dhyaniarun1993
authored and
emhane
committed
chore(ci): fix compact ci workflow (#609)

dhyaniarun1993
authored and
emhane
committed
feat: refactor and optimise pruning (#587)

dhyaniarun1993
authored and
emhane
committed
fix: prune redundant tombstones at history horizon (#620)

dhyaniarun1993
authored and
emhane
committed
feat: backfill job restart-safe and idempotent (#594)

sadiq1971
authored and
emhane
committed
chore(trie): Use `reth-trie-common` to enable `serde-bincode-compat` in v1.10.1 (#617)
emhane
committed
chore(deps): Use stable deny.toml (#618)
emhane
committed
feat: backfill renamed to initialize (#622)

sadiq1971
authored and
emhane
committed
feat: refactored store (#623)

sadiq1971
authored and
emhane
committed
chore: mv proof args to rollup node (#625)

dhyaniarun1993
authored and
emhane
committed
chore(trie): Revert redundant diff (#610)
emhane
committed
chore: use reth versioned deps (#627)

dhyaniarun1993
and
emhane
committed
chore(trie): Fix lint (#636)
emhane
committed
fix: removed unused pruner metrics (#638)

sadiq1971
authored and
emhane
committed
chore(trie): Remove redundant generic lifetime for `InitializationJob` (#632)
emhane
committed
chore(trie): Make `initialize` a method of `InitializationJob` (#635)
emhane
committed
refactor(trie): use parking_lot::RwLock in InMemoryProofsStorage (#637)

Himess
and
emhane
committed
feat: async notification processing (#614)

dhyaniarun1993
and
emhane
committed
chore: simplify OpProofsStore (#639)

authored and
emhane
committed
chore: ExEx config builder (#642)

authored and
emhane
committed
chore(trie): Fix redundant type annotations (#645)
emhane
committed
chore(trie): Replace redundant clone of entries in `InitializationJob` (#644)
emhane
committed
chore: update to Reth 1.10.2 (#648)

meyer9
authored and
emhane
committed
chore: moved proof initialization to `reth-optimism-node` (#640)

authored and
emhane
committed
chore: separate initial state store trait (#647)

dhyaniarun1993
authored and
emhane
committed
chore(test): support reth as in sequencer and validator (#650)

committed
chore: fix flaky e2e test (#653)

committed
chore(test): dep dump (#654)

committed
Fix inconsistency with stable in reth-optimism-trie
emhane
committed
Fix inconsistency with stable op-reth binary
emhane
committed
Initial fixes to op-reth binary README
emhane
committed
Fix inconsistency with stable devstack tests
emhane
committed
Remove duplicate mdx files moved to subdir
emhane
committed
Fix crate header temporary of new crates
emhane
committed