diff --git a/AGENTS.md b/AGENTS.md
index eb3b0557..08c3a92f 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -30,7 +30,7 @@ cargo clippy --workspace --all-targets --all-features
 cargo sort --check --workspace --grouped --order package,workspace,lints,profile,bin,benches,dependencies,dev-dependencies,features
 ```
 
-The project uses nightly `2026-02-03` toolchain (edition 2024, rust-version 1.95).
+The project uses nightly `2026-02-03` toolchain (edition 2024, rust-version 1.94).
 
 ## Workspace Structure
 
@@ -69,7 +69,7 @@ The pipeline owns the reorg seams: `DivergenceLookups` (the bisection contract)
 
 - **`ANCHOR_BLOCK`** — Trusted starting point (block number, hash, state root, withdrawals root).
 - **`CANONICAL_CHAIN`** — Validated chain progression (block number → hash, state root, withdrawals root); a bounded contiguous window in both binaries, and exactly what reorg bisection trusts.
-- **`CONTRACTS`** — Persistent tier of the contract bytecode cache (code hash → bincode+lz4 bytecode). The in-memory tier is the bounded `ContractCache` on top.
+- **`CONTRACTS`** — Persistent tier of the contract bytecode cache (code hash → bincode+lz4 bytecode). The in-memory tier is the bounded `ContractCache` on top. Rows are self-validating on read: decode failures and keccak mismatches surface as misses (re-fetched from RPC and overwritten), not errors, so encoding drift across upgrades never bricks a data dir.
 - **`GENESIS_CONFIG`** — Hardfork activation rules (validator only).
 - **`BLOCK_DATA`** — Full block content (trace server only).
 - **`WITNESSES`** — Light witness data (trace server only).
@@ -112,7 +112,7 @@ Inbound JSON-RPC batch entries execute concurrently as independent runtime tasks
 HTTP responses negotiate gzip/zstd compression per request via `Accept-Encoding` (kill switch: `--response-compression-disabled`); bodies under 4 KiB stay identity, the stack order lives in `http_middleware()` (compression outside the size/timing layers keeps `x-response-size` at the uncompressed size and `x-execution-time-ns` free of compression CPU), and response-cache hits re-compress per hit.
 Body-streaming cost is metered by the outermost middleware layer (`debug_trace_body_cpu_time_seconds` / `debug_trace_wire_bytes_total`, labeled by encoding), since every request-scoped measurement is sealed before the body streams.
 The response cache is keyed by `(resource, block hash, typed tracer variant)`; by-number handlers resolve number → canonical hash before the lookup (local `CANONICAL_CHAIN` first, upstream fallback).
-It only stores idempotent request shapes: the five built-in tracers (keyed by their parsed typed `tracerConfig`) and the bare default struct-logger request; JS tracers, `muxTracer`, and struct-logger requests with non-default flags bypass it entirely, and a type-malformed `tracerConfig` on call/prestate/flatCall is rejected with `-32602`.
+It only stores idempotent request shapes: the five supported built-in tracers (keyed by their parsed typed `tracerConfig`) and the bare default struct-logger request; JS tracers, `muxTracer`, and struct-logger requests with non-default flags bypass it entirely; the unimplemented `erc7562Tracer` and a type-malformed `tracerConfig` on call/prestate/flatCall are rejected with `-32602` before any block data is fetched.
 Canonical-hash resolution reads the bounded `CANONICAL_CHAIN` window first (local cache mode), then a bounded in-memory memo of upstream-resolved bindings (`--canonical-hash-memo-capacity`; only depth-final heights are memoized, so a memoized binding can no longer reorg), and only then upstream — so historical heights resolve locally after first touch within a process lifetime.
 The memo's depth gate learns the tip from the window and `latest`-tag lookups, falling back to a throttled upstream `eth_blockNumber` seed (stateless mode with numeric-only traffic); chain sync clears the memo on stale resets and on reorgs at least the safety depth deep.
 Below the response cache, a bounded in-memory `BlockData` cache keyed by block hash (`--block-data-cache-max-size`, default 1GB, 0 disables) fronts the DB and RPC tiers; block-number lookups resolve number → hash before touching it, so canonicality is never cached and it needs no reorg invalidation.
@@ -129,7 +129,7 @@ The background chain-sync prefetch routes by freshness against the last observed
 | `crates/stateless-core/src/executor.rs`                                                        | Block validation and EVM replay (generic over the `BlockInput` projection)           |
 | `crates/stateless-core/src/evm_database.rs`                                                    | WitnessDatabase implementing `revm::DatabaseRef`                                     |
 | `crates/stateless-core/src/db.rs`                                                              | Shared storage traits (`ContractStore`, `ChainStore`) + `StoreError` / `StoreResult` |
-| `crates/stateless-core/src/withdrawals.rs`                                                     | Withdrawal validation and MPT witness handling                                       |
+| `crates/stateless-core/src/withdrawals.rs`                                                     | Withdrawal MPT witness verification (witness linearized into `alloy_trie::HashBuilder`)                                       |
 | `crates/stateless-db/src/{lib,tables,helpers,serialize,cache}.rs`                              | Shared redb tables, helpers, serialization, and `ContractCache`                      |
 | `crates/stateless-common/src/rpc_client.rs`                                                    | RPC client for blocks, witnesses, and bytecode                                       |
 | `crates/stateless-common/src/metrics.rs`                                                       | RpcMethod, RpcMetrics, RpcClientConfig                                               |
diff --git a/Cargo.lock b/Cargo.lock
index 46f7c149..f9394138 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2,17 +2,6 @@
 # It is not intended for manual editing.
 version = 4
 
-[[package]]
-name = "addchain"
-version = "0.2.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3b2e69442aa5628ea6951fa33e24efe8313f4321a91bd729fc2f75bdfc858570"
-dependencies = [
- "num-bigint 0.3.3",
- "num-integer",
- "num-traits",
-]
-
 [[package]]
 name = "adler2"
 version = "2.0.1"
@@ -40,6 +29,15 @@ dependencies = [
  "memchr",
 ]
 
+[[package]]
+name = "aligned-vec"
+version = "0.6.4"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "dc890384c8602f339876ded803c97ad529f3842aba97f6392b3dba0dd171769b"
+dependencies = [
+ "equator",
+]
+
 [[package]]
 name = "alloc-no-stdlib"
 version = "2.0.4"
@@ -63,22 +61,22 @@ checksum = "683d7910e743518b0e34f1186f92494becacb047c7b6bf616c96772180fef923"
 
 [[package]]
 name = "alloy-chains"
-version = "0.2.20"
+version = "0.2.37"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4bc32535569185cbcb6ad5fa64d989a47bccb9a08e27284b1f2a3ccf16e6d010"
+checksum = "e5fdcfed8f106be3df944054aaa42bc13ae103a3ac8a9f4b08d4f053e3a743f8"
 dependencies = [
  "alloy-primitives",
  "alloy-rlp",
  "num_enum",
+ "phf 0.14.0",
  "serde",
- "strum",
 ]
 
 [[package]]
 name = "alloy-consensus"
-version = "1.1.2"
+version = "2.0.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "8b6440213a22df93a87ed512d2f668e7dc1d62a05642d107f82d61edc9e12370"
+checksum = "83447eeb17816e172f1dfc0db1f9dc0b7c5d069bd1f7cecbecceb382bf931015"
 dependencies = [
  "alloy-eips",
  "alloy-primitives",
@@ -98,14 +96,14 @@ dependencies = [
  "serde",
  "serde_json",
  "serde_with",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
 ]
 
 [[package]]
 name = "alloy-consensus-any"
-version = "1.1.2"
+version = "2.0.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "15d0bea09287942405c4f9d2a4f22d1e07611c2dbd9d5bf94b75366340f9e6e0"
+checksum = "5406343e306856dc2be762700e98a16904de45dee14a07f233e742ce68daff2f"
 dependencies = [
  "alloy-consensus",
  "alloy-eips",
@@ -125,7 +123,7 @@ dependencies = [
  "alloy-rlp",
  "crc",
  "serde",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
 ]
 
 [[package]]
@@ -151,18 +149,47 @@ dependencies = [
  "borsh",
  "k256",
  "serde",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
+]
+
+[[package]]
+name = "alloy-eip7928"
+version = "0.3.7"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "6b827a6d7784fe3eb3489d40699407a4cdcce74271421a01bdffe60cf573bb16"
+dependencies = [
+ "alloy-primitives",
+ "alloy-rlp",
+ "borsh",
+ "once_cell",
+ "serde",
+ "thiserror 2.0.20",
+]
+
+[[package]]
+name = "alloy-eip7928"
+version = "0.4.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b3b12337f74cbfa451cb04dac173974814a6ff463079e1793aa09600ba8813ab"
+dependencies = [
+ "alloy-primitives",
+ "alloy-rlp",
+ "borsh",
+ "once_cell",
+ "serde",
+ "thiserror 2.0.20",
 ]
 
 [[package]]
 name = "alloy-eips"
-version = "1.1.2"
+version = "2.0.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4bd2c7ae05abcab4483ce821f12f285e01c0b33804e6883dd9ca1569a87ee2be"
+checksum = "0dca4c89ace90684b4b77366d00631ed498c9af962079af2a5dbc593a0618a77"
 dependencies = [
  "alloy-eip2124",
  "alloy-eip2930",
  "alloy-eip7702",
+ "alloy-eip7928 0.3.7",
  "alloy-primitives",
  "alloy-rlp",
  "alloy-serde",
@@ -171,37 +198,38 @@ dependencies = [
  "c-kzg",
  "derive_more",
  "either",
+ "ethereum_ssz",
+ "ethereum_ssz_derive",
  "serde",
  "serde_with",
  "sha2 0.10.9",
- "thiserror 2.0.17",
 ]
 
 [[package]]
 name = "alloy-evm"
-version = "0.15.0"
+version = "0.36.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "28de0dd1bbb0634ef7c3715e8e60176b77b82f8b6b15b2e35fe64cf6640f6550"
+checksum = "a6e494529570a4d25eb4d1a7456d8f969c3202aceaf703e4006cec5f730aee96"
 dependencies = [
  "alloy-consensus",
  "alloy-eips",
  "alloy-hardforks",
  "alloy-primitives",
+ "alloy-rpc-types-engine",
  "alloy-rpc-types-eth",
  "alloy-sol-types",
  "auto_impl",
  "derive_more",
- "op-alloy-consensus",
- "op-revm",
  "revm",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
+ "tracing",
 ]
 
 [[package]]
 name = "alloy-genesis"
-version = "1.1.2"
+version = "2.0.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "fc47eaae86488b07ea8e20236184944072a78784a1f4993f8ec17b3aa5d08c21"
+checksum = "ab0e0fe9e6d1120ad7bb9254c3fc2b9bc80a8df42a033fb626be6559c13d5153"
 dependencies = [
  "alloy-eips",
  "alloy-primitives",
@@ -214,9 +242,9 @@ dependencies = [
 
 [[package]]
 name = "alloy-hardforks"
-version = "0.2.13"
+version = "0.4.7"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3165210652f71dfc094b051602bafd691f506c54050a174b1cba18fb5ef706a3"
+checksum = "83ba208044232d14d4adbfa77e57d6329f51bc1acc21f5667bb7db72d88a0831"
 dependencies = [
  "alloy-chains",
  "alloy-eip2124",
@@ -227,9 +255,9 @@ dependencies = [
 
 [[package]]
 name = "alloy-json-abi"
-version = "1.4.1"
+version = "1.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5513d5e6bd1cba6bdcf5373470f559f320c05c8c59493b6e98912fbe6733943f"
+checksum = "7c36c9d7f9021601b04bfef14a4b64849f6d73116a4e91e071d7fbfe10247901"
 dependencies = [
  "alloy-primitives",
  "alloy-sol-type-parser",
@@ -239,24 +267,24 @@ dependencies = [
 
 [[package]]
 name = "alloy-json-rpc"
-version = "1.1.2"
+version = "2.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "003f46c54f22854a32b9cc7972660a476968008ad505427eabab49225309ec40"
+checksum = "989d701ece9bccec3294991ce4b4a39dd1cecd0979ea58e86b9878679591b4f5"
 dependencies = [
  "alloy-primitives",
  "alloy-sol-types",
  "http",
  "serde",
  "serde_json",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
  "tracing",
 ]
 
 [[package]]
 name = "alloy-network"
-version = "1.1.2"
+version = "2.0.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4f4029954d9406a40979f3a3b46950928a0fdcfe3ea8a9b0c17490d57e8aa0e3"
+checksum = "a7db7b095b0b1db1d18ce7e91dcd2e82007f2d52bfb8125e6b64633a74a06bc3"
 dependencies = [
  "alloy-consensus",
  "alloy-consensus-any",
@@ -275,14 +303,14 @@ dependencies = [
  "futures-utils-wasm",
  "serde",
  "serde_json",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
 ]
 
 [[package]]
 name = "alloy-network-primitives"
-version = "1.1.2"
+version = "2.0.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7805124ad69e57bbae7731c9c344571700b2a18d351bda9e0eba521c991d1bcb"
+checksum = "cd28d9bfd11729037d194f2b1d43db8642eb3f342032691f4ca96bb745479c3c"
 dependencies = [
  "alloy-consensus",
  "alloy-eips",
@@ -293,9 +321,8 @@ dependencies = [
 
 [[package]]
 name = "alloy-op-evm"
-version = "0.15.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "0afe768962308a08b42fddef8a4296324f140b5a8dd0d4360038229885ce9434"
+version = "0.32.0"
+source = "git+https://github.com/ethereum-optimism/optimism?rev=f67d87cd5c9992b62d215c043917b94e3f019629#f67d87cd5c9992b62d215c043917b94e3f019629"
 dependencies = [
  "alloy-consensus",
  "alloy-eips",
@@ -303,35 +330,36 @@ dependencies = [
  "alloy-op-hardforks",
  "alloy-primitives",
  "auto_impl",
- "op-alloy-consensus",
+ "op-alloy",
  "op-revm",
  "revm",
+ "thiserror 2.0.20",
 ]
 
 [[package]]
 name = "alloy-op-hardforks"
-version = "0.2.13"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3417f4187eaf7f7fb0d7556f0197bca26f0b23c4bb3aca0c9d566dc1c5d727a2"
+version = "0.5.0"
+source = "git+https://github.com/ethereum-optimism/optimism?rev=f67d87cd5c9992b62d215c043917b94e3f019629#f67d87cd5c9992b62d215c043917b94e3f019629"
 dependencies = [
  "alloy-chains",
  "alloy-hardforks",
+ "alloy-primitives",
  "auto_impl",
 ]
 
 [[package]]
 name = "alloy-primitives"
-version = "1.5.2"
+version = "1.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f6a0fb18dd5fb43ec5f0f6a20be1ce0287c79825827de5744afaa6c957737c33"
+checksum = "4885c1409b6936c4898e646ef58baf6ec54edaf6d8179f79df805a7b85b7cf3e"
 dependencies = [
  "alloy-rlp",
  "bytes",
  "cfg-if",
  "const-hex",
  "derive_more",
- "foldhash 0.2.0",
- "hashbrown 0.16.1",
+ "foldhash",
+ "hashbrown 0.17.1",
  "indexmap 2.12.1",
  "itoa",
  "k256",
@@ -342,16 +370,16 @@ dependencies = [
  "rapidhash",
  "ruint",
  "rustc-hash",
+ "secp256k1 0.31.1",
  "serde",
  "sha3",
- "tiny-keccak",
 ]
 
 [[package]]
 name = "alloy-provider"
-version = "1.1.2"
+version = "2.0.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d369e12c92870d069e0c9dc5350377067af8a056e29e3badf8446099d7e00889"
+checksum = "8955ab30418343de57b356de2ea60200f9fb8016a7ea3bc7f5c6176f01a8b1cf"
 dependencies = [
  "alloy-chains",
  "alloy-consensus",
@@ -361,7 +389,9 @@ dependencies = [
  "alloy-network-primitives",
  "alloy-primitives",
  "alloy-rpc-client",
+ "alloy-rpc-types-debug",
  "alloy-rpc-types-eth",
+ "alloy-rpc-types-trace",
  "alloy-signer",
  "alloy-sol-types",
  "alloy-transport",
@@ -379,7 +409,7 @@ dependencies = [
  "reqwest",
  "serde",
  "serde_json",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
  "tokio",
  "tracing",
  "url",
@@ -388,9 +418,9 @@ dependencies = [
 
 [[package]]
 name = "alloy-rlp"
-version = "0.3.12"
+version = "0.3.16"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5f70d83b765fdc080dbcd4f4db70d8d23fe4761f2f02ebfa9146b833900634b4"
+checksum = "24671b1f62edcf0f9b62994c7bf72cd621a04a4b99f5020ece1a647b40e2f103"
 dependencies = [
  "alloy-rlp-derive",
  "arrayvec",
@@ -399,9 +429,9 @@ dependencies = [
 
 [[package]]
 name = "alloy-rlp-derive"
-version = "0.3.12"
+version = "0.3.16"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "64b728d511962dda67c1bc7ea7c03736ec275ed2cf4c35d9585298ac9ccf3b73"
+checksum = "9d4311c03125e8a18296504560b9de3d75ecbd0dcda7f71e6cf2a196d57e6fba"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -410,9 +440,9 @@ dependencies = [
 
 [[package]]
 name = "alloy-rpc-client"
-version = "1.1.2"
+version = "2.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "31c89883fe6b7381744cbe80fef638ac488ead4f1956a4278956a1362c71cd2e"
+checksum = "f5274f9ada7f558d2feaba16fadcb96022512566cf424147f9cfa2000bc2e458"
 dependencies = [
  "alloy-json-rpc",
  "alloy-primitives",
@@ -433,20 +463,56 @@ dependencies = [
 
 [[package]]
 name = "alloy-rpc-types-any"
-version = "1.1.2"
+version = "2.0.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b43c1622aac2508d528743fd4cfdac1dea92d5a8fa894038488ff7edd0af0b32"
+checksum = "0a6561ed4759c974d9c144500a59e3fb8c1d87327a12900d5ce455c0cae6dcb6"
 dependencies = [
  "alloy-consensus-any",
+ "alloy-network-primitives",
+ "alloy-primitives",
  "alloy-rpc-types-eth",
  "alloy-serde",
+ "serde",
+ "serde_json",
+]
+
+[[package]]
+name = "alloy-rpc-types-debug"
+version = "2.3.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "bddf06191e2b12eaaeb3a50ef29a8f3416fb74c61421b80f9d7554c4c1d59a56"
+dependencies = [
+ "alloy-primitives",
+ "alloy-rlp",
+ "derive_more",
+ "serde",
+ "serde_with",
+]
+
+[[package]]
+name = "alloy-rpc-types-engine"
+version = "2.0.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "7eba59e1c069f168a01982f42a57797736923b76aa854194df4930be17867e1c"
+dependencies = [
+ "alloy-consensus",
+ "alloy-eips",
+ "alloy-primitives",
+ "alloy-rlp",
+ "alloy-serde",
+ "derive_more",
+ "ethereum_ssz",
+ "ethereum_ssz_derive",
+ "rand 0.8.5",
+ "serde",
+ "strum",
 ]
 
 [[package]]
 name = "alloy-rpc-types-eth"
-version = "1.1.2"
+version = "2.0.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ed5fafb741c19b3cca4cdd04fa215c89413491f9695a3e928dee2ae5657f607e"
+checksum = "175a2a5b6017d7f61b5e4b800d21215fe8e94fe729d00828e13bb6d93dcf3492"
 dependencies = [
  "alloy-consensus",
  "alloy-consensus-any",
@@ -460,28 +526,28 @@ dependencies = [
  "serde",
  "serde_json",
  "serde_with",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
 ]
 
 [[package]]
 name = "alloy-rpc-types-trace"
-version = "1.1.2"
+version = "2.0.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c55324323aa634b01bdecb2d47462a8dce05f5505b14a6e5db361eef16eda476"
+checksum = "514b4b1ce3354f65067b4fc7eb75358e0f2ec8be3340c96dea65d6894f9ca435"
 dependencies = [
  "alloy-primitives",
  "alloy-rpc-types-eth",
  "alloy-serde",
  "serde",
  "serde_json",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
 ]
 
 [[package]]
 name = "alloy-serde"
-version = "1.1.2"
+version = "2.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a6f180c399ca7c1e2fe17ea58343910cad0090878a696ff5a50241aee12fc529"
+checksum = "3ad7efdd5e8fe92f5bab87956d6d3f717d1614c4ab6ad0d1f869b16e83b0dff9"
 dependencies = [
  "alloy-primitives",
  "serde",
@@ -490,9 +556,9 @@ dependencies = [
 
 [[package]]
 name = "alloy-signer"
-version = "1.1.2"
+version = "2.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ecc39ad2c0a3d2da8891f4081565780703a593f090f768f884049aa3aa929cbc"
+checksum = "afa150cd076471ef21aa7b181d8186cb86c3239518859a2e5d80fbec74f0ec38"
 dependencies = [
  "alloy-primitives",
  "async-trait",
@@ -500,14 +566,14 @@ dependencies = [
  "either",
  "elliptic-curve",
  "k256",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
 ]
 
 [[package]]
 name = "alloy-signer-local"
-version = "1.1.2"
+version = "2.0.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "930e17cb1e46446a193a593a3bfff8d0ecee4e510b802575ebe300ae2e43ef75"
+checksum = "e48366d2c42b8d95ef951101bafa28486590f21b7a1e68b6b2d069746557bbe3"
 dependencies = [
  "alloy-consensus",
  "alloy-network",
@@ -516,18 +582,18 @@ dependencies = [
  "async-trait",
  "k256",
  "rand 0.8.5",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
 ]
 
 [[package]]
 name = "alloy-sol-macro"
-version = "1.4.1"
+version = "1.6.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f3ce480400051b5217f19d6e9a82d9010cdde20f1ae9c00d53591e4a1afbb312"
+checksum = "b5655c38d5f84955bf727b2eeb62fddd91ebb98fd1d7ae6eb77f73ea88f9b9cf"
 dependencies = [
  "alloy-sol-macro-expander",
  "alloy-sol-macro-input",
- "proc-macro-error2",
+ "proc-macro-error3",
  "proc-macro2",
  "quote",
  "syn 2.0.117",
@@ -535,27 +601,27 @@ dependencies = [
 
 [[package]]
 name = "alloy-sol-macro-expander"
-version = "1.4.1"
+version = "1.6.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6d792e205ed3b72f795a8044c52877d2e6b6e9b1d13f431478121d8d4eaa9028"
+checksum = "6277c780e07b76951e09a59788dde230d1582612324177d11a43a61e21a6bb83"
 dependencies = [
  "alloy-sol-macro-input",
  "const-hex",
  "heck",
  "indexmap 2.12.1",
- "proc-macro-error2",
+ "proc-macro-error3",
  "proc-macro2",
  "quote",
+ "sha3",
  "syn 2.0.117",
  "syn-solidity",
- "tiny-keccak",
 ]
 
 [[package]]
 name = "alloy-sol-macro-input"
-version = "1.4.1"
+version = "1.6.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "0bd1247a8f90b465ef3f1207627547ec16940c35597875cdc09c49d58b19693c"
+checksum = "9762b2ad3e5a0c09886de54fe549ab0056681df843cb082e2df7e1c0eb270d30"
 dependencies = [
  "const-hex",
  "dunce",
@@ -569,19 +635,19 @@ dependencies = [
 
 [[package]]
 name = "alloy-sol-type-parser"
-version = "1.4.1"
+version = "1.6.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "954d1b2533b9b2c7959652df3076954ecb1122a28cc740aa84e7b0a49f6ac0a9"
+checksum = "da4c7130f0f01f4719678bda3db3bc7267fc2f7f9d0565e3bd964cd2bb45050d"
 dependencies = [
  "serde",
- "winnow",
+ "winnow 1.0.4",
 ]
 
 [[package]]
 name = "alloy-sol-types"
-version = "1.4.1"
+version = "1.6.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "70319350969a3af119da6fb3e9bddb1bce66c9ea933600cb297c8b1850ad2a3c"
+checksum = "384cf252de0db2dec52821eac037a7f57e2aa33fe5b900ce6fe39973402341f1"
 dependencies = [
  "alloy-json-abi",
  "alloy-primitives",
@@ -591,9 +657,9 @@ dependencies = [
 
 [[package]]
 name = "alloy-transport"
-version = "1.1.2"
+version = "2.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "cae82426d98f8bc18f53c5223862907cac30ab8fc5e4cd2bb50808e6d3ab43d8"
+checksum = "3cd5dbd32cae5d1bc3afaf455064ebd9bcce70b57de220468908717c225225dd"
 dependencies = [
  "alloy-json-rpc",
  "auto_impl",
@@ -604,7 +670,7 @@ dependencies = [
  "parking_lot",
  "serde",
  "serde_json",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
  "tokio",
  "tower",
  "tracing",
@@ -614,12 +680,13 @@ dependencies = [
 
 [[package]]
 name = "alloy-transport-http"
-version = "1.1.2"
+version = "2.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "90aa6825760905898c106aba9c804b131816a15041523e80b6d4fe7af6380ada"
+checksum = "f0b7b1f0e528ae788d05937f5b351afae3b4c1e08f17a061d868bd28e56aa9e3"
 dependencies = [
  "alloy-json-rpc",
  "alloy-transport",
+ "itertools 0.14.0",
  "reqwest",
  "serde_json",
  "tower",
@@ -629,27 +696,27 @@ dependencies = [
 
 [[package]]
 name = "alloy-trie"
-version = "0.9.1"
+version = "0.9.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e3412d52bb97c6c6cc27ccc28d4e6e8cf605469101193b50b0bd5813b1f990b5"
+checksum = "3f14b5d9b2c2173980202c6ff470d96e7c5e202c65a9f67884ad565226df7fbb"
 dependencies = [
  "alloy-primitives",
  "alloy-rlp",
- "arrayvec",
  "derive_more",
  "nybbles",
  "serde",
  "smallvec",
+ "thiserror 2.0.20",
  "tracing",
 ]
 
 [[package]]
 name = "alloy-tx-macros"
-version = "1.1.2"
+version = "2.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ae109e33814b49fc0a62f2528993aa8a2dd346c26959b151f05441dc0b9da292"
+checksum = "b3e2386593cef5b12c7d439dbcf62d7d51c3a50dc943909b42ae34b48f1b69dc"
 dependencies = [
- "darling",
+ "darling 0.23.0",
  "proc-macro2",
  "quote",
  "syn 2.0.117",
@@ -720,7 +787,7 @@ dependencies = [
  "fnv",
  "hashbrown 0.15.5",
  "itertools 0.13.0",
- "num-bigint 0.4.6",
+ "num-bigint",
  "num-integer",
  "num-traits",
  "zeroize",
@@ -740,7 +807,7 @@ dependencies = [
  "fnv",
  "hashbrown 0.15.5",
  "itertools 0.14.0",
- "num-bigint 0.4.6",
+ "num-bigint",
  "num-integer",
  "num-traits",
  "rayon",
@@ -769,7 +836,7 @@ dependencies = [
  "ark-serialize 0.3.0",
  "ark-std 0.3.0",
  "derivative",
- "num-bigint 0.4.6",
+ "num-bigint",
  "num-traits",
  "paste",
  "rustc_version 0.3.3",
@@ -789,7 +856,7 @@ dependencies = [
  "derivative",
  "digest 0.10.7",
  "itertools 0.10.5",
- "num-bigint 0.4.6",
+ "num-bigint",
  "num-traits",
  "paste",
  "rustc_version 0.4.1",
@@ -810,7 +877,7 @@ dependencies = [
  "digest 0.10.7",
  "educe",
  "itertools 0.13.0",
- "num-bigint 0.4.6",
+ "num-bigint",
  "num-traits",
  "paste",
  "zeroize",
@@ -829,7 +896,7 @@ dependencies = [
  "digest 0.10.7",
  "educe",
  "itertools 0.14.0",
- "num-bigint 0.4.6",
+ "num-bigint",
  "num-traits",
  "paste",
  "rayon",
@@ -881,7 +948,7 @@ version = "0.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "db2fd794a08ccb318058009eefdf15bcaaaaf6f8161eb3345f907222bac38b20"
 dependencies = [
- "num-bigint 0.4.6",
+ "num-bigint",
  "num-traits",
  "quote",
  "syn 1.0.109",
@@ -893,7 +960,7 @@ version = "0.4.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "7abe79b0e4288889c4574159ab790824d0033b9fdcb2a112a3182fac2e514565"
 dependencies = [
- "num-bigint 0.4.6",
+ "num-bigint",
  "num-traits",
  "proc-macro2",
  "quote",
@@ -906,7 +973,7 @@ version = "0.5.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "09be120733ee33f7693ceaa202ca41accd5653b779563608f1234f78ae07c4b3"
 dependencies = [
- "num-bigint 0.4.6",
+ "num-bigint",
  "num-traits",
  "proc-macro2",
  "quote",
@@ -918,7 +985,7 @@ name = "ark-ff-macros"
 version = "0.5.0"
 source = "git+https://github.com/megaeth-labs/algebra.git?rev=80ca69c37f79d5d00750edc1602af81b5f456695#80ca69c37f79d5d00750edc1602af81b5f456695"
 dependencies = [
- "num-bigint 0.4.6",
+ "num-bigint",
  "num-traits",
  "proc-macro2",
  "quote",
@@ -965,7 +1032,7 @@ dependencies = [
  "ark-relations",
  "ark-std 0.5.0",
  "educe",
- "num-bigint 0.4.6",
+ "num-bigint",
  "num-integer",
  "num-traits",
  "tracing",
@@ -1001,7 +1068,7 @@ checksum = "adb7b85a02b83d2f22f89bd5cac66c9c89474240cb6207cb1efc16d098e822a5"
 dependencies = [
  "ark-std 0.4.0",
  "digest 0.10.7",
- "num-bigint 0.4.6",
+ "num-bigint",
 ]
 
 [[package]]
@@ -1014,7 +1081,7 @@ dependencies = [
  "ark-std 0.5.0",
  "arrayvec",
  "digest 0.10.7",
- "num-bigint 0.4.6",
+ "num-bigint",
 ]
 
 [[package]]
@@ -1026,7 +1093,7 @@ dependencies = [
  "ark-std 0.5.0",
  "arrayvec",
  "digest 0.10.7",
- "num-bigint 0.4.6",
+ "num-bigint",
  "rayon",
 ]
 
@@ -1093,9 +1160,6 @@ name = "arrayvec"
 version = "0.7.6"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "7c02d123df017efcdfbd739ef81735b36c5ba83ec3c59c80a9d7ecc718f92e50"
-dependencies = [
- "serde",
-]
 
 [[package]]
 name = "async-compression"
@@ -1176,10 +1240,27 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "c08606f8c3cbf4ce6ec8e28fb0014a2c086708fe954eaa885384a6165172e7e8"
 
 [[package]]
-name = "az"
-version = "1.2.1"
+name = "aws-lc-rs"
+version = "1.18.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ce2b2dcc879c3bae0d371e77c99f2238400ef24ec001394befa67b6e543add9e"
+dependencies = [
+ "aws-lc-sys",
+ "zeroize",
+]
+
+[[package]]
+name = "aws-lc-sys"
+version = "0.44.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7b7e4c2464d97fe331d41de9d5db0def0a96f4d823b8b32a2efd503578988973"
+checksum = "f09fae7be8bb3174e05c6afdb34199e6dc0c7c04ba9fa237b1967adfbde27483"
+dependencies = [
+ "cc",
+ "cmake",
+ "dunce",
+ "fs_extra",
+ "pkg-config",
+]
 
 [[package]]
 name = "banderwagon"
@@ -1212,15 +1293,6 @@ version = "1.8.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "55248b47b0caf0546f7988906588779981c43bb1bc9d0c44087278f80cdb44ba"
 
-[[package]]
-name = "bincode"
-version = "1.3.3"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b1f45e9417d87227c7a56d22e471c6206462cba514c7590c09aff4cf6d1ddcad"
-dependencies = [
- "serde",
-]
-
 [[package]]
 name = "bincode"
 version = "2.0.1"
@@ -1264,9 +1336,9 @@ dependencies = [
 
 [[package]]
 name = "bitflags"
-version = "2.10.0"
+version = "2.13.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "812e12b5285cc515a9c72a5c1d3b6d46a19dac5acfef5265968c166106e31dd3"
+checksum = "b588b76d00fde79687d7646a9b5bdf3cc0f655e0bbd080335a95d7e96f3587da"
 dependencies = [
  "serde_core",
 ]
@@ -1315,6 +1387,15 @@ dependencies = [
  "generic-array",
 ]
 
+[[package]]
+name = "block-buffer"
+version = "0.12.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "d2f6c7dbe95a6ed67ad9f18e57daf93a2f034c524b99fd2b76d18fdfeb6660aa"
+dependencies = [
+ "hybrid-array",
+]
+
 [[package]]
 name = "blst"
 version = "0.3.16"
@@ -1329,25 +1410,26 @@ dependencies = [
 
 [[package]]
 name = "boa_ast"
-version = "0.20.0"
+version = "0.21.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2c340fe0f0b267787095cbe35240c6786ff19da63ec7b69367ba338eace8169b"
+checksum = "6339a700715bda376f5ea65c76e8fe8fc880930d8b0638cea68e7f3da6538e0a"
 dependencies = [
  "bitflags",
  "boa_interner",
  "boa_macros",
  "boa_string",
  "indexmap 2.12.1",
- "num-bigint 0.4.6",
+ "num-bigint",
  "rustc-hash",
 ]
 
 [[package]]
 name = "boa_engine"
-version = "0.20.0"
+version = "0.21.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f620c3f06f51e65c0504ddf04978be1b814ac6586f0b45f6019801ab5efd37f9"
+checksum = "1521be326f8a5c8887e95d4ce7f002917a002a23f7b93b9a6a2bf50ed4157824"
 dependencies = [
+ "aligned-vec",
  "arrayvec",
  "bitflags",
  "boa_ast",
@@ -1355,73 +1437,80 @@ dependencies = [
  "boa_interner",
  "boa_macros",
  "boa_parser",
- "boa_profiler",
  "boa_string",
  "bytemuck",
  "cfg-if",
+ "cow-utils",
  "dashmap",
+ "dynify",
  "fast-float2",
- "hashbrown 0.15.5",
- "icu_normalizer 1.5.0",
+ "float16",
+ "futures-channel",
+ "futures-concurrency",
+ "futures-lite",
+ "hashbrown 0.16.1",
+ "icu_normalizer",
  "indexmap 2.12.1",
  "intrusive-collections",
- "itertools 0.13.0",
- "num-bigint 0.4.6",
+ "itertools 0.14.0",
+ "num-bigint",
  "num-integer",
  "num-traits",
  "num_enum",
- "once_cell",
- "pollster",
+ "paste",
  "portable-atomic",
- "rand 0.8.5",
+ "rand 0.9.2",
  "regress",
  "rustc-hash",
  "ryu-js",
  "serde",
  "serde_json",
- "sptr",
+ "small_btree",
  "static_assertions",
+ "tag_ptr",
  "tap",
  "thin-vec",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
  "time",
+ "xsum",
 ]
 
 [[package]]
 name = "boa_gc"
-version = "0.20.0"
+version = "0.21.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2425c0b7720d42d73eaa6a883fbb77a5c920da8694964a3d79a67597ac55cce2"
+checksum = "17323a98cf2e631afacf1a6d659c1212c48a68bacfa85afab0a66ade80582e51"
 dependencies = [
  "boa_macros",
- "boa_profiler",
  "boa_string",
- "hashbrown 0.15.5",
+ "hashbrown 0.16.1",
  "thin-vec",
 ]
 
 [[package]]
 name = "boa_interner"
-version = "0.20.0"
+version = "0.21.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "42407a3b724cfaecde8f7d4af566df4b56af32a2f11f0956f5570bb974e7f749"
+checksum = "20510b8b02bcde9b0a01cf34c0c308c56156503d1d91cdab4c8cfbd292b747ea"
 dependencies = [
  "boa_gc",
  "boa_macros",
- "hashbrown 0.15.5",
+ "hashbrown 0.16.1",
  "indexmap 2.12.1",
  "once_cell",
- "phf",
+ "phf 0.13.1",
  "rustc-hash",
  "static_assertions",
 ]
 
 [[package]]
 name = "boa_macros"
-version = "0.20.0"
+version = "0.21.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9fd3f870829131332587f607a7ff909f1af5fc523fd1b192db55fbbdf52e8d3c"
+checksum = "5822cb4f146d243060e588bc5a5f2e709683fdad3d7111f42c48e6b5c921d23d"
 dependencies = [
+ "cfg-if",
+ "cow-utils",
  "proc-macro2",
  "quote",
  "syn 2.0.117",
@@ -1430,39 +1519,33 @@ dependencies = [
 
 [[package]]
 name = "boa_parser"
-version = "0.20.0"
+version = "0.21.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9cc142dac798cdc6e2dbccfddeb50f36d2523bb977a976e19bdb3ae19b740804"
+checksum = "35bd957fa9fa93e3a001a8aba5a5cd40c2bbfde486378be4c4b472fd304aaddb"
 dependencies = [
  "bitflags",
  "boa_ast",
  "boa_interner",
  "boa_macros",
- "boa_profiler",
  "fast-float2",
- "icu_properties 1.5.1",
- "num-bigint 0.4.6",
+ "icu_properties",
+ "num-bigint",
  "num-traits",
  "regress",
  "rustc-hash",
 ]
 
-[[package]]
-name = "boa_profiler"
-version = "0.20.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4064908e7cdf9b6317179e9b04dcb27f1510c1c144aeab4d0394014f37a0f922"
-
 [[package]]
 name = "boa_string"
-version = "0.20.0"
+version = "0.21.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7debc13fbf7997bf38bf8e9b20f1ad5e2a7d27a900e1f6039fe244ce30f589b5"
+checksum = "ca2da1d7f4a76fd9040788a122f0d807910800a7b86f5952e9244848c36511de"
 dependencies = [
  "fast-float2",
+ "itoa",
  "paste",
  "rustc-hash",
- "sptr",
+ "ryu-js",
  "static_assertions",
 ]
 
@@ -1559,9 +1642,9 @@ dependencies = [
 
 [[package]]
 name = "c-kzg"
-version = "2.1.5"
+version = "2.1.8"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e00bf4b112b07b505472dbefd19e37e53307e2bfed5a79e0cc161d58ccd0e687"
+checksum = "38d04308254695569fdb9bfe3bacc1c91837a670d0806605eb82d63748fbd3a6"
 dependencies = [
  "blst",
  "cc",
@@ -1648,12 +1731,31 @@ version = "1.1.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "c8d4a3bb8b1e0c1050499d1815f5ab16d04f0959b233085fb31653fbfc9d98f9"
 
+[[package]]
+name = "cmake"
+version = "0.1.58"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c0f78a02292a74a88ac736019ab962ece0bc380e3f977bf72e376c5d78ff0678"
+dependencies = [
+ "cc",
+]
+
 [[package]]
 name = "colorchoice"
 version = "1.0.4"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "b05b61dc5112cbb17e4b6cd61790d9845d13888356391624cbe7e41efeac1e75"
 
+[[package]]
+name = "combine"
+version = "4.6.7"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ba5a308b75df32fe02788e748662718f03fde005016435c444eea572398219fd"
+dependencies = [
+ "bytes",
+ "memchr",
+]
+
 [[package]]
 name = "compression-codecs"
 version = "0.4.38"
@@ -1681,7 +1783,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "3bb320cac8a0750d7f25280aa97b09c26edfe161164238ecbbb31092b079e735"
 dependencies = [
  "cfg-if",
- "cpufeatures",
+ "cpufeatures 0.2.17",
  "proptest",
  "serde_core",
 ]
@@ -1720,19 +1822,35 @@ checksum = "7c74b8349d32d297c9134b8c88677813a227df8f779daa29bfc29c183fe3dca6"
 
 [[package]]
 name = "convert_case"
-version = "0.7.1"
+version = "0.10.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "bb402b8d4c85569410425650ce3eddc7d698ed96d39a73f941b08fb63082f1e7"
+checksum = "633458d4ef8c78b72454de2d54fd6ab2e60f9e02be22f3c6104cdc8a4e0fceb9"
 dependencies = [
  "unicode-segmentation",
 ]
 
+[[package]]
+name = "core-foundation"
+version = "0.10.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b2a6cd9ae233e7f62ba4e9353e81a88df7fc8a5987b8d445b4d90c879bd156f6"
+dependencies = [
+ "core-foundation-sys",
+ "libc",
+]
+
 [[package]]
 name = "core-foundation-sys"
 version = "0.8.7"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "773648b94d0e5d620f64f280777445740e61fe701025087ec8b57f45c791888b"
 
+[[package]]
+name = "cow-utils"
+version = "0.1.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "417bef24afe1460300965a25ff4a24b8b45ad011948302ec221e8a0a81eb2c79"
+
 [[package]]
 name = "cpufeatures"
 version = "0.2.17"
@@ -1742,6 +1860,15 @@ dependencies = [
  "libc",
 ]
 
+[[package]]
+name = "cpufeatures"
+version = "0.3.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "8b2a41393f66f16b0823bb79094d54ac5fbd34ab292ddafb9a0456ac9f87d201"
+dependencies = [
+ "libc",
+]
+
 [[package]]
 name = "crc"
 version = "3.3.0"
@@ -1834,14 +1961,33 @@ dependencies = [
  "typenum",
 ]
 
+[[package]]
+name = "crypto-common"
+version = "0.2.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ce6e4c961d6cd6c9a86db418387425e8bdeaf05b3c8bc1411e6dca4c252f1453"
+dependencies = [
+ "hybrid-array",
+]
+
 [[package]]
 name = "darling"
 version = "0.21.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "9cdf337090841a411e2a7f3deb9187445851f91b309c0c0a29e05f74a00a48c0"
 dependencies = [
- "darling_core",
- "darling_macro",
+ "darling_core 0.21.3",
+ "darling_macro 0.21.3",
+]
+
+[[package]]
+name = "darling"
+version = "0.23.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "25ae13da2f202d56bd7f91c25fba009e7717a1e4a1cc98a76d844b65ae912e9d"
+dependencies = [
+ "darling_core 0.23.0",
+ "darling_macro 0.23.0",
 ]
 
 [[package]]
@@ -1851,6 +1997,19 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "1247195ecd7e3c85f83c8d2a366e4210d588e802133e1e355180a9870b517ea4"
 dependencies = [
  "fnv",
+ "ident_case",
+ "proc-macro2",
+ "quote",
+ "strsim",
+ "syn 2.0.117",
+]
+
+[[package]]
+name = "darling_core"
+version = "0.23.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "9865a50f7c335f53564bb694ef660825eb8610e0a53d3e11bf1b0d3df31e03b0"
+dependencies = [
  "ident_case",
  "proc-macro2",
  "quote",
@@ -1865,7 +2024,18 @@ version = "0.21.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "d38308df82d1080de0afee5d069fa14b0326a88c14f15c5ccda35b4a6c414c81"
 dependencies = [
- "darling_core",
+ "darling_core 0.21.3",
+ "quote",
+ "syn 2.0.117",
+]
+
+[[package]]
+name = "darling_macro"
+version = "0.23.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ac3984ec7bd6cfa798e62b4a642426a5be0e68f9401cfc2a01e3fa9ea2fcdb8d"
+dependencies = [
+ "darling_core 0.23.0",
  "quote",
  "syn 2.0.117",
 ]
@@ -1882,6 +2052,7 @@ dependencies = [
  "lock_api",
  "once_cell",
  "parking_lot_core",
+ "serde",
 ]
 
 [[package]]
@@ -1930,7 +2101,7 @@ dependencies = [
  "stateless-r2",
  "stateless-test-utils",
  "tempfile",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
  "tokio",
  "tokio-util",
  "tower",
@@ -1994,22 +2165,23 @@ dependencies = [
 
 [[package]]
 name = "derive_more"
-version = "2.0.1"
+version = "2.1.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "093242cf7570c207c83073cf82f79706fe7b8317e98620a47d5be7c3d8497678"
+checksum = "d751e9e49156b02b44f9c1815bcb94b984cdcc4396ecc32521c739452808b134"
 dependencies = [
  "derive_more-impl",
 ]
 
 [[package]]
 name = "derive_more-impl"
-version = "2.0.1"
+version = "2.1.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "bda628edc44c4bb645fbe0f758797143e4e07926f7ebf4e9bdfbd3d2ce621df3"
+checksum = "799a97264921d8623a957f6c3b9011f3b5492f557bbb7a5a19b7fa6d06ba8dcb"
 dependencies = [
  "convert_case",
  "proc-macro2",
  "quote",
+ "rustc_version 0.4.1",
  "syn 2.0.117",
  "unicode-xid",
 ]
@@ -2031,10 +2203,20 @@ checksum = "9ed9a281f7bc9b7576e61468ba615a66a5c8cfdff42420a70aa82701a3b1e292"
 dependencies = [
  "block-buffer 0.10.4",
  "const-oid",
- "crypto-common",
+ "crypto-common 0.1.6",
  "subtle",
 ]
 
+[[package]]
+name = "digest"
+version = "0.11.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f1dd6dbb5841937940781866fa1281a1ff7bd3bf827091440879f9994983d5c2"
+dependencies = [
+ "block-buffer 0.12.1",
+ "crypto-common 0.2.2",
+]
+
 [[package]]
 name = "displaydoc"
 version = "0.2.5"
@@ -2064,6 +2246,26 @@ version = "1.0.20"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "d0881ea181b1df73ff77ffaaf9c7544ecc11e82fba9b5f27b262a3c73a332555"
 
+[[package]]
+name = "dynify"
+version = "0.1.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "81acb15628a3e22358bf73de5e7e62360b8a777dbcb5fc9ac7dfa9ae73723747"
+dependencies = [
+ "dynify-macros",
+]
+
+[[package]]
+name = "dynify-macros"
+version = "0.1.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1ec431cd708430d5029356535259c5d645d60edd3d39c54e5eea9782d46caa7d"
+dependencies = [
+ "proc-macro2",
+ "quote",
+ "syn 2.0.117",
+]
+
 [[package]]
 name = "ecdsa"
 version = "0.16.9"
@@ -2093,9 +2295,9 @@ dependencies = [
 
 [[package]]
 name = "either"
-version = "1.15.0"
+version = "1.17.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "48c757948c5ede0e46177b7add2e67155f70e33c07fea8284df6576da70b3719"
+checksum = "9e5e8f6c15a24b9a3ee5efec809ccd006d3b30e8b3bb63c39af737c7f87daa1d"
 dependencies = [
  "serde",
 ]
@@ -2141,7 +2343,27 @@ dependencies = [
 ]
 
 [[package]]
-name = "equivalent"
+name = "equator"
+version = "0.4.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "4711b213838dfee0117e3be6ac926007d7f433d7bbe33595975d4190cb07e6fc"
+dependencies = [
+ "equator-macro",
+]
+
+[[package]]
+name = "equator-macro"
+version = "0.4.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "44f23cf4b44bfce11a86ace86f8a73ffdec849c9fd00a386a53d278bd9e81fb3"
+dependencies = [
+ "proc-macro2",
+ "quote",
+ "syn 2.0.117",
+]
+
+[[package]]
+name = "equivalent"
 version = "1.0.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f"
@@ -2156,6 +2378,46 @@ dependencies = [
  "windows-sys 0.61.2",
 ]
 
+[[package]]
+name = "ethereum_serde_utils"
+version = "0.8.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "38df44a7a271ab43835678f9215b53cc2523e4714a215da6643d83dc110245da"
+dependencies = [
+ "alloy-primitives",
+ "hex",
+ "serde",
+ "serde_derive",
+ "serde_json",
+]
+
+[[package]]
+name = "ethereum_ssz"
+version = "0.10.4"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "e462875ad8693755ea8913d6e905715c76ea4836e2254e18c9cf0f7a8f8c2a13"
+dependencies = [
+ "alloy-primitives",
+ "ethereum_serde_utils",
+ "itertools 0.14.0",
+ "serde",
+ "serde_derive",
+ "smallvec",
+ "typenum",
+]
+
+[[package]]
+name = "ethereum_ssz_derive"
+version = "0.10.4"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "daf022360bdbe9456eda5f35718a50476d5b2a0d51a97ed4eae27420737a6fba"
+dependencies = [
+ "darling 0.23.0",
+ "proc-macro2",
+ "quote",
+ "syn 2.0.117",
+]
+
 [[package]]
 name = "eyre"
 version = "0.6.12"
@@ -2206,25 +2468,18 @@ version = "0.13.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "c0b50bfb653653f9ca9095b427bed08ab8d75a137839d9ad64eb11810d5b6393"
 dependencies = [
- "byteorder",
- "ff_derive",
  "rand_core 0.6.4",
  "subtle",
 ]
 
 [[package]]
-name = "ff_derive"
-version = "0.13.1"
+name = "filetime"
+version = "0.2.29"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f10d12652036b0e99197587c6ba87a8fc3031986499973c030d8b44fcc151b60"
+checksum = "5c287a33c7f0a620c38e641e7f60827713987b3c0f26e8ddc9462cc69cf75759"
 dependencies = [
- "addchain",
- "num-bigint 0.3.3",
- "num-integer",
- "num-traits",
- "proc-macro2",
- "quote",
- "syn 1.0.109",
+ "cfg-if",
+ "libc",
 ]
 
 [[package]]
@@ -2245,6 +2500,12 @@ dependencies = [
  "static_assertions",
 ]
 
+[[package]]
+name = "fixedbitset"
+version = "0.5.7"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1d674e81391d1e1ab681a28d99df07927c6d4aa5b027d7da16ba32d1d21ecd99"
+
 [[package]]
 name = "flate2"
 version = "1.1.9"
@@ -2252,20 +2513,24 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "843fba2746e448b37e26a819579957415c8cef339bf08564fe8b7ddbd959573c"
 dependencies = [
  "crc32fast",
- "miniz_oxide",
+ "miniz_oxide 0.8.9",
 ]
 
 [[package]]
-name = "fnv"
-version = "1.0.7"
+name = "float16"
+version = "0.1.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3f9eec918d3f24069decb9af1554cad7c880e2da24a9afd88aca000531ab82c1"
+checksum = "7bffafbd079d520191c7c2779ae9cf757601266cf4167d3f659ff09617ff8483"
+dependencies = [
+ "cfg-if",
+ "rustc_version 0.2.3",
+]
 
 [[package]]
-name = "foldhash"
-version = "0.1.5"
+name = "fnv"
+version = "1.0.7"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d9c4f5dac5e15c24eb999c26181a6ca40b39fe946cbe4c263c7209467bc83af2"
+checksum = "3f9eec918d3f24069decb9af1554cad7c880e2da24a9afd88aca000531ab82c1"
 
 [[package]]
 name = "foldhash"
@@ -2282,6 +2547,12 @@ dependencies = [
  "percent-encoding",
 ]
 
+[[package]]
+name = "fs_extra"
+version = "1.3.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "42703706b716c37f96a77aea830392ad231f44c9e9a67872fa5548707e11b11c"
+
 [[package]]
 name = "funty"
 version = "2.0.0"
@@ -2313,6 +2584,19 @@ dependencies = [
  "futures-sink",
 ]
 
+[[package]]
+name = "futures-concurrency"
+version = "7.7.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "175cd8cca9e1d45b87f18ffa75088f2099e3c4fe5e2f83e42de112560bea8ea6"
+dependencies = [
+ "fixedbitset",
+ "futures-core",
+ "futures-lite",
+ "pin-project",
+ "smallvec",
+]
+
 [[package]]
 name = "futures-core"
 version = "0.3.31"
@@ -2336,6 +2620,19 @@ version = "0.3.31"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "9e5c1b78ca4aae1ac06c48a526a655760685149f0d465d21f37abfe57ce075c6"
 
+[[package]]
+name = "futures-lite"
+version = "2.6.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f78e10609fe0e0b3f4157ffab1876319b5b0db102a2c60dc4626306dc46b44ad"
+dependencies = [
+ "fastrand",
+ "futures-core",
+ "futures-io",
+ "parking",
+ "pin-project-lite",
+]
+
 [[package]]
 name = "futures-macro"
 version = "0.3.31"
@@ -2383,12 +2680,6 @@ version = "0.1.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "42012b0f064e01aa58b545fe3727f90f7dd4020f4a3ea735b50344965f5a57e9"
 
-[[package]]
-name = "gcd"
-version = "2.3.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1d758ba1b47b00caf47f24925c0074ecb20d6dfcffe7f6d53395c0465674841a"
-
 [[package]]
 name = "generic-array"
 version = "0.14.9"
@@ -2433,16 +2724,6 @@ version = "0.3.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "0cc23270f6e1808e30a928bdc84dea0b9b4136a8bc82338574f23baf47bbd280"
 
-[[package]]
-name = "gmp-mpfr-sys"
-version = "1.6.8"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "60f8970a75c006bb2f8ae79c6768a116dd215fa8346a87aed99bf9d82ca43394"
-dependencies = [
- "libc",
- "windows-sys 0.60.2",
-]
-
 [[package]]
 name = "group"
 version = "0.13.0"
@@ -2492,8 +2773,6 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "9229cfe53dfd69f0609a49f65461bd93001ea1ef889cd5529dd176593f5338a1"
 dependencies = [
  "allocator-api2",
- "equivalent",
- "foldhash 0.1.5",
 ]
 
 [[package]]
@@ -2504,8 +2783,17 @@ checksum = "841d1cc9bed7f9236f321df977030373f4a4163ae1a7dbfe1a51a2c1a51d9100"
 dependencies = [
  "allocator-api2",
  "equivalent",
- "foldhash 0.2.0",
+ "foldhash",
  "rayon",
+]
+
+[[package]]
+name = "hashbrown"
+version = "0.17.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ed5909b6e89a2db4456e54cd5f673791d7eca6732202bbf2a9cc504fe2f9b84a"
+dependencies = [
+ "foldhash",
  "serde",
  "serde_core",
 ]
@@ -2591,6 +2879,15 @@ version = "1.0.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "df3b46402a9d5adb4c86a0cf463f42e19994e3ee891101b1841f30a545cb49a9"
 
+[[package]]
+name = "hybrid-array"
+version = "0.4.14"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "707114b52a152fa7bdb290cd7cd5912d9467273b6d74e21b8d81aca1f8533f6b"
+dependencies = [
+ "typenum",
+]
+
 [[package]]
 name = "hyper"
 version = "1.8.1"
@@ -2628,7 +2925,6 @@ dependencies = [
  "tokio",
  "tokio-rustls",
  "tower-service",
- "webpki-roots",
 ]
 
 [[package]]
@@ -2681,27 +2977,15 @@ dependencies = [
 
 [[package]]
 name = "icu_collections"
-version = "1.5.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "db2fa452206ebee18c4b5c2274dbf1de17008e874b4dc4f0aea9d01ca79e4526"
-dependencies = [
- "displaydoc",
- "yoke 0.7.5",
- "zerofrom",
- "zerovec 0.10.4",
-]
-
-[[package]]
-name = "icu_collections"
-version = "2.1.1"
+version = "2.0.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4c6b649701667bbe825c3b7e6388cb521c23d88644678e83c0c4d0a621a34b43"
+checksum = "200072f5d0e3614556f94a9930d5dc3e0662a652823904c3a75dc3b0af7fee47"
 dependencies = [
  "displaydoc",
  "potential_utf",
- "yoke 0.8.1",
+ "yoke",
  "zerofrom",
- "zerovec 0.11.5",
+ "zerovec",
 ]
 
 [[package]]
@@ -2711,146 +2995,57 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "edba7861004dd3714265b4db54a3c390e880ab658fec5f7db895fae2046b5bb6"
 dependencies = [
  "displaydoc",
- "litemap 0.8.1",
- "tinystr 0.8.2",
- "writeable 0.6.2",
- "zerovec 0.11.5",
-]
-
-[[package]]
-name = "icu_locid"
-version = "1.5.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "13acbb8371917fc971be86fc8057c41a64b521c184808a698c02acc242dbf637"
-dependencies = [
- "displaydoc",
- "litemap 0.7.5",
- "tinystr 0.7.6",
- "writeable 0.5.5",
- "zerovec 0.10.4",
-]
-
-[[package]]
-name = "icu_locid_transform"
-version = "1.5.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "01d11ac35de8e40fdeda00d9e1e9d92525f3f9d887cdd7aa81d727596788b54e"
-dependencies = [
- "displaydoc",
- "icu_locid",
- "icu_locid_transform_data",
- "icu_provider 1.5.0",
- "tinystr 0.7.6",
- "zerovec 0.10.4",
+ "litemap",
+ "serde",
+ "tinystr",
+ "writeable",
+ "zerovec",
 ]
 
-[[package]]
-name = "icu_locid_transform_data"
-version = "1.5.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7515e6d781098bf9f7205ab3fc7e9709d34554ae0b21ddbcb5febfa4bc7df11d"
-
 [[package]]
 name = "icu_normalizer"
-version = "1.5.0"
+version = "2.0.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "19ce3e0da2ec68599d193c93d088142efd7f9c5d6fc9b803774855747dc6a84f"
+checksum = "8b24a59706036ba941c9476a55cd57b82b77f38a3c667d637ee7cabbc85eaedc"
 dependencies = [
  "displaydoc",
- "icu_collections 1.5.0",
- "icu_normalizer_data 1.5.1",
- "icu_properties 1.5.1",
- "icu_provider 1.5.0",
+ "icu_collections",
+ "icu_normalizer_data",
+ "icu_properties",
+ "icu_provider",
  "smallvec",
  "utf16_iter",
- "utf8_iter",
  "write16",
- "zerovec 0.10.4",
-]
-
-[[package]]
-name = "icu_normalizer"
-version = "2.1.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5f6c8828b67bf8908d82127b2054ea1b4427ff0230ee9141c54251934ab1b599"
-dependencies = [
- "icu_collections 2.1.1",
- "icu_normalizer_data 2.1.1",
- "icu_properties 2.1.1",
- "icu_provider 2.1.1",
- "smallvec",
- "zerovec 0.11.5",
+ "zerovec",
 ]
 
 [[package]]
 name = "icu_normalizer_data"
-version = "1.5.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c5e8338228bdc8ab83303f16b797e177953730f601a96c25d10cb3ab0daa0cb7"
-
-[[package]]
-name = "icu_normalizer_data"
-version = "2.1.1"
+version = "2.0.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7aedcccd01fc5fe81e6b489c15b247b8b0690feb23304303a9e560f37efc560a"
+checksum = "00210d6893afc98edb752b664b8890f0ef174c8adbb8d0be9710fa66fbbf72d3"
 
 [[package]]
 name = "icu_properties"
-version = "1.5.1"
+version = "2.0.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "93d6020766cfc6302c15dbbc9c8778c37e62c14427cb7f6e601d849e092aeef5"
+checksum = "f5a97b8ac6235e69506e8dacfb2adf38461d2ce6d3e9bd9c94c4cbc3cd4400a4"
 dependencies = [
  "displaydoc",
- "icu_collections 1.5.0",
- "icu_locid_transform",
- "icu_properties_data 1.5.1",
- "icu_provider 1.5.0",
- "tinystr 0.7.6",
- "zerovec 0.10.4",
-]
-
-[[package]]
-name = "icu_properties"
-version = "2.1.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e93fcd3157766c0c8da2f8cff6ce651a31f0810eaa1c51ec363ef790bbb5fb99"
-dependencies = [
- "icu_collections 2.1.1",
+ "icu_collections",
  "icu_locale_core",
- "icu_properties_data 2.1.1",
- "icu_provider 2.1.1",
+ "icu_properties_data",
+ "icu_provider",
+ "potential_utf",
  "zerotrie",
- "zerovec 0.11.5",
+ "zerovec",
 ]
 
 [[package]]
 name = "icu_properties_data"
-version = "1.5.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "85fb8799753b75aee8d2a21d7c14d9f38921b54b3dbda10f5a3c7a7b82dba5e2"
-
-[[package]]
-name = "icu_properties_data"
-version = "2.1.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "02845b3647bb045f1100ecd6480ff52f34c35f82d9880e029d329c21d1054899"
-
-[[package]]
-name = "icu_provider"
-version = "1.5.0"
+version = "2.0.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6ed421c8a8ef78d3e2dbc98a973be2f3770cb42b606e3ab18d6237c4dfde68d9"
-dependencies = [
- "displaydoc",
- "icu_locid",
- "icu_provider_macros",
- "stable_deref_trait",
- "tinystr 0.7.6",
- "writeable 0.5.5",
- "yoke 0.7.5",
- "zerofrom",
- "zerovec 0.10.4",
-]
+checksum = "298459143998310acd25ffe6810ed544932242d3f07083eee1084d83a71bd632"
 
 [[package]]
 name = "icu_provider"
@@ -2860,22 +3055,13 @@ checksum = "85962cf0ce02e1e0a629cc34e7ca3e373ce20dda4c4d7294bbd0bf1fdb59e614"
 dependencies = [
  "displaydoc",
  "icu_locale_core",
- "writeable 0.6.2",
- "yoke 0.8.1",
+ "serde",
+ "stable_deref_trait",
+ "writeable",
+ "yoke",
  "zerofrom",
  "zerotrie",
- "zerovec 0.11.5",
-]
-
-[[package]]
-name = "icu_provider_macros"
-version = "1.5.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1ec89e9337638ecdc08744df490b221a7399bf8d164eb52a665454e60e075ad6"
-dependencies = [
- "proc-macro2",
- "quote",
- "syn 2.0.117",
+ "zerovec",
 ]
 
 [[package]]
@@ -2901,8 +3087,8 @@ version = "1.2.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "3acae9609540aa318d1bc588455225fb2085b9ed0c4f6bd0d9d5bcd86f1a0344"
 dependencies = [
- "icu_normalizer 2.1.1",
- "icu_properties 2.1.1",
+ "icu_normalizer",
+ "icu_properties",
 ]
 
 [[package]]
@@ -2976,7 +3162,7 @@ dependencies = [
  "rustc-hash",
  "salt-macros",
  "sha2 0.9.9",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
 ]
 
 [[package]]
@@ -3004,15 +3190,6 @@ dependencies = [
  "either",
 ]
 
-[[package]]
-name = "itertools"
-version = "0.12.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ba291022dbbd398a455acf126c1e341954079855bc60dfdda641363bd6922569"
-dependencies = [
- "either",
-]
-
 [[package]]
 name = "itertools"
 version = "0.13.0"
@@ -3037,6 +3214,55 @@ version = "1.0.15"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "4a5f13b858c8d314ee3e8f639011f7ccefe71f97f96e50151fb991f267928e2c"
 
+[[package]]
+name = "jni"
+version = "0.22.4"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "5efd9a482cf3a427f00d6b35f14332adc7902ce91efb778580e180ff90fa3498"
+dependencies = [
+ "cfg-if",
+ "combine",
+ "jni-macros",
+ "jni-sys",
+ "log",
+ "simd_cesu8",
+ "thiserror 2.0.20",
+ "walkdir",
+ "windows-link",
+]
+
+[[package]]
+name = "jni-macros"
+version = "0.22.4"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "a00109accc170f0bdb141fed3e393c565b6f5e072365c3bd58f5b062591560a3"
+dependencies = [
+ "proc-macro2",
+ "quote",
+ "rustc_version 0.4.1",
+ "simd_cesu8",
+ "syn 2.0.117",
+]
+
+[[package]]
+name = "jni-sys"
+version = "0.4.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c6377a88cb3910bee9b0fa88d4f42e1d2da8e79915598f65fb0c7ee14c878af2"
+dependencies = [
+ "jni-sys-macros",
+]
+
+[[package]]
+name = "jni-sys-macros"
+version = "0.4.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "38c0b942f458fe50cdac086d2f946512305e5631e720728f2a61aabcd47a6264"
+dependencies = [
+ "quote",
+ "syn 2.0.117",
+]
+
 [[package]]
 name = "jobserver"
 version = "0.1.34"
@@ -3090,7 +3316,7 @@ dependencies = [
  "rustc-hash",
  "serde",
  "serde_json",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
  "tokio",
  "tower",
  "tracing",
@@ -3128,7 +3354,7 @@ dependencies = [
  "serde",
  "serde_json",
  "soketto",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
  "tokio",
  "tokio-stream",
  "tokio-util",
@@ -3145,7 +3371,7 @@ dependencies = [
  "http",
  "serde",
  "serde_json",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
 ]
 
 [[package]]
@@ -3174,37 +3400,24 @@ dependencies = [
 
 [[package]]
 name = "keccak"
-version = "0.1.5"
+version = "0.2.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ecc2af9a1119c51f12a14607e783cb977bde58bc069ff0c3da1095e635d70654"
+checksum = "ffd9697dc4a9a62e2da93389f34400b77a28f0287711263cabb203b3ccb9c0e4"
 dependencies = [
- "cpufeatures",
+ "cfg-if",
+ "cpufeatures 0.3.0",
 ]
 
 [[package]]
 name = "keccak-asm"
-version = "0.1.4"
+version = "0.1.8"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "505d1856a39b200489082f90d897c3f07c455563880bc5952e38eabf731c83b6"
+checksum = "dd5dc2c0d691cbf7595cde551ced329cca99c2387c2cbc97754c5d0cd045d3ee"
 dependencies = [
  "digest 0.10.7",
  "sha3-asm",
 ]
 
-[[package]]
-name = "kzg-rs"
-version = "0.2.7"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9201effeea3fcc93b587904ae2df9ce97e433184b9d6d299e9ebc9830a546636"
-dependencies = [
- "ff",
- "hex",
- "serde_arrays",
- "sha2 0.10.9",
- "sp1_bls12_381",
- "spin 0.9.8",
-]
-
 [[package]]
 name = "lazy_static"
 version = "1.5.0"
@@ -3223,64 +3436,12 @@ version = "0.2.15"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "f9fbbcab51052fe104eb5e5d351cf728d30a5be1fe14d9be8a3b097481fb97de"
 
-[[package]]
-name = "libsecp256k1"
-version = "0.7.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e79019718125edc905a079a70cfa5f3820bc76139fc91d6f9abc27ea2a887139"
-dependencies = [
- "arrayref",
- "base64",
- "digest 0.9.0",
- "libsecp256k1-core",
- "libsecp256k1-gen-ecmult",
- "libsecp256k1-gen-genmult",
- "rand 0.8.5",
- "serde",
- "sha2 0.9.9",
-]
-
-[[package]]
-name = "libsecp256k1-core"
-version = "0.3.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5be9b9bb642d8522a44d533eab56c16c738301965504753b03ad1de3425d5451"
-dependencies = [
- "crunchy",
- "digest 0.9.0",
- "subtle",
-]
-
-[[package]]
-name = "libsecp256k1-gen-ecmult"
-version = "0.3.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3038c808c55c87e8a172643a7d87187fc6c4174468159cb3090659d55bcb4809"
-dependencies = [
- "libsecp256k1-core",
-]
-
-[[package]]
-name = "libsecp256k1-gen-genmult"
-version = "0.3.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3db8d6ba2cec9eacc40e6e8ccc98931840301f1006e95647ceb2dd5c3aa06f7c"
-dependencies = [
- "libsecp256k1-core",
-]
-
 [[package]]
 name = "linux-raw-sys"
 version = "0.12.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "32a66949e030da00e8c7d4434b251670a91556f4144941d37452769c25d58a53"
 
-[[package]]
-name = "litemap"
-version = "0.7.5"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "23fb14cb19457329c82206317a5663005a4d404783dc74f4252769b0d5f42856"
-
 [[package]]
 name = "litemap"
 version = "0.8.1"
@@ -3304,11 +3465,11 @@ checksum = "34080505efa8e45a4b816c349525ebe327ceaa8559756f0356cba97ef3bf7432"
 
 [[package]]
 name = "lru"
-version = "0.13.0"
+version = "0.16.4"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "227748d55f2f0ab4735d87fd623798cb6b664512fe979705f829c9f81c934465"
+checksum = "7f66e8d5d03f609abc3a39e6f08e4164ebf1447a732906d39eb9b99b7919ef39"
 dependencies = [
- "hashbrown 0.15.5",
+ "hashbrown 0.16.1",
 ]
 
 [[package]]
@@ -3325,9 +3486,9 @@ checksum = "db9a0d582c2874f68138a16ce1867e0ffde6c0bb0a0df85e1f36d04146db488a"
 
 [[package]]
 name = "macro-string"
-version = "0.1.4"
+version = "0.2.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1b27834086c65ec3f9387b096d66e99f221cf081c2b738042aa252bcd41204e3"
+checksum = "59a9dbbfc75d2688ed057456ce8a3ee3f48d12eec09229f560f3643b9f275653"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -3346,7 +3507,7 @@ dependencies = [
 [[package]]
 name = "mega-evm"
 version = "1.7.0"
-source = "git+https://github.com/megaeth-labs/mega-evm.git?tag=v1.7.0#30ce038cfb0ec108e886ef48105a7ab367a99b33"
+source = "git+https://github.com/megaeth-labs/mega-evm.git?branch=cz%2Fchore%2Fupgrade-revm-40#8d1fc07cf38e434e6a4fafc5bd2504f8482d911a"
 dependencies = [
  "alloy-consensus",
  "alloy-eips",
@@ -3367,14 +3528,14 @@ dependencies = [
  "op-revm",
  "revm",
  "serde",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
  "tracing",
 ]
 
 [[package]]
 name = "mega-system-contracts"
 version = "1.7.0"
-source = "git+https://github.com/megaeth-labs/mega-evm.git?tag=v1.7.0#30ce038cfb0ec108e886ef48105a7ab367a99b33"
+source = "git+https://github.com/megaeth-labs/mega-evm.git?branch=cz%2Fchore%2Fupgrade-revm-40#8d1fc07cf38e434e6a4fafc5bd2504f8482d911a"
 dependencies = [
  "alloy-primitives",
  "alloy-sol-types",
@@ -3435,7 +3596,7 @@ dependencies = [
  "metrics",
  "metrics-util",
  "quanta",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
  "tokio",
  "tracing",
 ]
@@ -3466,6 +3627,16 @@ dependencies = [
  "simd-adler32",
 ]
 
+[[package]]
+name = "miniz_oxide"
+version = "0.9.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b63fbc4a50860e98e7b2aa7804ded1db5cbc3aff9193adaff57a6931bf7c4b4c"
+dependencies = [
+ "adler2",
+ "serde",
+]
+
 [[package]]
 name = "mio"
 version = "1.2.0"
@@ -3479,9 +3650,9 @@ dependencies = [
 
 [[package]]
 name = "modular-bitfield"
-version = "0.11.2"
+version = "0.13.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a53d79ba8304ac1c4f9eb3b9d281f21f7be9d4626f72ce7df4ad8fbde4f38a74"
+checksum = "2956e537fc68236d2aa048f55704f231cc93f1c4de42fe1ecb5bd7938061fc4a"
 dependencies = [
  "modular-bitfield-impl",
  "static_assertions",
@@ -3489,13 +3660,22 @@ dependencies = [
 
 [[package]]
 name = "modular-bitfield-impl"
-version = "0.11.2"
+version = "0.13.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5a7d5f7076603ebc68de2dc6a650ec331a062a13abaa346975be747bbfa4b789"
+checksum = "59b43b4fd69e3437618106f7754f34021b831a514f9e1a98ae863cabcd8d8dad"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 1.0.109",
+ "syn 2.0.117",
+]
+
+[[package]]
+name = "nonmax"
+version = "0.5.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "610a5acd306ec67f907abe5567859a3c693fb9886eb1f012ab8f2a47bef3db51"
+dependencies = [
+ "serde",
 ]
 
 [[package]]
@@ -3513,7 +3693,7 @@ version = "0.4.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "35bd024e8b2ff75562e5f34e7f4905839deb4b22955ef5e73d2fea1b9813cb23"
 dependencies = [
- "num-bigint 0.4.6",
+ "num-bigint",
  "num-complex",
  "num-integer",
  "num-iter",
@@ -3521,17 +3701,6 @@ dependencies = [
  "num-traits",
 ]
 
-[[package]]
-name = "num-bigint"
-version = "0.3.3"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5f6f7833f2cbf2360a6cfd58cd41a53aa7a90bd4c202f5b1c7dd2ed73c57b2c3"
-dependencies = [
- "autocfg",
- "num-integer",
- "num-traits",
-]
-
 [[package]]
 name = "num-bigint"
 version = "0.4.6"
@@ -3584,7 +3753,7 @@ version = "0.4.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "f83d14da390562dca69fc84082e73e548e1ad308d24accdedd2720017cb37824"
 dependencies = [
- "num-bigint 0.4.6",
+ "num-bigint",
  "num-integer",
  "num-traits",
 ]
@@ -3642,9 +3811,9 @@ dependencies = [
 
 [[package]]
 name = "nybbles"
-version = "0.4.6"
+version = "0.4.8"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2c4b5ecbd0beec843101bffe848217f770e8b8da81d8355b7d6e226f2199b3dc"
+checksum = "0d49ff0c0d00d4a502b39df9af3a525e1efeb14b9dabb5bb83335284c1309210"
 dependencies = [
  "alloy-rlp",
  "cfg-if",
@@ -3664,11 +3833,22 @@ dependencies = [
  "portable-atomic",
 ]
 
+[[package]]
+name = "op-alloy"
+version = "2.0.0"
+source = "git+https://github.com/ethereum-optimism/optimism?rev=f67d87cd5c9992b62d215c043917b94e3f019629#f67d87cd5c9992b62d215c043917b94e3f019629"
+dependencies = [
+ "op-alloy-consensus",
+ "op-alloy-network",
+ "op-alloy-provider",
+ "op-alloy-rpc-types",
+ "op-alloy-rpc-types-engine",
+]
+
 [[package]]
 name = "op-alloy-consensus"
-version = "0.18.14"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "0c88d2940558fd69f8f07b3cbd7bb3c02fc7d31159c1a7ba9deede50e7881024"
+version = "2.0.0"
+source = "git+https://github.com/ethereum-optimism/optimism?rev=f67d87cd5c9992b62d215c043917b94e3f019629#f67d87cd5c9992b62d215c043917b94e3f019629"
 dependencies = [
  "alloy-consensus",
  "alloy-eips",
@@ -3677,9 +3857,13 @@ dependencies = [
  "alloy-rlp",
  "alloy-rpc-types-eth",
  "alloy-serde",
+ "bytes",
  "derive_more",
+ "reth-codecs",
+ "reth-zstd-compressors",
  "serde",
- "thiserror 2.0.17",
+ "serde_with",
+ "thiserror 2.0.20",
 ]
 
 [[package]]
@@ -3690,47 +3874,77 @@ checksum = "a79f352fc3893dcd670172e615afef993a41798a1d3fc0db88a3e60ef2e70ecc"
 
 [[package]]
 name = "op-alloy-network"
-version = "0.18.14"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7071d7c3457d02aa0d35799cb8fbd93eabd51a21d100dcf411f4fcab6fdd2ea5"
+version = "2.0.0"
+source = "git+https://github.com/ethereum-optimism/optimism?rev=f67d87cd5c9992b62d215c043917b94e3f019629#f67d87cd5c9992b62d215c043917b94e3f019629"
 dependencies = [
  "alloy-consensus",
  "alloy-network",
- "alloy-primitives",
  "alloy-provider",
  "alloy-rpc-types-eth",
- "alloy-signer",
  "op-alloy-consensus",
  "op-alloy-rpc-types",
 ]
 
+[[package]]
+name = "op-alloy-provider"
+version = "2.0.0"
+source = "git+https://github.com/ethereum-optimism/optimism?rev=f67d87cd5c9992b62d215c043917b94e3f019629#f67d87cd5c9992b62d215c043917b94e3f019629"
+dependencies = [
+ "alloy-network",
+ "alloy-primitives",
+ "alloy-provider",
+ "alloy-rpc-types-engine",
+ "alloy-transport",
+ "async-trait",
+ "op-alloy-rpc-types-engine",
+]
+
 [[package]]
 name = "op-alloy-rpc-types"
-version = "0.18.14"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f22201e53e8cbb67a053e88b534b4e7f02265c5406994bf35978482a9ad0ae26"
+version = "2.0.0"
+source = "git+https://github.com/ethereum-optimism/optimism?rev=f67d87cd5c9992b62d215c043917b94e3f019629#f67d87cd5c9992b62d215c043917b94e3f019629"
 dependencies = [
  "alloy-consensus",
  "alloy-eips",
+ "alloy-network",
  "alloy-network-primitives",
  "alloy-primitives",
  "alloy-rpc-types-eth",
  "alloy-serde",
  "derive_more",
  "op-alloy-consensus",
+ "reth-rpc-traits",
  "serde",
  "serde_json",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
+]
+
+[[package]]
+name = "op-alloy-rpc-types-engine"
+version = "2.0.0"
+source = "git+https://github.com/ethereum-optimism/optimism?rev=f67d87cd5c9992b62d215c043917b94e3f019629#f67d87cd5c9992b62d215c043917b94e3f019629"
+dependencies = [
+ "alloy-consensus",
+ "alloy-eips",
+ "alloy-primitives",
+ "alloy-rlp",
+ "alloy-rpc-types-engine",
+ "alloy-serde",
+ "ethereum_ssz",
+ "ethereum_ssz_derive",
+ "op-alloy-consensus",
+ "serde",
+ "sha2 0.10.9",
+ "snap",
+ "thiserror 2.0.20",
 ]
 
 [[package]]
 name = "op-revm"
-version = "8.1.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5ce1dc7533f4e5716c55cd3d62488c6200cb4dfda96e0c75a7e484652464343b"
+version = "20.0.0"
+source = "git+https://github.com/ethereum-optimism/optimism?rev=f67d87cd5c9992b62d215c043917b94e3f019629#f67d87cd5c9992b62d215c043917b94e3f019629"
 dependencies = [
  "auto_impl",
- "once_cell",
  "revm",
  "serde",
 ]
@@ -3741,6 +3955,12 @@ version = "0.3.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "c08d65885ee38876c4f86fa503fb49d7b507c2b62552df7c70b2fce627e06381"
 
+[[package]]
+name = "openssl-probe"
+version = "0.2.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "7c87def4c32ab89d880effc9e097653c8da5d6ef28e6b539d313baaacfbafcbe"
+
 [[package]]
 name = "p256"
 version = "0.13.2"
@@ -3753,127 +3973,6 @@ dependencies = [
  "sha2 0.10.9",
 ]
 
-[[package]]
-name = "p3-baby-bear"
-version = "0.2.3-succinct"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7521838ecab2ddf4f7bc4ceebad06ec02414729598485c1ada516c39900820e8"
-dependencies = [
- "num-bigint 0.4.6",
- "p3-field",
- "p3-mds",
- "p3-poseidon2",
- "p3-symmetric",
- "rand 0.8.5",
- "serde",
-]
-
-[[package]]
-name = "p3-dft"
-version = "0.2.3-succinct"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "46414daedd796f1eefcdc1811c0484e4bced5729486b6eaba9521c572c76761a"
-dependencies = [
- "p3-field",
- "p3-matrix",
- "p3-maybe-rayon",
- "p3-util",
- "tracing",
-]
-
-[[package]]
-name = "p3-field"
-version = "0.2.3-succinct"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "48948a0516b349e9d1cdb95e7236a6ee010c44e68c5cc78b4b92bf1c4022a0d9"
-dependencies = [
- "itertools 0.12.1",
- "num-bigint 0.4.6",
- "num-traits",
- "p3-util",
- "rand 0.8.5",
- "serde",
-]
-
-[[package]]
-name = "p3-matrix"
-version = "0.2.3-succinct"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3e4de3f373589477cb735ea58e125898ed20935e03664b4614c7fac258b3c42f"
-dependencies = [
- "itertools 0.12.1",
- "p3-field",
- "p3-maybe-rayon",
- "p3-util",
- "rand 0.8.5",
- "serde",
- "tracing",
-]
-
-[[package]]
-name = "p3-maybe-rayon"
-version = "0.2.3-succinct"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c3968ad1160310296eb04f91a5f4edfa38fe1d6b2b8cd6b5c64e6f9b7370979e"
-
-[[package]]
-name = "p3-mds"
-version = "0.2.3-succinct"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2356b1ed0add6d5dfbf7a338ce534a6fde827374394a52cec16a0840af6e97c9"
-dependencies = [
- "itertools 0.12.1",
- "p3-dft",
- "p3-field",
- "p3-matrix",
- "p3-symmetric",
- "p3-util",
- "rand 0.8.5",
-]
-
-[[package]]
-name = "p3-poseidon2"
-version = "0.2.3-succinct"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7da1eec7e1b6900581bedd95e76e1ef4975608dd55be9872c9d257a8a9651c3a"
-dependencies = [
- "gcd",
- "p3-field",
- "p3-mds",
- "p3-symmetric",
- "rand 0.8.5",
- "serde",
-]
-
-[[package]]
-name = "p3-symmetric"
-version = "0.2.3-succinct"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "edb439bea1d822623b41ff4b51e3309e80d13cadf8b86d16ffd5e6efb9fdc360"
-dependencies = [
- "itertools 0.12.1",
- "p3-field",
- "serde",
-]
-
-[[package]]
-name = "p3-util"
-version = "0.2.3-succinct"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b6c2c2010678b9332b563eaa38364915b585c1a94b5ca61e2c7541c087ddda5c"
-dependencies = [
- "serde",
-]
-
-[[package]]
-name = "pairing"
-version = "0.23.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "81fec4625e73cf41ef4bb6846cafa6d44736525f442ba45e407c4a000a13996f"
-dependencies = [
- "group",
-]
-
 [[package]]
 name = "parity-scale-codec"
 version = "3.7.5"
@@ -3883,6 +3982,7 @@ dependencies = [
  "arrayvec",
  "bitvec",
  "byte-slice-cast",
+ "bytes",
  "const_format",
  "impl-trait-for-tuples",
  "parity-scale-codec-derive",
@@ -3902,6 +4002,12 @@ dependencies = [
  "syn 2.0.117",
 ]
 
+[[package]]
+name = "parking"
+version = "2.2.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f38d5652c16fde515bb1ecef450ab0f6a219d619a7274976324d5e377f7dceba"
+
 [[package]]
 name = "parking_lot"
 version = "0.12.5"
@@ -3949,33 +4055,42 @@ dependencies = [
 
 [[package]]
 name = "phf"
-version = "0.11.3"
+version = "0.13.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1fd6780a80ae0c52cc120a26a1a42c1ae51b247a253e4e06113d23d2c2edd078"
+checksum = "c1562dc717473dbaa4c1f85a36410e03c047b2e7df7f45ee938fbef64ae7fadf"
 dependencies = [
  "phf_macros",
- "phf_shared",
+ "phf_shared 0.13.1",
  "serde",
 ]
 
+[[package]]
+name = "phf"
+version = "0.14.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "010378780309880b08997fae13be7834dba947d36393bd372f2b1556deb2a2f6"
+dependencies = [
+ "phf_shared 0.14.0",
+]
+
 [[package]]
 name = "phf_generator"
-version = "0.11.3"
+version = "0.13.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3c80231409c20246a13fddb31776fb942c38553c51e871f8cbd687a4cfb5843d"
+checksum = "135ace3a761e564ec88c03a77317a7c6b80bb7f7135ef2544dbe054243b89737"
 dependencies = [
- "phf_shared",
- "rand 0.8.5",
+ "fastrand",
+ "phf_shared 0.13.1",
 ]
 
 [[package]]
 name = "phf_macros"
-version = "0.11.3"
+version = "0.13.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f84ac04429c13a7ff43785d75ad27569f2951ce0ffd30a3321230db2fc727216"
+checksum = "812f032b54b1e759ccd5f8b6677695d5268c588701effba24601f6932f8269ef"
 dependencies = [
  "phf_generator",
- "phf_shared",
+ "phf_shared 0.13.1",
  "proc-macro2",
  "quote",
  "syn 2.0.117",
@@ -3983,9 +4098,18 @@ dependencies = [
 
 [[package]]
 name = "phf_shared"
-version = "0.11.3"
+version = "0.13.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "e57fef6bc5981e38c2ce2d63bfa546861309f875b8a75f092d1d54ae2d64f266"
+dependencies = [
+ "siphasher",
+]
+
+[[package]]
+name = "phf_shared"
+version = "0.14.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "67eabc2ef2a60eb7faa00097bd1ffdb5bd28e62bf39990626a582201b7a754e5"
+checksum = "c6fd9027e2d9319be6349febd1db4e8d02aa544921200c9b777720ac34a3aa89"
 dependencies = [
  "siphasher",
 ]
@@ -4038,12 +4162,6 @@ version = "0.3.32"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "7edddbd0b52d732b21ad9a5fab5c704c14cd949e5e9a1ec5929a24fded1b904c"
 
-[[package]]
-name = "pollster"
-version = "0.4.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2f3a9f18d041e6d0e102a0a46750538147e5e8992d3b4873aaafee2520b00ce3"
-
 [[package]]
 name = "portable-atomic"
 version = "1.11.1"
@@ -4056,7 +4174,7 @@ version = "0.1.4"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "b73949432f5e2a09657003c25bca5e19a0e9c84f8058ca374f49e0ebe605af77"
 dependencies = [
- "zerovec 0.11.5",
+ "zerovec",
 ]
 
 [[package]]
@@ -4104,22 +4222,22 @@ dependencies = [
 ]
 
 [[package]]
-name = "proc-macro-error-attr2"
-version = "2.0.0"
+name = "proc-macro-error-attr3"
+version = "3.0.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "96de42df36bb9bba5542fe9f1a054b8cc87e172759a1868aa05c1f3acc89dfc5"
+checksum = "82366fd7d8b7a440d66d13418820c69df9b3908bcb1a0476d7f5ce5d12f5a04d"
 dependencies = [
  "proc-macro2",
  "quote",
 ]
 
 [[package]]
-name = "proc-macro-error2"
-version = "2.0.1"
+name = "proc-macro-error3"
+version = "3.0.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "11ec05c52be0a07b08061f7dd003e7d7092e0472bc731b4af7bb1ef876109802"
+checksum = "b511283ea8a74b4b39447b128c5d00f03a356b7424554b13e298a5550100d9ac"
 dependencies = [
- "proc-macro-error-attr2",
+ "proc-macro-error-attr3",
  "proc-macro2",
  "quote",
  "syn 2.0.117",
@@ -4198,7 +4316,7 @@ dependencies = [
  "rustc-hash",
  "rustls",
  "socket2",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
  "tokio",
  "tracing",
  "web-time",
@@ -4210,6 +4328,7 @@ version = "0.11.14"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "434b42fec591c96ef50e21e886936e66d3cc3f737104fdb9b737c40ffb94c098"
 dependencies = [
+ "aws-lc-rs",
  "bytes",
  "getrandom 0.3.4",
  "lru-slab",
@@ -4219,7 +4338,7 @@ dependencies = [
  "rustls",
  "rustls-pki-types",
  "slab",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
  "tinyvec",
  "tracing",
  "web-time",
@@ -4457,11 +4576,10 @@ dependencies = [
 
 [[package]]
 name = "reqwest"
-version = "0.12.24"
+version = "0.13.4"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9d0946410b9f7b082a427e4ef5c8ff541a88b357bc6c637c40db3a68ac70a36f"
+checksum = "219c5811de6525e5416c7d5d53bb656d3afdbc6c5af816e0802bcfa42dbdc1c3"
 dependencies = [
- "async-compression",
  "base64",
  "bytes",
  "futures-channel",
@@ -4480,13 +4598,12 @@ dependencies = [
  "quinn",
  "rustls",
  "rustls-pki-types",
+ "rustls-platform-verifier",
  "serde",
  "serde_json",
- "serde_urlencoded",
  "sync_wrapper",
  "tokio",
  "tokio-rustls",
- "tokio-util",
  "tower",
  "tower-http",
  "tower-service",
@@ -4494,13 +4611,12 @@ dependencies = [
  "wasm-bindgen",
  "wasm-bindgen-futures",
  "web-sys",
- "webpki-roots",
 ]
 
 [[package]]
 name = "reth-chainspec"
-version = "1.6.0"
-source = "git+https://github.com/paradigmxyz/reth?tag=v1.6.0#d8451e54e7267f9f1634118d6d279b2216f7e2bb"
+version = "2.3.0"
+source = "git+https://github.com/paradigmxyz/reth?tag=v2.3.0#9384bc53d8c0c77e59cac83fdaaf3b372c6d2216"
 dependencies = [
  "alloy-chains",
  "alloy-consensus",
@@ -4519,8 +4635,9 @@ dependencies = [
 
 [[package]]
 name = "reth-codecs"
-version = "1.6.0"
-source = "git+https://github.com/paradigmxyz/reth?tag=v1.6.0#d8451e54e7267f9f1634118d6d279b2216f7e2bb"
+version = "0.4.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f9c37bb4d1bac98661bf9128e1141b969034640d68697b22f70377e492fd332c"
 dependencies = [
  "alloy-consensus",
  "alloy-eips",
@@ -4529,7 +4646,7 @@ dependencies = [
  "alloy-trie",
  "bytes",
  "modular-bitfield",
- "op-alloy-consensus",
+ "parity-scale-codec",
  "reth-codecs-derive",
  "reth-zstd-compressors",
  "serde",
@@ -4537,10 +4654,10 @@ dependencies = [
 
 [[package]]
 name = "reth-codecs-derive"
-version = "1.6.0"
-source = "git+https://github.com/paradigmxyz/reth?tag=v1.6.0#d8451e54e7267f9f1634118d6d279b2216f7e2bb"
+version = "0.4.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ceeb8dab90194305d3f7e3f043a22d2db1fb54b6dcf5d8e75c5a4fa8540e1f57"
 dependencies = [
- "convert_case",
  "proc-macro2",
  "quote",
  "syn 2.0.117",
@@ -4548,8 +4665,8 @@ dependencies = [
 
 [[package]]
 name = "reth-ethereum-forks"
-version = "1.6.0"
-source = "git+https://github.com/paradigmxyz/reth?tag=v1.6.0#d8451e54e7267f9f1634118d6d279b2216f7e2bb"
+version = "2.3.0"
+source = "git+https://github.com/paradigmxyz/reth?tag=v2.3.0#9384bc53d8c0c77e59cac83fdaaf3b372c6d2216"
 dependencies = [
  "alloy-eip2124",
  "alloy-hardforks",
@@ -4559,36 +4676,23 @@ dependencies = [
  "rustc-hash",
 ]
 
-[[package]]
-name = "reth-execution-errors"
-version = "1.6.0"
-source = "git+https://github.com/paradigmxyz/reth?tag=v1.6.0#d8451e54e7267f9f1634118d6d279b2216f7e2bb"
-dependencies = [
- "alloy-evm",
- "alloy-primitives",
- "alloy-rlp",
- "nybbles",
- "reth-storage-errors",
- "thiserror 2.0.17",
-]
-
 [[package]]
 name = "reth-network-peers"
-version = "1.6.0"
-source = "git+https://github.com/paradigmxyz/reth?tag=v1.6.0#d8451e54e7267f9f1634118d6d279b2216f7e2bb"
+version = "2.3.0"
+source = "git+https://github.com/paradigmxyz/reth?tag=v2.3.0#9384bc53d8c0c77e59cac83fdaaf3b372c6d2216"
 dependencies = [
  "alloy-primitives",
  "alloy-rlp",
  "secp256k1 0.30.0",
  "serde_with",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
  "url",
 ]
 
 [[package]]
 name = "reth-optimism-chainspec"
-version = "1.6.0"
-source = "git+https://github.com/paradigmxyz/reth?tag=v1.6.0#d8451e54e7267f9f1634118d6d279b2216f7e2bb"
+version = "1.11.3"
+source = "git+https://github.com/ethereum-optimism/optimism?rev=f67d87cd5c9992b62d215c043917b94e3f019629#f67d87cd5c9992b62d215c043917b94e3f019629"
 dependencies = [
  "alloy-chains",
  "alloy-consensus",
@@ -4597,7 +4701,7 @@ dependencies = [
  "alloy-hardforks",
  "alloy-primitives",
  "derive_more",
- "miniz_oxide",
+ "miniz_oxide 0.9.1",
  "op-alloy-consensus",
  "op-alloy-rpc-types",
  "reth-chainspec",
@@ -4608,13 +4712,17 @@ dependencies = [
  "reth-primitives-traits",
  "serde",
  "serde_json",
- "thiserror 2.0.17",
+ "sha2 0.10.9",
+ "tar",
+ "thiserror 2.0.20",
+ "toml",
+ "zstd",
 ]
 
 [[package]]
 name = "reth-optimism-forks"
-version = "1.6.0"
-source = "git+https://github.com/paradigmxyz/reth?tag=v1.6.0#d8451e54e7267f9f1634118d6d279b2216f7e2bb"
+version = "1.11.3"
+source = "git+https://github.com/ethereum-optimism/optimism?rev=f67d87cd5c9992b62d215c043917b94e3f019629#f67d87cd5c9992b62d215c043917b94e3f019629"
 dependencies = [
  "alloy-op-hardforks",
  "alloy-primitives",
@@ -4624,26 +4732,24 @@ dependencies = [
 
 [[package]]
 name = "reth-optimism-primitives"
-version = "1.6.0"
-source = "git+https://github.com/paradigmxyz/reth?tag=v1.6.0#d8451e54e7267f9f1634118d6d279b2216f7e2bb"
+version = "1.11.3"
+source = "git+https://github.com/ethereum-optimism/optimism?rev=f67d87cd5c9992b62d215c043917b94e3f019629#f67d87cd5c9992b62d215c043917b94e3f019629"
 dependencies = [
  "alloy-consensus",
  "alloy-eips",
  "alloy-primitives",
  "alloy-rlp",
- "bytes",
  "op-alloy-consensus",
- "reth-codecs",
  "reth-primitives-traits",
- "reth-zstd-compressors",
  "serde",
  "serde_with",
 ]
 
 [[package]]
 name = "reth-primitives-traits"
-version = "1.6.0"
-source = "git+https://github.com/paradigmxyz/reth?tag=v1.6.0#d8451e54e7267f9f1634118d6d279b2216f7e2bb"
+version = "0.4.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "9102518f0bbf99bc8f0e656a56fb2a7513248630275b608d3706076a82fde42b"
 dependencies = [
  "alloy-consensus",
  "alloy-eips",
@@ -4652,109 +4758,48 @@ dependencies = [
  "alloy-rlp",
  "alloy-rpc-types-eth",
  "alloy-trie",
- "auto_impl",
  "bytes",
+ "dashmap",
  "derive_more",
  "once_cell",
- "op-alloy-consensus",
  "reth-codecs",
  "revm-bytecode",
  "revm-primitives",
  "revm-state",
  "secp256k1 0.30.0",
  "serde",
- "serde_with",
- "thiserror 2.0.17",
-]
-
-[[package]]
-name = "reth-prune-types"
-version = "1.6.0"
-source = "git+https://github.com/paradigmxyz/reth?tag=v1.6.0#d8451e54e7267f9f1634118d6d279b2216f7e2bb"
-dependencies = [
- "alloy-primitives",
- "derive_more",
- "serde",
- "thiserror 2.0.17",
-]
-
-[[package]]
-name = "reth-static-file-types"
-version = "1.6.0"
-source = "git+https://github.com/paradigmxyz/reth?tag=v1.6.0#d8451e54e7267f9f1634118d6d279b2216f7e2bb"
-dependencies = [
- "alloy-primitives",
- "derive_more",
- "serde",
- "strum",
-]
-
-[[package]]
-name = "reth-storage-errors"
-version = "1.6.0"
-source = "git+https://github.com/paradigmxyz/reth?tag=v1.6.0#d8451e54e7267f9f1634118d6d279b2216f7e2bb"
-dependencies = [
- "alloy-eips",
- "alloy-primitives",
- "alloy-rlp",
- "derive_more",
- "reth-primitives-traits",
- "reth-prune-types",
- "reth-static-file-types",
- "revm-database-interface",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
 ]
 
 [[package]]
-name = "reth-trie-common"
-version = "1.6.0"
-source = "git+https://github.com/paradigmxyz/reth?tag=v1.6.0#d8451e54e7267f9f1634118d6d279b2216f7e2bb"
+name = "reth-rpc-traits"
+version = "0.4.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "9fa03a2c9681c385ae1c72b169ac9c3525163b71db0b3362f16e8929e19e45fd"
 dependencies = [
  "alloy-consensus",
+ "alloy-network",
  "alloy-primitives",
- "alloy-rlp",
  "alloy-rpc-types-eth",
- "alloy-serde",
- "alloy-trie",
- "bytes",
- "derive_more",
- "itertools 0.14.0",
- "nybbles",
- "reth-primitives-traits",
- "revm-database",
- "serde",
- "serde_with",
-]
-
-[[package]]
-name = "reth-trie-sparse"
-version = "1.6.0"
-source = "git+https://github.com/paradigmxyz/reth?tag=v1.6.0#d8451e54e7267f9f1634118d6d279b2216f7e2bb"
-dependencies = [
- "alloy-primitives",
- "alloy-rlp",
- "alloy-trie",
- "auto_impl",
- "reth-execution-errors",
+ "alloy-signer",
  "reth-primitives-traits",
- "reth-trie-common",
- "smallvec",
- "tracing",
+ "thiserror 2.0.20",
 ]
 
 [[package]]
 name = "reth-zstd-compressors"
-version = "1.6.0"
-source = "git+https://github.com/paradigmxyz/reth?tag=v1.6.0#d8451e54e7267f9f1634118d6d279b2216f7e2bb"
+version = "0.4.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "dc0e86cf594718932d42cebce1fa48292fb7b92721f7c914631add1ca970e814"
 dependencies = [
  "zstd",
 ]
 
 [[package]]
 name = "revm"
-version = "27.1.0"
+version = "40.0.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5e6bf82101a1ad8a2b637363a37aef27f88b4efc8a6e24c72bf5f64923dc5532"
+checksum = "823da6e5509bb8e5dcd91295870e494917a030ad506fc83301f3f08ad8b15b17"
 dependencies = [
  "revm-bytecode",
  "revm-context",
@@ -4771,22 +4816,23 @@ dependencies = [
 
 [[package]]
 name = "revm-bytecode"
-version = "6.2.2"
+version = "11.0.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "66c52031b73cae95d84cd1b07725808b5fd1500da3e5e24574a3b2dc13d9f16d"
+checksum = "d8b378c2653331fe60969d9745e802cd773d82a20d8aaced914dfcf26ab8f0d9"
 dependencies = [
  "bitvec",
- "phf",
+ "phf 0.13.1",
  "revm-primitives",
  "serde",
 ]
 
 [[package]]
 name = "revm-context"
-version = "8.0.4"
+version = "18.0.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9cd508416a35a4d8a9feaf5ccd06ac6d6661cd31ee2dc0252f9f7316455d71f9"
+checksum = "bafa298114f3cab706945de14c04e73e6e6d7896302e4183dae273f968e52f80"
 dependencies = [
+ "bitvec",
  "cfg-if",
  "derive-where",
  "revm-bytecode",
@@ -4799,9 +4845,9 @@ dependencies = [
 
 [[package]]
 name = "revm-context-interface"
-version = "9.0.0"
+version = "19.0.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "dc90302642d21c8f93e0876e201f3c5f7913c4fcb66fb465b0fd7b707dfe1c79"
+checksum = "db9c13f1dfc79425931fd184b6bd373dfac7baba50859b01107d5c0e20549cbb"
 dependencies = [
  "alloy-eip2930",
  "alloy-eip7702",
@@ -4815,13 +4861,14 @@ dependencies = [
 
 [[package]]
 name = "revm-database"
-version = "7.0.5"
+version = "15.0.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "39a276ed142b4718dcf64bc9624f474373ed82ef20611025045c3fb23edbef9c"
+checksum = "a69c3ce73454a09ef89a66177239d7c4f5f697227ae27254c99451866603b19d"
 dependencies = [
  "alloy-eips",
  "alloy-provider",
  "alloy-transport",
+ "derive_more",
  "revm-bytecode",
  "revm-database-interface",
  "revm-primitives",
@@ -4832,23 +4879,24 @@ dependencies = [
 
 [[package]]
 name = "revm-database-interface"
-version = "7.0.5"
+version = "12.1.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "8c523c77e74eeedbac5d6f7c092e3851dbe9c7fec6f418b85992bd79229db361"
+checksum = "4a2656187f9f9c22ef9dd9300ed71aeaeca3506a6a0a229a07f264649b960d68"
 dependencies = [
  "auto_impl",
  "either",
  "revm-primitives",
  "revm-state",
  "serde",
+ "thiserror 2.0.20",
  "tokio",
 ]
 
 [[package]]
 name = "revm-handler"
-version = "8.1.0"
+version = "20.0.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1529c8050e663be64010e80ec92bf480315d21b1f2dbf65540028653a621b27d"
+checksum = "3ce1d66037ca1394128313bb995fa9f50d834927a389386bb34f8f0ef914648f"
 dependencies = [
  "auto_impl",
  "derive-where",
@@ -4865,9 +4913,9 @@ dependencies = [
 
 [[package]]
 name = "revm-inspector"
-version = "8.1.0"
+version = "21.0.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f78db140e332489094ef314eaeb0bd1849d6d01172c113ab0eb6ea8ab9372926"
+checksum = "9fe3635d3411e8318849546570ca0220e783443319e28f5397c9f80b05bf4344"
 dependencies = [
  "auto_impl",
  "either",
@@ -4883,9 +4931,9 @@ dependencies = [
 
 [[package]]
 name = "revm-inspectors"
-version = "0.27.3"
+version = "0.40.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2483827fec2c31db4ada14e0b5523c377d1084337d1dbe135faaf14c218ab1af"
+checksum = "15e0cdc845c8dbf41255c9add80923b45df7bf1dd0473e41483ac398005dba12"
 dependencies = [
  "alloy-primitives",
  "alloy-rpc-types-eth",
@@ -4898,26 +4946,27 @@ dependencies = [
  "revm",
  "serde",
  "serde_json",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
 ]
 
 [[package]]
 name = "revm-interpreter"
-version = "24.0.0"
+version = "37.0.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ff9d7d9d71e8a33740b277b602165b6e3d25fff091ba3d7b5a8d373bf55f28a7"
+checksum = "bae56c57ddca1f5c4abd443f826f1b3e49a86a528e7e1ea0fc207cdc4671a37e"
 dependencies = [
  "revm-bytecode",
  "revm-context-interface",
  "revm-primitives",
+ "revm-state",
  "serde",
 ]
 
 [[package]]
 name = "revm-precompile"
-version = "25.0.0"
+version = "36.0.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4cee3f336b83621294b4cfe84d817e3eef6f3d0fce00951973364cc7f860424d"
+checksum = "191db865091e07ecb80b12ce3048192c76071ca3d2b0a315b111b271cd4ced37"
 dependencies = [
  "ark-bls12-381 0.5.0 (registry+https://github.com/rust-lang/crates.io-index)",
  "ark-bn254",
@@ -4930,36 +4979,34 @@ dependencies = [
  "c-kzg",
  "cfg-if",
  "k256",
- "kzg-rs",
- "libsecp256k1",
- "once_cell",
  "p256",
+ "revm-context-interface",
  "revm-primitives",
  "ripemd",
- "rug",
  "secp256k1 0.31.1",
  "sha2 0.10.9",
 ]
 
 [[package]]
 name = "revm-primitives"
-version = "20.2.1"
+version = "24.0.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5aa29d9da06fe03b249b6419b33968ecdf92ad6428e2f012dc57bcd619b5d94e"
+checksum = "fe5102d804892908d4ebf68da29b8562895922dffa26c230ff2c4dadcf93916f"
 dependencies = [
  "alloy-primitives",
- "num_enum",
  "once_cell",
  "serde",
 ]
 
 [[package]]
 name = "revm-state"
-version = "7.0.5"
+version = "12.0.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1f64fbacb86008394aaebd3454f9643b7d5a782bd251135e17c5b33da592d84d"
+checksum = "40eff6067185cf80932e06f6a9c8045b012ecb6f99a8d6edc618ec2792373e14"
 dependencies = [
+ "alloy-eip7928 0.4.5",
  "bitflags",
+ "nonmax",
  "revm-bytecode",
  "revm-primitives",
  "serde",
@@ -5023,18 +5070,6 @@ version = "0.3.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "afab94fb28594581f62d981211a9a4d53cc8130bbcbbb89a0440d9b8e81a7746"
 
-[[package]]
-name = "rug"
-version = "1.28.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "58ad2e973fe3c3214251a840a621812a4f40468da814b1a3d6947d433c2af11f"
-dependencies = [
- "az",
- "gmp-mpfr-sys",
- "libc",
- "libm",
-]
-
 [[package]]
 name = "ruint"
 version = "1.17.2"
@@ -5048,7 +5083,7 @@ dependencies = [
  "bytes",
  "fastrlp 0.3.1",
  "fastrlp 0.4.0",
- "num-bigint 0.4.6",
+ "num-bigint",
  "num-integer",
  "num-traits",
  "parity-scale-codec",
@@ -5079,7 +5114,16 @@ checksum = "357703d41365b4b27c590e3ed91eabb1b663f07c4c084095e60cbed4362dff0d"
 name = "rustc-hex"
 version = "2.1.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3e75f6a532d0fd9f7f13144f392b6ad56a32696bfcd9c78f797f16bbb6f072d6"
+checksum = "3e75f6a532d0fd9f7f13144f392b6ad56a32696bfcd9c78f797f16bbb6f072d6"
+
+[[package]]
+name = "rustc_version"
+version = "0.2.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "138e3e0acb6c9fb258b19b67cb8abd63c00679d2851805ea151465464fe9030a"
+dependencies = [
+ "semver 0.9.0",
+]
 
 [[package]]
 name = "rustc_version"
@@ -5118,14 +5162,26 @@ version = "0.23.36"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "c665f33d38cea657d9614f766881e4d510e0eda4239891eea56b4cadcf01801b"
 dependencies = [
+ "aws-lc-rs",
  "once_cell",
- "ring",
  "rustls-pki-types",
  "rustls-webpki",
  "subtle",
  "zeroize",
 ]
 
+[[package]]
+name = "rustls-native-certs"
+version = "0.8.4"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "dab5152771c58876a2146916e53e35057e1a4dfa2b9df0f0305b07f611fdea4d"
+dependencies = [
+ "openssl-probe",
+ "rustls-pki-types",
+ "schannel",
+ "security-framework",
+]
+
 [[package]]
 name = "rustls-pki-types"
 version = "1.14.0"
@@ -5136,12 +5192,40 @@ dependencies = [
  "zeroize",
 ]
 
+[[package]]
+name = "rustls-platform-verifier"
+version = "0.7.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "26d1e2536ce4f35f4846aa13bff16bd0ff40157cdb14cc056c7b14ba41233ba0"
+dependencies = [
+ "core-foundation",
+ "core-foundation-sys",
+ "jni",
+ "log",
+ "once_cell",
+ "rustls",
+ "rustls-native-certs",
+ "rustls-platform-verifier-android",
+ "rustls-webpki",
+ "security-framework",
+ "security-framework-sys",
+ "webpki-root-certs",
+ "windows-sys 0.61.2",
+]
+
+[[package]]
+name = "rustls-platform-verifier-android"
+version = "0.1.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f87165f0995f63a9fbeea62b64d10b4d9d8e78ec6d7d51fb2125fda7bb36788f"
+
 [[package]]
 name = "rustls-webpki"
 version = "0.103.10"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "df33b2b81ac578cabaf06b89b0631153a3f416b0a886e8a7a1707fb51abbd1ef"
 dependencies = [
+ "aws-lc-rs",
  "ring",
  "rustls-pki-types",
  "untrusted",
@@ -5165,12 +5249,6 @@ dependencies = [
  "wait-timeout",
 ]
 
-[[package]]
-name = "ryu"
-version = "1.0.20"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "28d3b2b1366ec20994f1fd18c3c594f05c5dd4bc44d8bb0c1c632c8d6829481f"
-
 [[package]]
 name = "ryu-js"
 version = "1.0.2"
@@ -5194,8 +5272,8 @@ dependencies = [
  "salt-macros",
  "serde",
  "serde_arrays",
- "spin 0.10.0",
- "thiserror 2.0.17",
+ "spin",
+ "thiserror 2.0.20",
  "zerocopy 0.7.35",
 ]
 
@@ -5207,6 +5285,24 @@ dependencies = [
  "rayon",
 ]
 
+[[package]]
+name = "same-file"
+version = "1.0.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "93fc1dc3aaa9bfed95e02e6eadabb4baf7e3078b0bd1b4d7b6b0b68378900502"
+dependencies = [
+ "winapi-util",
+]
+
+[[package]]
+name = "schannel"
+version = "0.1.29"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "91c1b7e4904c873ef0710c1f407dde2e6287de2bebc1bbbf7d430bb7cbffd939"
+dependencies = [
+ "windows-sys 0.61.2",
+]
+
 [[package]]
 name = "schemars"
 version = "0.9.0"
@@ -5293,13 +5389,45 @@ dependencies = [
  "cc",
 ]
 
+[[package]]
+name = "security-framework"
+version = "3.7.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b7f4bc775c73d9a02cde8bf7b2ec4c9d12743edf609006c7facc23998404cd1d"
+dependencies = [
+ "bitflags",
+ "core-foundation",
+ "core-foundation-sys",
+ "libc",
+ "security-framework-sys",
+]
+
+[[package]]
+name = "security-framework-sys"
+version = "2.17.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "6ce2691df843ecc5d231c0b14ece2acc3efb62c0a398c7e1d875f3983ce020e3"
+dependencies = [
+ "core-foundation-sys",
+ "libc",
+]
+
+[[package]]
+name = "semver"
+version = "0.9.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1d7eb9ef2c18661902cc47e535f9bc51b78acd254da71d375c2f6720d9a40403"
+dependencies = [
+ "semver-parser 0.7.0",
+]
+
 [[package]]
 name = "semver"
 version = "0.11.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "f301af10236f6df4160f7c3f04eec6dbc70ace82d23326abad5edee88801c6b6"
 dependencies = [
- "semver-parser",
+ "semver-parser 0.10.3",
 ]
 
 [[package]]
@@ -5312,6 +5440,12 @@ dependencies = [
  "serde_core",
 ]
 
+[[package]]
+name = "semver-parser"
+version = "0.7.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "388a1df253eca08550bef6c72392cfe7c30914bf41df5269b68cbd6ff8f570a3"
+
 [[package]]
 name = "semver-parser"
 version = "0.10.3"
@@ -5362,28 +5496,25 @@ dependencies = [
 
 [[package]]
 name = "serde_json"
-version = "1.0.145"
+version = "1.0.151"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "402a6f66d8c709116cf22f558eab210f5a50187f702eb4d7e5ef38d9a7f1c79c"
+checksum = "c841b55ecdae098c80dcae9cf767f6f8a0c2cdb3416bbef72181df4d0fe73f14"
 dependencies = [
  "indexmap 2.12.1",
  "itoa",
  "memchr",
- "ryu",
  "serde",
  "serde_core",
+ "zmij",
 ]
 
 [[package]]
-name = "serde_urlencoded"
-version = "0.7.1"
+name = "serde_spanned"
+version = "1.1.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d3491c14715ca2294c4d6a88f15e84739788c1d030eed8c110436aafdaa2f3fd"
+checksum = "6662b5879511e06e8999a8a235d848113e942c9124f211511b16466ee2995f26"
 dependencies = [
- "form_urlencoded",
- "itoa",
- "ryu",
- "serde",
+ "serde_core",
 ]
 
 [[package]]
@@ -5411,7 +5542,7 @@ version = "3.16.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "08a72d8216842fdd57820dc78d840bef99248e35fb2554ff923319e60f2d686b"
 dependencies = [
- "darling",
+ "darling 0.21.3",
  "proc-macro2",
  "quote",
  "syn 2.0.117",
@@ -5434,7 +5565,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "e3bf829a2d51ab4a5ddf1352d8470c140cadc8301b2ae1789db023f01cedd6ba"
 dependencies = [
  "cfg-if",
- "cpufeatures",
+ "cpufeatures 0.2.17",
  "digest 0.10.7",
 ]
 
@@ -5446,7 +5577,7 @@ checksum = "4d58a1e1bf39749807d89cf2d98ac2dfa0ff1cb3faa38fbb64dd88ac8013d800"
 dependencies = [
  "block-buffer 0.9.0",
  "cfg-if",
- "cpufeatures",
+ "cpufeatures 0.2.17",
  "digest 0.9.0",
  "opaque-debug",
 ]
@@ -5458,25 +5589,25 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "a7507d819769d01a365ab707794a4084392c824f54a7a6a7862f8c3d0892b283"
 dependencies = [
  "cfg-if",
- "cpufeatures",
+ "cpufeatures 0.2.17",
  "digest 0.10.7",
 ]
 
 [[package]]
 name = "sha3"
-version = "0.10.8"
+version = "0.11.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "75872d278a8f37ef87fa0ddbda7802605cb18344497949862c0d4dcb291eba60"
+checksum = "be176f1a57ce4e3d31c1a166222d9768de5954f811601fb7ca06fc8203905ce1"
 dependencies = [
- "digest 0.10.7",
+ "digest 0.11.3",
  "keccak",
 ]
 
 [[package]]
 name = "sha3-asm"
-version = "0.1.4"
+version = "0.1.8"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c28efc5e327c837aa837c59eae585fc250715ef939ac32881bcc11677cd02d46"
+checksum = "a6287fd675f713484342a89cbf0a386abef5f15919cfad607e5e1f19e1e15331"
 dependencies = [
  "cc",
  "cfg-if",
@@ -5522,6 +5653,22 @@ version = "0.3.9"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "703d5c7ef118737c72f1af64ad2f6f8c5e1921f818cdcb97b8fe6fc69bf66214"
 
+[[package]]
+name = "simd_cesu8"
+version = "1.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "11031e251abf8611c80f460e19dbdeb54a66db918e49c65a7065b46ac7aec520"
+dependencies = [
+ "rustc_version 0.4.1",
+ "simdutf8",
+]
+
+[[package]]
+name = "simdutf8"
+version = "0.1.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "e3a9fe34e3e7a50316060351f37187a3f546bce95496156754b601a5fa71b76e"
+
 [[package]]
 name = "siphasher"
 version = "1.0.1"
@@ -5540,6 +5687,15 @@ version = "0.4.11"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "7a2ae44ef20feb57a68b23d846850f861394c2e02dc425a50098ae8c90267589"
 
+[[package]]
+name = "small_btree"
+version = "0.1.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0ba60d2df92ba73864714808ca68c059734853e6ab722b40e1cf543ebb3a057a"
+dependencies = [
+ "arrayvec",
+]
+
 [[package]]
 name = "smallvec"
 version = "1.15.1"
@@ -5549,6 +5705,12 @@ dependencies = [
  "serde",
 ]
 
+[[package]]
+name = "snap"
+version = "1.1.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "199905e6153d6405f9728fe44daace35f8f837bbf830bb6e85fbd5828709a886"
+
 [[package]]
 name = "socket2"
 version = "0.6.3"
@@ -5575,58 +5737,6 @@ dependencies = [
  "sha1",
 ]
 
-[[package]]
-name = "sp1-lib"
-version = "5.2.3"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "eb1a9935d58cb1dcd757a1b10d727090f5b718f1f03b512d48f0c1952e6ead00"
-dependencies = [
- "bincode 1.3.3",
- "serde",
- "sp1-primitives",
-]
-
-[[package]]
-name = "sp1-primitives"
-version = "5.2.3"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a7d2a6187e394c30097ea7a975a4832f172918690dc89a979f0fad67422d3a8b"
-dependencies = [
- "bincode 1.3.3",
- "blake3",
- "cfg-if",
- "hex",
- "lazy_static",
- "num-bigint 0.4.6",
- "p3-baby-bear",
- "p3-field",
- "p3-poseidon2",
- "p3-symmetric",
- "serde",
- "sha2 0.10.9",
-]
-
-[[package]]
-name = "sp1_bls12_381"
-version = "0.8.0-sp1-5.0.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ac255e1704ebcdeec5e02f6a0ebc4d2e9e6b802161938330b6810c13a610c583"
-dependencies = [
- "cfg-if",
- "ff",
- "group",
- "pairing",
- "rand_core 0.6.4",
- "sp1-lib",
- "subtle",
-]
-
-[[package]]
-name = "spin"
-version = "0.9.8"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6980e8d7511241f8acf4aebddbb1ff938df5eebe98691418c4468d0b72a96a67"
-
 [[package]]
 name = "spin"
 version = "0.10.0"
@@ -5643,12 +5753,6 @@ dependencies = [
  "der",
 ]
 
-[[package]]
-name = "sptr"
-version = "0.3.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3b9b39299b249ad65f3b7e96443bad61c02ca5cd3589f46cb6d610a0fd6c0d6a"
-
 [[package]]
 name = "stable_deref_trait"
 version = "1.2.1"
@@ -5666,7 +5770,7 @@ dependencies = [
  "alloy-rpc-types-eth",
  "alloy-trie",
  "base64",
- "bincode 2.0.1",
+ "bincode",
  "clap",
  "eyre",
  "fastrand",
@@ -5682,7 +5786,7 @@ dependencies = [
  "serde",
  "stateless-core",
  "stateless-test-utils",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
  "tokio",
  "tokio-util",
  "tracing",
@@ -5706,7 +5810,8 @@ dependencies = [
  "alloy-rlp",
  "alloy-rpc-types-eth",
  "alloy-serde",
- "bincode 2.0.1",
+ "alloy-trie",
+ "bincode",
  "dyn-clone",
  "eyre",
  "hashbrown 0.16.1",
@@ -5717,15 +5822,13 @@ dependencies = [
  "op-alloy-rpc-types",
  "reth-ethereum-forks",
  "reth-optimism-chainspec",
- "reth-trie-common",
- "reth-trie-sparse",
  "revm",
  "rustc-hash",
  "salt",
  "serde",
  "serde_json",
  "stateless-test-utils",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
  "tokio",
  "tokio-util",
  "tracing",
@@ -5737,7 +5840,7 @@ version = "2.0.16"
 dependencies = [
  "alloy-primitives",
  "alloy-rpc-types-eth",
- "bincode 2.0.1",
+ "bincode",
  "dashmap",
  "lz4_flex",
  "op-alloy-rpc-types",
@@ -5748,6 +5851,7 @@ dependencies = [
  "serde_json",
  "stateless-core",
  "tempfile",
+ "tracing",
 ]
 
 [[package]]
@@ -5774,7 +5878,7 @@ dependencies = [
  "alloy-genesis",
  "alloy-primitives",
  "alloy-rpc-types-eth",
- "bincode 2.0.1",
+ "bincode",
  "eyre",
  "op-alloy-rpc-types",
  "revm",
@@ -5810,7 +5914,7 @@ dependencies = [
  "stateless-r2",
  "stateless-test-utils",
  "tempfile",
- "thiserror 2.0.17",
+ "thiserror 2.0.20",
  "tokio",
  "tokio-util",
  "tracing",
@@ -5877,11 +5981,22 @@ dependencies = [
  "unicode-ident",
 ]
 
+[[package]]
+name = "syn"
+version = "3.0.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "53e9bae58849f64dfa4f5d5ae372c8341f7305f82a3868709269343628b659a3"
+dependencies = [
+ "proc-macro2",
+ "quote",
+ "unicode-ident",
+]
+
 [[package]]
 name = "syn-solidity"
-version = "1.4.1"
+version = "1.6.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ff790eb176cc81bb8936aed0f7b9f14fc4670069a2d371b3e3b0ecce908b2cb3"
+checksum = "083be3061e64d362cbe6ef12cfe1307ba3884326d8856448fe8a120fa2c44ebf"
 dependencies = [
  "paste",
  "proc-macro2",
@@ -5909,12 +6024,29 @@ dependencies = [
  "syn 2.0.117",
 ]
 
+[[package]]
+name = "tag_ptr"
+version = "0.1.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c0e973b34477b7823833469eb0f5a3a60370fef7a453e02d751b59180d0a5a05"
+
 [[package]]
 name = "tap"
 version = "1.0.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "55937e1799185b12863d447f42597ed69d9928686b8d88a1df17376a097d8369"
 
+[[package]]
+name = "tar"
+version = "0.4.46"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "3f6221d9a6003c78398e3b239969f352578258df48c8eb051caadae0015bc840"
+dependencies = [
+ "filetime",
+ "libc",
+ "xattr",
+]
+
 [[package]]
 name = "tempfile"
 version = "3.27.0"
@@ -5945,11 +6077,11 @@ dependencies = [
 
 [[package]]
 name = "thiserror"
-version = "2.0.17"
+version = "2.0.20"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f63587ca0f12b72a0600bcba1d40081f830876000bb46dd2337a3051618f4fc8"
+checksum = "ec86235f5fcc2a73650310756d2ac5b138a5780bbbdfae3eeccec992c435ba4f"
 dependencies = [
- "thiserror-impl 2.0.17",
+ "thiserror-impl 2.0.20",
 ]
 
 [[package]]
@@ -5965,13 +6097,13 @@ dependencies = [
 
 [[package]]
 name = "thiserror-impl"
-version = "2.0.17"
+version = "2.0.20"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3ff15c8ecd7de3849db632e14d18d2571fa09dfc5ed93479bc4485c7a517c913"
+checksum = "bc04cd3e1236dd4a98afca4569f2deb3f120e5422a4023be2cb683f8486292af"
 dependencies = [
  "proc-macro2",
  "quote",
- "syn 2.0.117",
+ "syn 3.0.3",
 ]
 
 [[package]]
@@ -6000,7 +6132,6 @@ checksum = "743bd48c283afc0388f9b8827b976905fb217ad9e647fae3a379a9283c4def2c"
 dependencies = [
  "deranged",
  "itoa",
- "js-sys",
  "libc",
  "num-conv",
  "num_threads",
@@ -6026,25 +6157,6 @@ dependencies = [
  "time-core",
 ]
 
-[[package]]
-name = "tiny-keccak"
-version = "2.0.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2c9d3793400a45f954c52e73d068316d76b6f4e36977e3fcebb13a2721e80237"
-dependencies = [
- "crunchy",
-]
-
-[[package]]
-name = "tinystr"
-version = "0.7.6"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9117f5d4db391c1cf6927e7bea3db74b9a1c1add8f7eda9ffd5364f40f57b82f"
-dependencies = [
- "displaydoc",
- "zerovec 0.10.4",
-]
-
 [[package]]
 name = "tinystr"
 version = "0.8.2"
@@ -6052,7 +6164,8 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "42d3e9c45c09de15d06dd8acf5f4e0e399e85927b7f00711024eb7ae10fa4869"
 dependencies = [
  "displaydoc",
- "zerovec 0.11.5",
+ "serde_core",
+ "zerovec",
 ]
 
 [[package]]
@@ -6133,11 +6246,26 @@ dependencies = [
  "tokio",
 ]
 
+[[package]]
+name = "toml"
+version = "0.9.12+spec-1.1.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "cf92845e79fc2e2def6a5d828f0801e29a2f8acc037becc5ab08595c7d5e9863"
+dependencies = [
+ "indexmap 2.12.1",
+ "serde_core",
+ "serde_spanned",
+ "toml_datetime",
+ "toml_parser",
+ "toml_writer",
+ "winnow 0.7.13",
+]
+
 [[package]]
 name = "toml_datetime"
-version = "0.7.3"
+version = "0.7.5+spec-1.1.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f2cdb639ebbc97961c51720f858597f7f24c4fc295327923af55b74c3c724533"
+checksum = "92e1cfed4a3038bc5a127e35a2d360f145e1f4b971b551a2ba5fd7aedf7e1347"
 dependencies = [
  "serde_core",
 ]
@@ -6151,18 +6279,24 @@ dependencies = [
  "indexmap 2.12.1",
  "toml_datetime",
  "toml_parser",
- "winnow",
+ "winnow 0.7.13",
 ]
 
 [[package]]
 name = "toml_parser"
-version = "1.0.4"
+version = "1.1.3+spec-1.1.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c0cbe268d35bdb4bb5a56a2de88d0ad0eb70af5384a99d648cd4b3d04039800e"
+checksum = "1d38ac1cf9b95face32296c0a3ede1fdc270627c9d9c02a7274dd6d960dc4d56"
 dependencies = [
- "winnow",
+ "winnow 1.0.4",
 ]
 
+[[package]]
+name = "toml_writer"
+version = "1.1.2+spec-1.1.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "7d56353a2a665ad0f41a421187180aab746c8c325620617ad883a99a1cbe66d2"
+
 [[package]]
 name = "tower"
 version = "0.5.2"
@@ -6191,6 +6325,7 @@ dependencies = [
  "futures-util",
  "http",
  "http-body",
+ "http-body-util",
  "iri-string",
  "pin-project-lite",
  "tokio",
@@ -6302,9 +6437,9 @@ checksum = "e421abadd41a4225275504ea4d6566923418b7f05506fbc9c0fe86ba7396114b"
 
 [[package]]
 name = "typenum"
-version = "1.19.0"
+version = "1.20.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "562d481066bde0658276a35467c4af00bdc6ee726305698a55b86e61d7ad82bb"
+checksum = "b6f5e870be6c3b371b77fe0ee0bafb859fa4964b4404c27de1d380043c4dda20"
 
 [[package]]
 name = "ucd-trie"
@@ -6405,6 +6540,16 @@ dependencies = [
  "libc",
 ]
 
+[[package]]
+name = "walkdir"
+version = "2.5.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "29790946404f91d9c5d06f9874efddea1dc06c5efe94541a7d6863108e3a5e4b"
+dependencies = [
+ "same-file",
+ "winapi-util",
+]
+
 [[package]]
 name = "want"
 version = "0.3.1"
@@ -6522,10 +6667,10 @@ dependencies = [
 ]
 
 [[package]]
-name = "webpki-roots"
-version = "1.0.6"
+name = "webpki-root-certs"
+version = "1.0.9"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "22cfaf3c063993ff62e73cb4311efde4db1efb31ab78a3e5c457939ad5cc0bed"
+checksum = "b96554aa2acc8ccdb7e1c9a58a7a68dd5d13bccc69cd124cb09406db612a1c9b"
 dependencies = [
  "rustls-pki-types",
 ]
@@ -6546,6 +6691,15 @@ version = "0.4.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "ac3b87c63620426dd9b991e5ce0329eff545bccbbb34f3be09ff6fb6ab51b7b6"
 
+[[package]]
+name = "winapi-util"
+version = "0.1.11"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c2a7b1c03c876122aa43f3020e6c3c3ee5c05081c9a00739faf7503aeba10d22"
+dependencies = [
+ "windows-sys 0.61.2",
+]
+
 [[package]]
 name = "winapi-x86_64-pc-windows-gnu"
 version = "0.4.0"
@@ -6776,6 +6930,15 @@ dependencies = [
  "memchr",
 ]
 
+[[package]]
+name = "winnow"
+version = "1.0.4"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "23b97319f7b8343df12cc98938e5c3eb436064524c8d2b4e30a1d3a36eecdf81"
+dependencies = [
+ "memchr",
+]
+
 [[package]]
 name = "wit-bindgen"
 version = "0.46.0"
@@ -6788,12 +6951,6 @@ version = "1.0.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "d1890f4022759daae28ed4fe62859b1236caebfc61ede2f63ed4e695f3f6d936"
 
-[[package]]
-name = "writeable"
-version = "0.5.5"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1e9df38ee2d2c3c5948ea468a8406ff0db0b29ae1ffde1bcf20ef305bcc95c51"
-
 [[package]]
 name = "writeable"
 version = "0.6.2"
@@ -6810,17 +6967,21 @@ dependencies = [
 ]
 
 [[package]]
-name = "yoke"
-version = "0.7.5"
+name = "xattr"
+version = "1.6.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "120e6aef9aa629e3d4f52dc8cc43a015c7724194c97dfaf45180d2daf2b77f40"
+checksum = "32e45ad4206f6d2479085147f02bc2ef834ac85886624a23575ae137c8aa8156"
 dependencies = [
- "serde",
- "stable_deref_trait",
- "yoke-derive 0.7.5",
- "zerofrom",
+ "libc",
+ "rustix",
 ]
 
+[[package]]
+name = "xsum"
+version = "0.1.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0637d3a5566a82fa5214bae89087bc8c9fb94cd8e8a3c07feb691bb8d9c632db"
+
 [[package]]
 name = "yoke"
 version = "0.8.1"
@@ -6828,22 +6989,10 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "72d6e5c6afb84d73944e5cedb052c4680d5657337201555f9f2a16b7406d4954"
 dependencies = [
  "stable_deref_trait",
- "yoke-derive 0.8.1",
+ "yoke-derive",
  "zerofrom",
 ]
 
-[[package]]
-name = "yoke-derive"
-version = "0.7.5"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2380878cad4ac9aac1e2435f3eb4020e8374b5f13c296cb75b4620ff8e229154"
-dependencies = [
- "proc-macro2",
- "quote",
- "syn 2.0.117",
- "synstructure",
-]
-
 [[package]]
 name = "yoke-derive"
 version = "0.8.1"
@@ -6944,19 +7093,8 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "2a59c17a5562d507e4b54960e8569ebee33bee890c70aa3fe7b97e85a9fd7851"
 dependencies = [
  "displaydoc",
- "yoke 0.8.1",
- "zerofrom",
-]
-
-[[package]]
-name = "zerovec"
-version = "0.10.4"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "aa2b893d79df23bfb12d5461018d408ea19dfafe76c2c7ef6d4eba614f8ff079"
-dependencies = [
- "yoke 0.7.5",
+ "yoke",
  "zerofrom",
- "zerovec-derive 0.10.3",
 ]
 
 [[package]]
@@ -6965,16 +7103,17 @@ version = "0.11.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "6c28719294829477f525be0186d13efa9a3c602f7ec202ca9e353d310fb9a002"
 dependencies = [
- "yoke 0.8.1",
+ "serde",
+ "yoke",
  "zerofrom",
- "zerovec-derive 0.11.2",
+ "zerovec-derive",
 ]
 
 [[package]]
 name = "zerovec-derive"
-version = "0.10.3"
+version = "0.11.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6eafa6dfb17584ea3e2bd6e76e0cc15ad7af12b09abdd1ca55961bed9b1063c6"
+checksum = "eadce39539ca5cb3985590102671f2567e659fca9666581ad3411d59207951f3"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -6982,15 +7121,10 @@ dependencies = [
 ]
 
 [[package]]
-name = "zerovec-derive"
-version = "0.11.2"
+name = "zmij"
+version = "1.0.23"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "eadce39539ca5cb3985590102671f2567e659fca9666581ad3411d59207951f3"
-dependencies = [
- "proc-macro2",
- "quote",
- "syn 2.0.117",
-]
+checksum = "29666d0abbfad1e3dc4dcf6144730dd3a3ab225bbbdac83319345b1b44ccfc1b"
 
 [[package]]
 name = "zstd"
diff --git a/Cargo.toml b/Cargo.toml
index 8a6ec417..2f9eeced 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -13,52 +13,55 @@ resolver = "2"
 [workspace.package]
 version = "2.0.16"
 edition = "2024"
-rust-version = "1.91"
+rust-version = "1.94"
 license = "MIT OR Apache-2.0"
 repository = "https://github.com/megaeth-labs/stateless-validator"
 exclude = [".github/"]
 
 [workspace.dependencies]
 # alloy
-alloy-consensus = { version = "1.0.23", default-features = false }
-alloy-eips = { version = "1.0.23", default-features = false }
-alloy-evm = { version = "0.15.0", default-features = false }
-alloy-genesis = { version = "1.0.23", default-features = false }
-alloy-hardforks = { version = "0.2.7", default-features = false }
-alloy-network = "1.0.23"
-alloy-op-evm = { version = "0.15.0", default-features = false }
-alloy-op-hardforks = { version = "0.2.7", default-features = false }
-alloy-primitives = { version = "1.3.0", default-features = false }
-alloy-provider = { version = "1.0.23", features = [
+alloy-consensus = { version = "2.0.5", default-features = false }
+alloy-eips = { version = "2.0.5", default-features = false }
+alloy-evm = { version = "0.36.0", default-features = false }
+alloy-genesis = { version = "2.0.5", default-features = false }
+alloy-hardforks = { version = "0.4.7", default-features = false }
+alloy-network = "2.0.5"
+alloy-primitives = { version = "1.6.0", default-features = false }
+alloy-provider = { version = "2.0.5", features = [
     "reqwest",
     "reqwest-rustls-tls",
 ], default-features = false }
-alloy-rlp = { version = "0.3.10", default-features = false }
-alloy-rpc-client = { version = "1.0.23", default-features = false }
-alloy-rpc-types-eth = { version = "1.0.23", default-features = false }
-alloy-rpc-types-trace = "1.0.23"
-alloy-serde = { version = "1.0.23", default-features = false }
-alloy-signer-local = "1.0.23"
-alloy-trie = { version = "0.9.0", default-features = false }
+alloy-rlp = { version = "0.3.13", default-features = false }
+alloy-rpc-client = { version = "2.0.5", default-features = false }
+alloy-rpc-types-eth = { version = "2.0.5", default-features = false }
+alloy-rpc-types-trace = "2.0.5"
+alloy-serde = { version = "2.0.5", default-features = false }
+alloy-signer-local = "2.0.5"
+alloy-trie = { version = "0.9.4", default-features = false }
 
 # mega
-mega-evm = { git = "https://github.com/megaeth-labs/mega-evm.git", tag = "v1.7.0", default-features = false }
+mega-evm = { git = "https://github.com/megaeth-labs/mega-evm.git", branch = "cz/chore/upgrade-revm-40", default-features = false }
 salt = { git = "https://github.com/megaeth-labs/salt.git", tag = "v1.0.5", default-features = false }
 
 # op
-op-alloy-consensus = { version = "0.18.12", default-features = false }
-op-alloy-network = { version = "0.18.12", default-features = false }
-op-alloy-rpc-types = { version = "0.18.12", default-features = false }
+# Every crate below is pinned to the same Optimism monorepo revision as mega-evm's
+# cz/chore/upgrade-revm-40 branch: crates.io has no op-revm / alloy-op-evm release built
+# against revm 40, and all OP crates must share one source identity for OpTxEnvelope,
+# receipt, and hardfork types. reth-optimism-chainspec moved from paradigmxyz/reth into
+# the monorepo, so it is pinned here with the rest of the OP family.
+alloy-op-evm = { git = "https://github.com/ethereum-optimism/optimism", rev = "f67d87cd5c9992b62d215c043917b94e3f019629", default-features = false }
+alloy-op-hardforks = { git = "https://github.com/ethereum-optimism/optimism", rev = "f67d87cd5c9992b62d215c043917b94e3f019629", default-features = false }
+op-alloy-consensus = { git = "https://github.com/ethereum-optimism/optimism", rev = "f67d87cd5c9992b62d215c043917b94e3f019629", default-features = false }
+op-alloy-network = { git = "https://github.com/ethereum-optimism/optimism", rev = "f67d87cd5c9992b62d215c043917b94e3f019629", default-features = false }
+op-alloy-rpc-types = { git = "https://github.com/ethereum-optimism/optimism", rev = "f67d87cd5c9992b62d215c043917b94e3f019629", default-features = false }
+reth-optimism-chainspec = { git = "https://github.com/ethereum-optimism/optimism", rev = "f67d87cd5c9992b62d215c043917b94e3f019629", default-features = false }
 
 # reth
-reth-ethereum-forks = { git = "https://github.com/paradigmxyz/reth", tag = "v1.6.0", default-features = false }
-reth-optimism-chainspec = { git = "https://github.com/paradigmxyz/reth", tag = "v1.6.0", default-features = false }
-reth-trie-common = { git = "https://github.com/paradigmxyz/reth", tag = "v1.6.0", default-features = false }
-reth-trie-sparse = { git = "https://github.com/paradigmxyz/reth", tag = "v1.6.0", default-features = false }
+reth-ethereum-forks = { git = "https://github.com/paradigmxyz/reth", tag = "v2.3.0", default-features = false }
 
 # revm
-revm = { version = "27.1.0", default-features = false }
-revm-inspectors = { version = "0.27.3", features = ["std", "js-tracer"], default-features = false }
+revm = { version = "40.0.3", default-features = false }
+revm-inspectors = { version = "0.40.1", features = ["std", "js-tracer"], default-features = false }
 
 # misc
 base64 = { version = "0.22", default-features = false }
@@ -93,7 +96,7 @@ pin-project-lite = "0.2"
 quick_cache = { version = "0.6", default-features = false }
 rayon = "1.11"
 redb = "4.0"
-reqwest = { version = "0.12", default-features = false }
+reqwest = { version = "0.13", default-features = false }
 rolling-file = "0.2"
 rustc-hash = { version = "2.1", default-features = false }
 serde = { version = "1.0", default-features = false, features = ["alloc", "derive"] }
diff --git a/README.md b/README.md
index 029a74e5..04f27190 100644
--- a/README.md
+++ b/README.md
@@ -103,7 +103,7 @@ The HTTP response cache is keyed by `(resource, block hash, tracer variant)` —
 Entries hold the reply's raw JSON bytes, serialized exactly once from the trace output and spliced verbatim into every response — a hit shares the bytes by `Arc` instead of re-parsing and re-serializing the JSON tree.
 By-number requests resolve their canonical hash before the lookup (local index, then an in-memory memo, then upstream `eth_getHeaderByNumber`), so a reorged height resolves to the new hash and misses cleanly.
 Cacheable shapes are the five built-in tracers (`callTracer`, `prestateTracer`, `4byteTracer`, `noopTracer`, `flatCallTracer`, keyed by their parsed, typed `tracerConfig` — equivalent configs collapse onto one entry) and the bare default struct-logger request (no tracer, no `tracerConfig`, default flags).
-JS tracers, `muxTracer`, and struct-logger requests with non-default flags bypass the cache and are recomputed on every request.
+JS tracers, `muxTracer`, and struct-logger requests with non-default flags bypass the cache and are recomputed on every request; the unimplemented `erc7562Tracer` is rejected with `-32602` before any block data is fetched.
 A type-malformed `tracerConfig` on a config-reading builtin (`callTracer`/`prestateTracer`/`flatCallTracer`) is rejected with `-32602 invalid params` instead of being silently traced with default settings.
 Disable the cache with `--response-cache-disabled`; `--response-cache-estimated-items` must be at least 1 (the old `=0` disable convention is rejected at startup).
 
@@ -273,7 +273,7 @@ The pipeline is configured via `PipelineConfig` and customized through trait imp
 | `crates/stateless-core/src/executor.rs`                                                        | Block validation and EVM replay                                                                             |
 | `crates/stateless-core/src/db.rs`                                                              | Shared storage traits: `ChainStore`, `ContractStore`, `StoreError` (scenario stores live in their binaries) |
 | `crates/stateless-core/src/evm_database.rs`                                                    | `WitnessDatabase` implementing `revm::DatabaseRef`                                                          |
-| `crates/stateless-core/src/withdrawals.rs`                                                     | Withdrawal validation and MPT witness handling                                                              |
+| `crates/stateless-core/src/withdrawals.rs`                                                     | Withdrawal MPT witness verification (witness linearized into `alloy_trie::HashBuilder`)                                                              |
 | `crates/stateless-db/src/{lib,tables,helpers,serialize,cache}.rs`                              | Shared redb tables, helpers, serialization, and bounded `ContractCache`                                     |
 | `crates/stateless-common/src/rpc_client.rs`                                                    | `RpcClient`: multi-endpoint HTTP client for blocks, witnesses, and bytecode                                 |
 | `crates/stateless-common/src/metrics.rs`                                                       | `RpcMethod`, `RpcMetrics`, `RpcClientConfig`                                                                |
@@ -301,6 +301,7 @@ The validator and trace server each have their own `redb`-backed database, shari
 | `BLOCK_RECORDS`   | `(BlockNumber, BlockHash)` | `()`                                                   | Trace server (pruning index) |
 
 In both binaries, `CANONICAL_CHAIN` is a bounded contiguous window — exactly the range reorg bisection trusts.
+`CONTRACTS` rows are self-validating on read: an entry that fails to decode or whose bytecode no longer hashes back to its key (disk corruption, or a `Bytecode` encoding change in a dependency upgrade) is treated as a cache miss and transparently re-fetched from RPC, so existing data dirs survive release upgrades without manual clearing.
 
 ### SALT Witness Cryptography
 
diff --git a/bin/debug-trace-server/Cargo.toml b/bin/debug-trace-server/Cargo.toml
index b13bf230..a9ff4849 100644
--- a/bin/debug-trace-server/Cargo.toml
+++ b/bin/debug-trace-server/Cargo.toml
@@ -12,7 +12,6 @@ exclude.workspace = true
 alloy-consensus.workspace = true
 alloy-evm.workspace = true
 alloy-genesis.workspace = true
-alloy-op-evm.workspace = true
 alloy-primitives.workspace = true
 alloy-rpc-types-eth.workspace = true
 alloy-rpc-types-trace.workspace = true
@@ -21,6 +20,7 @@ alloy-rpc-types-trace.workspace = true
 mega-evm.workspace = true
 
 # op
+alloy-op-evm.workspace = true
 op-alloy-network.workspace = true
 op-alloy-rpc-types.workspace = true
 
diff --git a/bin/debug-trace-server/src/block_data_cache.rs b/bin/debug-trace-server/src/block_data_cache.rs
index 61959654..0a55dada 100644
--- a/bin/debug-trace-server/src/block_data_cache.rs
+++ b/bin/debug-trace-server/src/block_data_cache.rs
@@ -294,6 +294,7 @@ mod tests {
                 inner: Recovered::new_unchecked(OpTxEnvelope::Eip7702(signed), Address::ZERO),
                 block_hash: None,
                 block_number: None,
+                block_timestamp: None,
                 transaction_index: None,
                 effective_gas_price: None,
             },
diff --git a/bin/debug-trace-server/src/metrics.rs b/bin/debug-trace-server/src/metrics.rs
index 459492fe..eab0dd2c 100644
--- a/bin/debug-trace-server/src/metrics.rs
+++ b/bin/debug-trace-server/src/metrics.rs
@@ -397,6 +397,7 @@ pub const REQUEST_SHAPES: &[&str] = &[
     "struct_logger_config",
     "js_tracer",
     "mux_tracer",
+    "erc7562_tracer",
 ];
 
 /// Records one request of the given parameter shape for `method`.
diff --git a/bin/debug-trace-server/src/response_cache.rs b/bin/debug-trace-server/src/response_cache.rs
index 89e0fa2a..bb984913 100644
--- a/bin/debug-trace-server/src/response_cache.rs
+++ b/bin/debug-trace-server/src/response_cache.rs
@@ -182,6 +182,12 @@ pub enum RequestShape {
         /// The deserialization failure.
         error: serde_json::Error,
     },
+    /// A builtin tracer this server does not implement: the request must be rejected
+    /// before any block data is fetched or executed.
+    Unsupported {
+        /// Shape label of the unsupported tracer.
+        label: &'static str,
+    },
 }
 
 impl RequestShape {
@@ -193,7 +199,8 @@ impl RequestShape {
     ///
     /// Bypassed: JS tracers (the response depends on the tracer source, which has no place
     /// in a bounded key), `muxTracer`, and struct-logger requests with non-default
-    /// `opts.config`.
+    /// `opts.config`. The unimplemented `erc7562Tracer` classifies as [`Self::Unsupported`]
+    /// and is rejected at the gate.
     pub fn classify(opts: &GethDebugTracingOptions) -> Self {
         use alloy_rpc_types_trace::geth::{GethDebugBuiltInTracerType, GethDebugTracerType};
 
@@ -235,6 +242,9 @@ impl RequestShape {
                 // Exhaustive on purpose: a future alloy builtin variant must make an
                 // explicit cache-whitelist decision here instead of silently bypassing.
                 GethDebugBuiltInTracerType::MuxTracer => Self::Bypass("mux_tracer"),
+                GethDebugBuiltInTracerType::Erc7562Tracer => {
+                    Self::Unsupported { label: "erc7562_tracer" }
+                }
             },
             Some(GethDebugTracerType::JsTracer(_)) => Self::Bypass("js_tracer"),
         }
@@ -260,7 +270,7 @@ impl RequestShape {
         match self {
             Self::Cacheable(variant) => variant.label(),
             Self::Bypass(label) => label,
-            Self::InvalidTracerConfig { label, .. } => label,
+            Self::InvalidTracerConfig { label, .. } | Self::Unsupported { label } => label,
         }
     }
 
@@ -769,6 +779,14 @@ mod tests {
         let shape = RequestShape::classify(&malformed);
         assert_eq!(shape.label(), "call_tracer");
         assert!(shape.cache_variant().is_none());
+
+        // The unsupported erc7562Tracer likewise: registered label, neither cacheable
+        // nor bypass (the gate rejects it before execution).
+        let shape =
+            RequestShape::classify(&builtin_opts(GethDebugBuiltInTracerType::Erc7562Tracer));
+        assert_eq!(shape.label(), "erc7562_tracer");
+        assert!(crate::metrics::REQUEST_SHAPES.contains(&shape.label()));
+        assert!(shape.cache_variant().is_none());
     }
 
     /// Key identity (Eq + Hash, exercised through a `HashSet`) discriminates on every
diff --git a/bin/debug-trace-server/src/rpc_service.rs b/bin/debug-trace-server/src/rpc_service.rs
index 48fe4aa0..be9d3711 100644
--- a/bin/debug-trace-server/src/rpc_service.rs
+++ b/bin/debug-trace-server/src/rpc_service.rs
@@ -338,20 +338,26 @@ fn invalid_params_err(msg: String) -> jsonrpsee::types::ErrorObjectOwned {
 }
 
 /// Classifies `opts`, records the request-shape metric, and rejects a type-malformed
-/// `tracerConfig` on a config-reading builtin with `-32602 invalid params` — before any
-/// block data is fetched or executed. Returns the cache variant (`Some` only for
-/// cacheable shapes).
+/// `tracerConfig` on a config-reading builtin — or an unsupported tracer — with
+/// `-32602 invalid params`, before any block data is fetched or executed. Returns the
+/// cache variant (`Some` only for cacheable shapes).
 fn classify_and_gate(
     method_name: &'static str,
     opts: &GethDebugTracingOptions,
 ) -> Result<Option<ResponseVariant>, jsonrpsee::types::ErrorObjectOwned> {
     let shape = RequestShape::classify(opts);
     metrics::record_request_shape(method_name, shape.label());
-    if let RequestShape::InvalidTracerConfig { label, error } = &shape {
-        metrics::record_rpc_error(method_name);
-        return Err(invalid_params_err(format!("invalid tracerConfig for {label}: {error}")));
-    }
-    Ok(shape.cache_variant())
+    // Exhaustive on purpose, like `classify` itself: a future shape variant must make
+    // an explicit gate decision here instead of silently passing through.
+    let message = match &shape {
+        RequestShape::Cacheable(_) | RequestShape::Bypass(_) => return Ok(shape.cache_variant()),
+        RequestShape::InvalidTracerConfig { label, error } => {
+            format!("invalid tracerConfig for {label}: {error}")
+        }
+        RequestShape::Unsupported { label } => format!("unsupported tracer: {label}"),
+    };
+    metrics::record_rpc_error(method_name);
+    Err(invalid_params_err(message))
 }
 
 /// Maps a [`DataProviderError`] to a JSON-RPC error object.
@@ -1119,6 +1125,19 @@ mod tests {
         assert!(classify_and_gate("test_method", &opts).unwrap().is_some());
     }
 
+    #[test]
+    fn unsupported_tracer_maps_to_invalid_params() {
+        let opts: GethDebugTracingOptions =
+            serde_json::from_value(serde_json::json!({"tracer": "erc7562Tracer"})).unwrap();
+        let err = classify_and_gate("test_method", &opts).unwrap_err();
+        assert_eq!(err.code(), jsonrpsee::types::error::INVALID_PARAMS_CODE);
+        assert!(
+            err.message().contains("unsupported tracer: erc7562_tracer"),
+            "message: {}",
+            err.message(),
+        );
+    }
+
     #[test]
     fn test_timed_alias_duplicate_rejected() {
         // Registering the same alias twice should fail
diff --git a/bin/debug-trace-server/src/server_db.rs b/bin/debug-trace-server/src/server_db.rs
index deb7d39f..a8500e52 100644
--- a/bin/debug-trace-server/src/server_db.rs
+++ b/bin/debug-trace-server/src/server_db.rs
@@ -428,9 +428,11 @@ mod tests {
     fn test_server_db_contract_codes() {
         let (_dir, db) = temp_server_db();
 
-        let hash1 = B256::from([1u8; 32]);
-        let hash2 = B256::from([2u8; 32]);
         let bytecode = Bytecode::new_raw(alloy_primitives::Bytes::from_static(&[0x60, 0x00]));
+        // The read path re-checks that stored bytecode hashes back to its key, so the
+        // stored entry must be keyed by its real code hash.
+        let hash1 = bytecode.hash_slow();
+        let hash2 = B256::from([2u8; 32]);
 
         ContractStore::add_contracts(&db, &[(hash1, bytecode.clone())]).unwrap();
 
diff --git a/bin/debug-trace-server/src/tracing_executor.rs b/bin/debug-trace-server/src/tracing_executor.rs
index f3f82322..e5f96f6a 100644
--- a/bin/debug-trace-server/src/tracing_executor.rs
+++ b/bin/debug-trace-server/src/tracing_executor.rs
@@ -34,7 +34,6 @@ use alloy_rpc_types_trace::{
         FourByteFrame, GethDebugBuiltInTracerType, GethDebugTracerConfig, GethDebugTracerType,
         GethDebugTracingOptions, GethTrace, NoopFrame, TraceResult,
         call::{CallConfig, FlatCallConfig},
-        mux::MuxConfig,
         pre_state::{AccountState, PreStateConfig, PreStateFrame},
     },
     parity::LocalizedTransactionTrace,
@@ -175,6 +174,7 @@ fn tx_info_at(block: &Block<OpTransaction>, tx: &OpTransaction, index: usize) ->
         block_hash: Some(block.header.hash),
         block_number: Some(block.header.number),
         base_fee: block.header.base_fee_per_gas,
+        block_timestamp: Some(block.header.timestamp),
     }
 }
 
@@ -226,24 +226,19 @@ fn tx_replay_failure(
     ValidationError::BlockReplayFailed(e)
 }
 
-/// Builds a [`MuxInspector`] from an already-parsed config (request-attributable on
-/// failure).
-fn mux_inspector(config: MuxConfig) -> Result<MuxInspector, TraceError> {
-    MuxInspector::try_from_config(config)
-        .map_err(|e| request_error("MuxInspector creation failed", e))
-}
-
 /// Parses the mux `tracerConfig` and builds its inspector — the one home for the mux
-/// construction path shared by the block and transaction dispatchers.
-fn mux_config_and_inspector(
-    tracer_config: &GethDebugTracerConfig,
-) -> Result<(MuxConfig, MuxInspector), TraceError> {
+/// construction path shared by the block and transaction dispatchers. Per-tx resets
+/// clone the pristine inspector instead of re-parsing the config.
+fn mux_inspector(tracer_config: &GethDebugTracerConfig) -> Result<MuxInspector, TraceError> {
     let config = tracer_config
         .clone()
         .into_mux_config()
         .map_err(|e| request_error("invalid muxTracer tracerConfig", e))?;
-    let inspector = mux_inspector(config.clone())?;
-    Ok((config, inspector))
+    // Since alloy 2.x, an unknown tracer name inside a mux config parses (as a JS
+    // tracer key) and is only rejected here by the inspector — still config-attributable,
+    // so the context matches the serde-failure wording.
+    MuxInspector::try_from_config(config)
+        .map_err(|e| request_error("invalid muxTracer tracerConfig", e))
 }
 
 /// Parses a config-reading builtin's `tracerConfig` into its [`TracerKind`] — the one
@@ -273,9 +268,14 @@ fn builtin_tracer_kind(
             .into_flat_call_config()
             .map(TracerKind::FlatCall)
             .map_err(|e| request_error("invalid flatCallTracer tracerConfig", e)),
+        // Unsupported: normally rejected by `RequestShape::classify` (-32602) before
+        // the executor runs; the dispatchers route it here so the message has one home.
+        GethDebugBuiltInTracerType::Erc7562Tracer => {
+            Err(request_error("Unsupported tracer", "erc7562Tracer"))
+        }
         // Not TracingInspector tracers: the dispatchers execute these in their own arms
-        // (mux via `mux_config_and_inspector`) and never route them here; kept total —
-        // a request error rather than a panic.
+        // (mux via `mux_inspector`) and never route them here; kept total — a request
+        // error rather than a panic.
         GethDebugBuiltInTracerType::FourByteTracer |
         GethDebugBuiltInTracerType::NoopTracer |
         GethDebugBuiltInTracerType::MuxTracer => {
@@ -325,6 +325,78 @@ macro_rules! replay_preceding_txs {
 }
 
 // TracingInspector-based helpers (shared by Call, PreState, FlatCall, Default)
+/// Extracts the traced transaction's frame from the executor's inspector — the one
+/// home for the four `TracerKind` frame builders, shared by the block and
+/// single-transaction paths (whose executor types are macro-local, like
+/// [`setup_executor!`]'s).
+///
+/// Evaluates to `Result<GethTrace, ValidationError>`. The `FlatCall` arm takes the
+/// inspector by value (leaving a fresh one behind, which doubles as its per-tx
+/// reset); every other arm leaves the recorded inspector in place for the caller to
+/// reset. `$info` is only evaluated by the `FlatCall` arm.
+macro_rules! extract_trace_frame {
+    ($executor:ident, $tracer:expr, $result_and_state:expr, $tx_gas_limit:expr, $info:expr) => {{
+        let result_and_state = &$result_and_state;
+        match $tracer {
+            TracerKind::Call(call_config) => {
+                let gas_used = result_and_state.result.tx_gas_used();
+                let inspector = $executor.inspector_mut();
+                inspector.set_transaction_gas_limit($tx_gas_limit);
+                Ok(GethTrace::from(
+                    inspector.geth_builder().geth_call_traces(*call_config, gas_used),
+                ))
+            }
+            TracerKind::PreState(prestate_config) => {
+                $executor.inspector_mut().set_transaction_gas_limit($tx_gas_limit);
+                let frame_result = {
+                    let db = $executor.evm.db();
+                    let inspector = $executor.inspector();
+                    inspector.geth_builder().geth_prestate_traces(
+                        result_and_state,
+                        prestate_config,
+                        db,
+                    )
+                };
+                match frame_result {
+                    Ok(frame) => {
+                        let final_frame = if prestate_config.is_diff_mode() {
+                            let db = $executor.evm.db();
+                            add_accessed_unchanged_accounts(frame, &result_and_state.state, db)
+                        } else {
+                            frame
+                        };
+                        Ok(GethTrace::from(final_frame))
+                    }
+                    Err(e) => Err(frame_build_error("PreState trace failed", e)),
+                }
+            }
+            TracerKind::FlatCall(_) => {
+                // Take the inspector rather than cloning its recorded trace arena.
+                let frame: alloy_rpc_types_trace::geth::call::FlatCallFrame =
+                    core::mem::replace($executor.inspector_mut(), $tracer.create_inspector())
+                        .with_transaction_gas_limit($tx_gas_limit)
+                        .into_parity_builder()
+                        .into_localized_transaction_traces($info);
+                Ok(GethTrace::from(frame))
+            }
+            TracerKind::Default(opts) => {
+                let gas_used = result_and_state.result.tx_gas_used();
+                let return_value = result_and_state.result.output().cloned().unwrap_or_default();
+                let inspector = $executor.inspector_mut();
+                inspector.set_transaction_gas_limit($tx_gas_limit);
+                // alloy-rpc-types-trace 2.x serializes `returnValue` with a "0x" prefix
+                // on both sides, so the frame is emitted as-is (the 1.x era needed a
+                // prefix-stripping shim to match mega-reth).
+                Ok(GethTrace::from(inspector.geth_builder().geth_traces(
+                    gas_used,
+                    return_value,
+                    opts.config,
+                )))
+            }
+        }
+    }};
+}
+
 /// Traces all transactions in a block using a `TracingInspector`-based tracer.
 ///
 /// Handles executor creation, pre-execution, tx loop, trace extraction, inspector
@@ -347,86 +419,23 @@ fn trace_block_with_tracing_inspector(
 
         match executor.run_transaction(recovered_tx) {
             Ok(outcome) => {
-                let state_changes = outcome.inner.state.clone();
-
-                let trace_result = match tracer {
-                    TracerKind::Call(call_config) => {
-                        let gas_used = outcome.inner.result.gas_used();
-                        let inspector = executor.inspector_mut();
-                        inspector.set_transaction_gas_limit(tx.inner.gas_limit());
-                        let frame =
-                            inspector.geth_builder().geth_call_traces(*call_config, gas_used);
-                        GethTrace::from(frame)
-                    }
-                    TracerKind::PreState(prestate_config) => {
-                        let result_and_state = revm::context::result::ResultAndState {
-                            result: outcome.inner.result,
-                            state: outcome.inner.state,
-                        };
-                        executor.inspector_mut().set_transaction_gas_limit(tx.inner.gas_limit());
-                        let frame_result = {
-                            let db = executor.evm.db();
-                            let inspector = executor.inspector();
-                            inspector.geth_builder().geth_prestate_traces(
-                                &result_and_state,
-                                prestate_config,
-                                db,
-                            )
-                        };
-                        match frame_result {
-                            Ok(frame) => {
-                                let final_frame = if prestate_config.is_diff_mode() {
-                                    let db = executor.evm.db();
-                                    add_accessed_unchanged_accounts(frame, &state_changes, db)
-                                } else {
-                                    frame
-                                };
-                                GethTrace::from(final_frame)
-                            }
-                            Err(e) => return Err(frame_build_error("PreState trace failed", e)),
-                        }
-                    }
-                    TracerKind::FlatCall(_) => {
-                        let info = tx_info_at(block, tx, index);
-                        let frame: alloy_rpc_types_trace::geth::call::FlatCallFrame = executor
-                            .inspector()
-                            .clone()
-                            .with_transaction_gas_limit(tx.inner.gas_limit())
-                            .into_parity_builder()
-                            .into_localized_transaction_traces(info);
-                        GethTrace::from(frame)
-                    }
-                    TracerKind::Default(opts) => {
-                        let gas_used = outcome.inner.result.gas_used();
-                        let return_value =
-                            outcome.inner.result.output().cloned().unwrap_or_default();
-                        let inspector = executor.inspector_mut();
-                        inspector.set_transaction_gas_limit(tx.inner.gas_limit());
-                        let frame = inspector.geth_builder().geth_traces(
-                            gas_used,
-                            return_value,
-                            opts.config,
-                        );
-
-                        // Convert DefaultFrame to JSON and fix returnValue serialization.
-                        // alloy-rpc-types-trace 1.1.2 serializes Bytes with "0x" prefix,
-                        // but mega-reth uses v1.0.23 which serializes without prefix.
-                        let mut frame_value = serde_json::to_value(frame).unwrap();
-                        if let Some(rv) = frame_value.get_mut("returnValue") &&
-                            let Some(s) = rv.as_str()
-                        {
-                            *rv = serde_json::Value::String(
-                                s.strip_prefix("0x").unwrap_or(s).to_string(),
-                            );
-                        }
-                        GethTrace::JS(frame_value)
-                    }
-                };
+                let result_and_state = outcome.inner.result_and_state;
+                let trace_result = extract_trace_frame!(
+                    executor,
+                    tracer,
+                    result_and_state,
+                    tx.inner.gas_limit(),
+                    tx_info_at(block, tx, index)
+                )?;
 
                 results.push(TraceResult::Success { result: trace_result, tx_hash: Some(tx_hash) });
 
-                *executor.inspector_mut() = tracer.create_inspector();
-                executor.evm.db_mut().commit(state_changes);
+                // The FlatCall arm already left a fresh inspector behind when it took
+                // the recorded one.
+                if !matches!(tracer, TracerKind::FlatCall(_)) {
+                    *executor.inspector_mut() = tracer.create_inspector();
+                }
+                executor.evm.db_mut().commit(result_and_state.state);
             }
             Err(e) => return Err(tx_replay_failure(index, tx_hash, e)),
         }
@@ -436,8 +445,8 @@ fn trace_block_with_tracing_inspector(
 
 /// Traces a single transaction using a `TracingInspector`-based tracer.
 ///
-/// Creates executor, applies pre-execution, replays preceding txs, resets
-/// inspector, runs the target tx, and extracts the trace.
+/// Creates executor, applies pre-execution, replays preceding txs (without
+/// recording), installs the real tracer, runs the target tx, and extracts the trace.
 fn trace_tx_with_tracing_inspector(
     env: &TracingEnv<'_>,
     block: &Block<OpTransaction>,
@@ -447,7 +456,9 @@ fn trace_tx_with_tracing_inspector(
     tx_index: usize,
     tracer: &TracerKind,
 ) -> Result<GethTrace, TraceError> {
-    setup_executor!(env, state, tracer.create_inspector() => executor);
+    // Preceding transactions only rebuild state; a none-config inspector skips
+    // recording their every step just to discard it.
+    setup_executor!(env, state, TracingInspector::new(TracingInspectorConfig::none()) => executor);
     replay_preceding_txs!(executor, env, tx_index);
 
     *executor.inspector_mut() = tracer.create_inspector();
@@ -459,72 +470,14 @@ fn trace_tx_with_tracing_inspector(
     let outcome =
         executor.run_transaction(recovered_target).map_err(ValidationError::BlockReplayFailed)?;
 
-    match tracer {
-        TracerKind::Call(call_config) => {
-            let gas_used = outcome.inner.result.gas_used();
-            let inspector = executor.inspector_mut();
-            inspector.set_transaction_gas_limit(tx_gas_limit);
-            let frame = inspector.geth_builder().geth_call_traces(*call_config, gas_used);
-            Ok(frame.into())
-        }
-        TracerKind::PreState(prestate_config) => {
-            let state_changes = outcome.inner.state.clone();
-            let result_and_state = revm::context::result::ResultAndState {
-                result: outcome.inner.result,
-                state: outcome.inner.state,
-            };
-
-            executor.inspector_mut().set_transaction_gas_limit(tx_gas_limit);
-            let frame_result = {
-                let db = executor.evm.db();
-                let inspector = executor.inspector();
-                inspector.geth_builder().geth_prestate_traces(
-                    &result_and_state,
-                    prestate_config,
-                    db,
-                )
-            };
-
-            match frame_result {
-                Ok(frame) => {
-                    let final_frame = if prestate_config.is_diff_mode() {
-                        let db = executor.evm.db();
-                        add_accessed_unchanged_accounts(frame, &state_changes, db)
-                    } else {
-                        frame
-                    };
-                    Ok(final_frame.into())
-                }
-                Err(e) => Err(frame_build_error("PreState trace failed", e).into()),
-            }
-        }
-        TracerKind::FlatCall(_) => {
-            let info = tx_info_at(block, target_tx, tx_index);
-            let frame: alloy_rpc_types_trace::geth::call::FlatCallFrame = executor
-                .inspector()
-                .clone()
-                .with_transaction_gas_limit(tx_gas_limit)
-                .into_parity_builder()
-                .into_localized_transaction_traces(info);
-            Ok(frame.into())
-        }
-        TracerKind::Default(opts) => {
-            let gas_used = outcome.inner.result.gas_used();
-            let return_value = outcome.inner.result.output().cloned().unwrap_or_default();
-
-            let inspector = executor.inspector_mut();
-            inspector.set_transaction_gas_limit(tx_gas_limit);
-            let frame = inspector.geth_builder().geth_traces(gas_used, return_value, opts.config);
-
-            let mut frame_value = serde_json::to_value(frame).unwrap();
-            if let Some(rv) = frame_value.get_mut("returnValue") &&
-                let Some(s) = rv.as_str()
-            {
-                *rv = serde_json::Value::String(s.strip_prefix("0x").unwrap_or(s).to_string());
-            }
-            Ok(GethTrace::JS(frame_value))
-        }
-    }
+    extract_trace_frame!(
+        executor,
+        tracer,
+        outcome.inner.result_and_state,
+        tx_gas_limit,
+        tx_info_at(block, target_tx, tx_index)
+    )
+    .map_err(TraceError::from)
 }
 
 // Public API - Geth-style Tracing
@@ -564,10 +517,12 @@ pub fn trace_block(
                     .collect(),
 
                 // Strict parse in `builtin_tracer_kind` — see its doc for why the
-                // executor re-rejects what the boundary gate already screens.
+                // executor re-rejects what the boundary gate already screens. The
+                // unsupported erc7562Tracer errors there before any execution.
                 GethDebugBuiltInTracerType::CallTracer |
                 GethDebugBuiltInTracerType::PreStateTracer |
-                GethDebugBuiltInTracerType::FlatCallTracer => trace_block_with_tracing_inspector(
+                GethDebugBuiltInTracerType::FlatCallTracer |
+                GethDebugBuiltInTracerType::Erc7562Tracer => trace_block_with_tracing_inspector(
                     &env,
                     block,
                     &mut state,
@@ -587,7 +542,7 @@ pub fn trace_block(
                             Ok(outcome) => {
                                 let frame = FourByteFrame::from(executor.inspector());
                                 *executor.inspector_mut() = FourByteInspector::default();
-                                executor.evm.db_mut().commit(outcome.inner.state);
+                                executor.evm.db_mut().commit(outcome.inner.result_and_state.state);
                                 results.push(TraceResult::Success {
                                     result: frame.into(),
                                     tx_hash: Some(tx_hash),
@@ -600,7 +555,8 @@ pub fn trace_block(
                 }
 
                 GethDebugBuiltInTracerType::MuxTracer => {
-                    let (mux_config, inspector) = mux_config_and_inspector(tracer_config)?;
+                    let inspector = mux_inspector(tracer_config)?;
+                    let template = inspector.clone();
 
                     setup_executor!(&env, &mut state, inspector => executor);
 
@@ -613,12 +569,7 @@ pub fn trace_block(
 
                         match executor.run_transaction(recovered_tx) {
                             Ok(outcome) => {
-                                let result = outcome.inner.result;
-                                let state_changes = outcome.inner.state.clone();
-                                let result_and_state = revm::context::result::ResultAndState {
-                                    result,
-                                    state: outcome.inner.state,
-                                };
+                                let result_and_state = outcome.inner.result_and_state;
 
                                 let mux_result = {
                                     let db = executor.evm.db();
@@ -626,9 +577,8 @@ pub fn trace_block(
                                     inspector.try_into_mux_frame(&result_and_state, db, info)
                                 };
 
-                                *executor.inspector_mut() =
-                                    MuxInspector::try_from_config(mux_config.clone()).unwrap();
-                                executor.evm.db_mut().commit(state_changes);
+                                *executor.inspector_mut() = template.clone();
+                                executor.evm.db_mut().commit(result_and_state.state);
 
                                 match mux_result {
                                     Ok(frame) => {
@@ -695,12 +645,8 @@ pub fn trace_block(
 
                     match executor.run_transaction(recovered_tx) {
                         Ok(outcome) => {
-                            let result = outcome.inner.result;
-                            let state_changes = outcome.inner.state.clone();
-                            let result_and_state = revm::context::result::ResultAndState {
-                                result,
-                                state: outcome.inner.state,
-                            };
+                            let result_and_state = outcome.inner.result_and_state;
+                            let state_changes = result_and_state.state.clone();
 
                             let evm_env_ref = env.evm_env.clone();
                             let tx_env = TxEnv::default();
@@ -778,7 +724,6 @@ pub fn trace_transaction(
     let mut state = State::builder().with_database_ref(&cache_db).build();
 
     let GethDebugTracingOptions { tracer, tracer_config, .. } = &opts;
-    let target_tx = &env.transactions[tx_index];
     let recovered_target = &target_tx.inner.inner;
     let info = tx_info_at(block, target_tx, tx_index);
 
@@ -790,10 +735,12 @@ pub fn trace_transaction(
                 }
 
                 // Strict parse in `builtin_tracer_kind` — see its doc for why the
-                // executor re-rejects what the boundary gate already screens.
+                // executor re-rejects what the boundary gate already screens. The
+                // unsupported erc7562Tracer errors there before any execution.
                 GethDebugBuiltInTracerType::CallTracer |
                 GethDebugBuiltInTracerType::PreStateTracer |
-                GethDebugBuiltInTracerType::FlatCallTracer => trace_tx_with_tracing_inspector(
+                GethDebugBuiltInTracerType::FlatCallTracer |
+                GethDebugBuiltInTracerType::Erc7562Tracer => trace_tx_with_tracing_inspector(
                     &env,
                     block,
                     &mut state,
@@ -815,21 +762,18 @@ pub fn trace_transaction(
                 }
 
                 GethDebugBuiltInTracerType::MuxTracer => {
-                    let (mux_config, inspector) = mux_config_and_inspector(tracer_config)?;
+                    let inspector = mux_inspector(tracer_config)?;
+                    let template = inspector.clone();
 
                     setup_executor!(&env, &mut state, inspector => executor);
                     replay_preceding_txs!(executor, &env, tx_index);
 
-                    *executor.inspector_mut() = mux_inspector(mux_config)?;
+                    *executor.inspector_mut() = template;
 
                     let outcome = executor
                         .run_transaction(recovered_target)
                         .map_err(ValidationError::BlockReplayFailed)?;
-                    let result = outcome.inner.result;
-                    let result_and_state = revm::context::result::ResultAndState {
-                        result,
-                        state: outcome.inner.state,
-                    };
+                    let result_and_state = outcome.inner.result_and_state;
 
                     let db = executor.evm.db();
                     let inspector = executor.inspector();
@@ -856,9 +800,7 @@ pub fn trace_transaction(
                 let outcome = executor
                     .run_transaction(recovered_target)
                     .map_err(ValidationError::BlockReplayFailed)?;
-                let result = outcome.inner.result;
-                let result_and_state =
-                    revm::context::result::ResultAndState { result, state: outcome.inner.state };
+                let result_and_state = outcome.inner.result_and_state;
 
                 let evm_env_ref = env.evm_env.clone();
                 let tx_env = TxEnv::default();
@@ -904,16 +846,17 @@ pub fn parity_trace_block(
 
         match executor.run_transaction(recovered_tx) {
             Ok(outcome) => {
-                let state_changes = outcome.inner.state;
-                let traces = executor
-                    .inspector()
-                    .clone()
-                    .into_parity_builder()
-                    .into_localized_transaction_traces(info);
+                let state_changes = outcome.inner.result_and_state.state;
+                // Taking the inspector (rather than cloning its recorded trace arena)
+                // doubles as the per-tx reset.
+                let traces = core::mem::replace(
+                    executor.inspector_mut(),
+                    TracingInspector::new(TracingInspectorConfig::default_parity()),
+                )
+                .into_parity_builder()
+                .into_localized_transaction_traces(info);
                 all_traces.extend(traces);
 
-                *executor.inspector_mut() =
-                    TracingInspector::new(TracingInspectorConfig::default_parity());
                 executor.evm.db_mut().commit(state_changes);
             }
             Err(e) => {
@@ -947,7 +890,9 @@ pub fn parity_trace_transaction(
     let cache_db = CacheDB::new(&witness_db);
     let mut state = State::builder().with_database_ref(&cache_db).build();
 
-    let inspector = TracingInspector::new(TracingInspectorConfig::default_parity());
+    // Preceding transactions only rebuild state; a none-config inspector skips
+    // recording their every step just to discard it.
+    let inspector = TracingInspector::new(TracingInspectorConfig::none());
     setup_executor!(&env, &mut state, inspector => executor);
     replay_preceding_txs!(executor, &env, tx_index);
 
@@ -959,11 +904,14 @@ pub fn parity_trace_transaction(
 
     match executor.run_transaction(recovered_tx) {
         Ok(_outcome) => {
-            let traces = executor
-                .inspector()
-                .clone()
-                .into_parity_builder()
-                .into_localized_transaction_traces(info);
+            // Take the inspector rather than cloning its recorded trace arena; this
+            // executor serves no further transactions.
+            let traces = core::mem::replace(
+                executor.inspector_mut(),
+                TracingInspector::new(TracingInspectorConfig::default_parity()),
+            )
+            .into_parity_builder()
+            .into_localized_transaction_traces(info);
             Ok(traces)
         }
         Err(e) => Err(ValidationError::BlockReplayFailed(e).into()),
@@ -1161,11 +1109,17 @@ mod tests {
 
             let err = trace_block(&chain_spec, &block, witness.clone(), &contracts, opts.clone())
                 .expect_err("malformed config must fail the block trace");
-            assert!(matches!(&err, TraceError::Request(msg) if msg.contains("tracerConfig")));
+            assert!(
+                matches!(&err, TraceError::Request(msg) if msg.contains("tracerConfig")),
+                "got: {err:?}"
+            );
 
             let err = trace_transaction(&chain_spec, &block, 0, witness.clone(), &contracts, opts)
                 .expect_err("malformed config must fail the tx trace");
-            assert!(matches!(&err, TraceError::Request(msg) if msg.contains("tracerConfig")));
+            assert!(
+                matches!(&err, TraceError::Request(msg) if msg.contains("tracerConfig")),
+                "got: {err:?}"
+            );
         }
 
         // Control: a well-formed config on the same inputs still traces.
diff --git a/bin/stateless-validator/src/validator_db.rs b/bin/stateless-validator/src/validator_db.rs
index 0545b68b..f95e797b 100644
--- a/bin/stateless-validator/src/validator_db.rs
+++ b/bin/stateless-validator/src/validator_db.rs
@@ -220,13 +220,15 @@ mod tests {
     fn test_contracts_roundtrip() {
         let (_dir, store) = temp_store();
 
-        let hash1 = B256::from([1u8; 32]);
-        let hash2 = B256::from([2u8; 32]);
-        let hash3 = B256::from([3u8; 32]);
-
         let bytecode1 = Bytecode::new_raw(alloy_primitives::Bytes::from_static(&[0x60, 0x00]));
         let bytecode2 = Bytecode::new_raw(alloy_primitives::Bytes::from_static(&[0x60, 0x01]));
 
+        // The read path re-checks that stored bytecode hashes back to its key, so
+        // stored entries must be keyed by their real code hashes.
+        let hash1 = bytecode1.hash_slow();
+        let hash2 = bytecode2.hash_slow();
+        let hash3 = B256::from([3u8; 32]);
+
         store.add_contracts(&[(hash1, bytecode1.clone()), (hash2, bytecode2.clone())]).unwrap();
 
         let (found, missing) = store.get_contracts(&[hash1, hash2, hash3]).unwrap();
@@ -276,8 +278,8 @@ mod tests {
         let (_dir, store) = temp_store();
         let cache = ContractCache::new(Arc::new(store));
 
-        let hash = B256::from([1u8; 32]);
         let bytecode = Bytecode::new_raw(alloy_primitives::Bytes::from_static(&[0x60, 0x00]));
+        let hash = bytecode.hash_slow();
 
         cache.insert(&[(hash, bytecode.clone())]).unwrap();
 
@@ -292,8 +294,10 @@ mod tests {
         let dir = tempfile::tempdir().unwrap();
         let db_path = dir.path().join("test.redb");
 
-        let hash = B256::from([1u8; 32]);
         let bytecode = Bytecode::new_raw(alloy_primitives::Bytes::from_static(&[0x60, 0x00]));
+        // The disk tier re-checks that stored bytecode hashes back to its key, so the
+        // stored entry must be keyed by its real code hash.
+        let hash = bytecode.hash_slow();
 
         {
             let store = ValidatorDB::new(&db_path).unwrap();
diff --git a/crates/stateless-common/Cargo.toml b/crates/stateless-common/Cargo.toml
index 7a88942d..d1ba1357 100644
--- a/crates/stateless-common/Cargo.toml
+++ b/crates/stateless-common/Cargo.toml
@@ -36,7 +36,7 @@ clap.workspace = true
 eyre.workspace = true
 fastrand = { workspace = true, features = ["std"] }
 futures.workspace = true
-# Also enables gzip/brotli on the shared reqwest 0.12 client (Cargo feature unification) for witness/data fetches.
+# Also enables gzip/brotli on the shared reqwest client (Cargo feature unification) for witness/data fetches.
 reqwest = { workspace = true, features = ["gzip", "brotli"] }
 rolling-file.workspace = true
 serde.workspace = true
diff --git a/crates/stateless-core/Cargo.toml b/crates/stateless-core/Cargo.toml
index b35f706a..1b83ee39 100644
--- a/crates/stateless-core/Cargo.toml
+++ b/crates/stateless-core/Cargo.toml
@@ -14,26 +14,25 @@ alloy-eips.workspace = true
 alloy-evm.workspace = true
 alloy-genesis.workspace = true
 alloy-hardforks = { workspace = true, default-features = false }
-alloy-op-evm.workspace = true
-alloy-op-hardforks = { workspace = true, default-features = false }
 alloy-primitives.workspace = true
 alloy-rlp.workspace = true
 alloy-rpc-types-eth.workspace = true
 alloy-serde.workspace = true
+alloy-trie.workspace = true
 
 # mega
 mega-evm = { workspace = true, default-features = false }
 salt = { workspace = true, default-features = false }
 
 # op
+alloy-op-evm.workspace = true
+alloy-op-hardforks = { workspace = true, default-features = false }
 op-alloy-consensus.workspace = true
 op-alloy-rpc-types.workspace = true
+reth-optimism-chainspec.workspace = true
 
 # reth
 reth-ethereum-forks.workspace = true
-reth-optimism-chainspec.workspace = true
-reth-trie-common.workspace = true
-reth-trie-sparse.workspace = true
 
 # revm
 revm.workspace = true
@@ -76,13 +75,12 @@ std = [
     "alloy-rlp/std",
     "alloy-rpc-types-eth/std",
     "alloy-serde/std",
+    "alloy-trie/std",
     "mega-evm/default",
     "op-alloy-consensus/std",
     "op-alloy-rpc-types/std",
     "reth-ethereum-forks/std",
     "reth-optimism-chainspec/std",
-    "reth-trie-common/std",
-    "reth-trie-sparse/std",
     "revm/default",
     "rustc-hash/std",
     "salt/default",
diff --git a/crates/stateless-core/src/evm_database.rs b/crates/stateless-core/src/evm_database.rs
index abdf2f3e..afe042a3 100644
--- a/crates/stateless-core/src/evm_database.rs
+++ b/crates/stateless-core/src/evm_database.rs
@@ -110,6 +110,9 @@ where
                     nonce: acc.nonce,
                     code_hash: acc.codehash.unwrap_or(KECCAK_EMPTY),
                     code,
+                    // Witness state is keyed by address only; the id-based storage
+                    // lookup fast path is never used.
+                    account_id: None,
                 }))
             }
             None => Ok(None),
diff --git a/crates/stateless-core/src/executor.rs b/crates/stateless-core/src/executor.rs
index daee20fd..1a91475d 100644
--- a/crates/stateless-core/src/executor.rs
+++ b/crates/stateless-core/src/executor.rs
@@ -40,8 +40,8 @@ use alloy_evm::{
 };
 use alloy_op_evm::block::OpAlloyReceiptBuilder;
 use alloy_primitives::{
-    Address, Bloom, keccak256,
-    map::{B256Map, HashMap},
+    Bloom, keccak256,
+    map::{AddressMap, B256Map, HashMap},
 };
 use alloy_rpc_types_eth::{Block, BlockTransactions};
 use mega_evm::{
@@ -278,6 +278,8 @@ pub fn create_evm_env(
         difficulty: header.difficulty,
         prevrandao: Some(header.mix_hash),
         blob_excess_gas_and_price: None,
+        // EIP-7843 slot number: absent until Amsterdam activates (mirrors upstream).
+        slot_num: header.slot_number.unwrap_or_default(),
     };
 
     if let Some(excess_blob_gas) = header.excess_blob_gas {
@@ -374,7 +376,7 @@ pub fn replay_block<B, DB, ENV, E>(
     db: &DB,
     env_oracle: ENV,
     #[cfg(feature = "std")] trace_writer: Option<Box<dyn Write>>,
-) -> Result<(HashMap<Address, BundleAccount>, BlockExecutionOutput), ValidationError>
+) -> Result<(AddressMap<BundleAccount>, BlockExecutionOutput), ValidationError>
 where
     B: BlockInput,
     DB: DatabaseRef<Error = E> + Debug,
@@ -506,7 +508,7 @@ where
 
 /// Extracts the withdrawal-contract storage updates (only changed slots) from the replayed
 /// accounts, keyed by the hashed slot as [`MptWitness::verify`] expects.
-fn withdrawal_storage(accounts: &HashMap<Address, BundleAccount>) -> B256Map<U256> {
+fn withdrawal_storage(accounts: &AddressMap<BundleAccount>) -> B256Map<U256> {
     accounts
         .get(&ADDRESS_L2_TO_L1_MESSAGE_PASSER)
         .map(|a| {
@@ -527,7 +529,7 @@ fn withdrawal_storage(accounts: &HashMap<Address, BundleAccount>) -> B256Map<U25
 /// the same map the SALT trie update consumes and the sequencer's `SaltDeltas` are derived from.
 fn derive_state_updates(
     witness: &Witness,
-    accounts: HashMap<Address, BundleAccount>,
+    accounts: AddressMap<BundleAccount>,
 ) -> Result<StateUpdates, ValidationError> {
     // Flatten Revm's BundleAccount format into plain key-value pairs
     let mut kv_updates: BTreeMap<Vec<u8>, Option<Vec<u8>>> = BTreeMap::new();
@@ -651,7 +653,7 @@ struct VerifiedReplay {
     /// The proof-verified witness the block was replayed over.
     witness: Witness,
     /// Net per-account state changes from the replay.
-    accounts: HashMap<Address, BundleAccount>,
+    accounts: AddressMap<BundleAccount>,
     /// Execution outputs claimed by the header, plus state access counts.
     output: BlockExecutionOutput,
     /// Stats for the completed stages; [`ValidationStats::salt_update_time`] is left `0.0`
diff --git a/crates/stateless-core/src/light_witness.rs b/crates/stateless-core/src/light_witness.rs
index 035e200f..dd9c0dda 100644
--- a/crates/stateless-core/src/light_witness.rs
+++ b/crates/stateless-core/src/light_witness.rs
@@ -50,8 +50,9 @@ pub struct LightWitness {
     /// Bucket subtree levels (same as SaltProof.levels).
     ///
     /// Routed through [`salt::fx_hashmap_serde`] so we don't have to enable
-    /// `hashbrown/serde` (which transitively pulls in `serde_core 1.0.221+`
-    /// and breaks downstream `alloy-tx-macros 1.0.23`).
+    /// `hashbrown/serde` (introduced when its transitive `serde_core 1.0.221+`
+    /// broke the then-current `alloy-tx-macros 1.0.23`; the indirection stays
+    /// so the workspace keeps control over what `hashbrown` pulls in).
     #[serde(with = "salt::fx_hashmap_serde")]
     pub levels: FxHashMap<BucketId, u8>,
 }
diff --git a/crates/stateless-core/src/withdrawals.rs b/crates/stateless-core/src/withdrawals.rs
index 9a0ab048..4b331ff7 100644
--- a/crates/stateless-core/src/withdrawals.rs
+++ b/crates/stateless-core/src/withdrawals.rs
@@ -3,19 +3,23 @@
 //! This module verifies storage state transitions for the L2ToL1MessagePasser contract,
 //! which stores commitments to withdrawal transactions. Given a pre-state witness and
 //! storage updates from block execution, it cryptographically proves the storage root
-//! transition is valid.
+//! transition is valid: the witnessed trie is rebuilt with [`alloy_trie::HashBuilder`]
+//! once without updates (must reproduce `storage_root`) and once with them (must
+//! reproduce the header's `withdrawals_root`); updates the witness cannot prove fail
+//! closed.
 
 use std::{
+    format,
     string::{String, ToString},
     vec::Vec,
 };
 
-use alloy_consensus::{Header, constants::KECCAK_EMPTY};
+use alloy_consensus::Header;
 use alloy_primitives::{Address, B256, Bytes, U256, address, keccak256, map::B256Map};
-use alloy_rlp::Encodable;
-use reth_trie_common::{EMPTY_ROOT_HASH, LeafNode, Nibbles, TrieAccount, TrieNode};
-use reth_trie_sparse::{
-    SerialSparseTrie, SparseStateTrie, SparseTrie, provider::DefaultTrieNodeProviderFactory,
+use alloy_rlp::Decodable;
+use alloy_trie::{
+    EMPTY_ROOT_HASH, HashBuilder, Nibbles,
+    nodes::{BranchNode, RlpNode, TrieNode},
 };
 use serde::{Deserialize, Serialize};
 use thiserror::Error;
@@ -40,6 +44,15 @@ pub enum WithdrawalValidationError {
     PostStateRootMismatch { expected: B256, actual: B256 },
 }
 
+fn trie_error(msg: impl ToString) -> WithdrawalValidationError {
+    WithdrawalValidationError::TrieOperationFailed(msg.to_string())
+}
+
+/// A pending slot update: `Some(rlp)` inserts or overwrites the leaf, `None` removes it.
+type LeafUpdate = Option<Vec<u8>>;
+/// Sorted (by path) pending updates, sliced narrower at every recursion step.
+type Updates = [(Nibbles, LeafUpdate)];
+
 /// Pre-state witness for the L2ToL1MessagePasser contract storage trie.
 ///
 /// Contains the storage root and trie nodes needed to verify storage state
@@ -60,10 +73,9 @@ impl MptWitness {
     ///
     /// # Process
     ///
-    /// 1. Synthesizes an account-level state witness wrapping the storage witness
-    /// 2. Reveals the trie via BFS, verifies pre-state root against `storage_root`
-    /// 3. Applies storage updates (inserts non-zero, removes zero values)
-    /// 4. Computes post-state root, verifies against `header.withdrawals_root`
+    /// 1. Linearizes the witness with no updates; the rebuilt root must equal `storage_root`
+    /// 2. Linearizes it again with the updates applied (inserts non-zero, removes zero values)
+    /// 3. The rebuilt post-state root must equal `header.withdrawals_root`
     ///
     /// # Arguments
     ///
@@ -75,7 +87,7 @@ impl MptWitness {
     /// * `MissingWithdrawalsRoot` - Header lacks `withdrawals_root` field
     /// * `PreStateRootMismatch` - Witness doesn't match expected pre-state root
     /// * `PostStateRootMismatch` - Computed post-state doesn't match header
-    /// * `TrieOperationFailed` - Trie reveal/update/removal failed
+    /// * `TrieOperationFailed` - Malformed witness node, or an update the witness cannot prove
     pub fn verify(
         &self,
         header: &Header,
@@ -84,29 +96,25 @@ impl MptWitness {
         let expected_post_root =
             header.withdrawals_root.ok_or(WithdrawalValidationError::MissingWithdrawalsRoot)?;
 
-        // Synthesize account-level witness and reveal via BFS
-        let (synthesized_state_root, witness_map, hashed_address) = synthesize_state_witness(self);
-
-        let mut state_trie = SparseStateTrie::<SerialSparseTrie>::default();
-        state_trie
-            .reveal_witness(synthesized_state_root, &witness_map)
-            .map_err(|e| WithdrawalValidationError::TrieOperationFailed(e.to_string()))?;
-
-        // `reveal_witness` skips storage subtrees whose root is `EMPTY_ROOT_HASH`,
-        // leaving the per-address storage trie blind. That's fine for pre-state
-        // verification, but if the block writes any non-zero slot to an
-        // empty-pre-state trie (e.g. the first-ever withdrawal), the subsequent
-        // `update_storage_leaf` call would fail with "sparse trie is blind".
-        // Insert a revealed-empty storage trie so writes can proceed.
-        if self.storage_root == EMPTY_ROOT_HASH {
-            state_trie.insert_storage_trie(hashed_address, SparseTrie::revealed_empty());
-        }
-
-        // Verify pre-state root. `storage_root` returns `None` when the storage
-        // trie wasn't revealed; that only happens when `self.storage_root` was
-        // non-empty and reveal_witness failed to populate it, which the check
-        // below will catch as a mismatch.
-        let pre_root = state_trie.storage_root(hashed_address).unwrap_or(EMPTY_ROOT_HASH);
+        let mut updates: Vec<(Nibbles, LeafUpdate)> = storage_updates
+            .into_iter()
+            .map(|(slot, value)| {
+                let update =
+                    (!value.is_zero()).then(|| alloy_rlp::encode_fixed_size(&value).to_vec());
+                (Nibbles::unpack(slot), update)
+            })
+            .collect();
+        updates.sort_unstable_by_key(|(path, _)| *path);
+
+        let linearizer = Linearizer {
+            nodes: self.state.iter().map(|node| (keccak256(node.as_ref()), node)).collect(),
+        };
+
+        // Pre-state: rebuilding the witnessed trie with no updates must reproduce
+        // `storage_root` exactly. Besides authenticating the witness, this self-checks
+        // the linearization walk on this very witness before its post-state output is
+        // trusted.
+        let pre_root = linearizer.compute_root(self.storage_root, &[])?;
         if pre_root != self.storage_root {
             return Err(WithdrawalValidationError::PreStateRootMismatch {
                 expected: self.storage_root,
@@ -114,28 +122,12 @@ impl MptWitness {
             });
         }
 
-        // Apply storage updates from block execution
-        for (slot, value) in storage_updates {
-            let nibbles = Nibbles::unpack(slot);
-            if !value.is_zero() {
-                let encoded = alloy_rlp::encode_fixed_size(&value).to_vec();
-                state_trie
-                    .update_storage_leaf(
-                        hashed_address,
-                        nibbles,
-                        encoded,
-                        DefaultTrieNodeProviderFactory,
-                    )
-                    .map_err(|e| WithdrawalValidationError::TrieOperationFailed(e.to_string()))?;
-            } else {
-                state_trie
-                    .remove_storage_leaf(hashed_address, &nibbles, DefaultTrieNodeProviderFactory)
-                    .map_err(|e| WithdrawalValidationError::TrieOperationFailed(e.to_string()))?;
-            }
-        }
-
-        // Verify post-state root (same empty-trie caveat as pre-state).
-        let post_root = state_trie.storage_root(hashed_address).unwrap_or(EMPTY_ROOT_HASH);
+        // With no updates the post-state is the pre-state just verified above.
+        let post_root = if updates.is_empty() {
+            pre_root
+        } else {
+            linearizer.compute_root(self.storage_root, &updates)?
+        };
         if post_root != expected_post_root {
             return Err(WithdrawalValidationError::PostStateRootMismatch {
                 expected: expected_post_root,
@@ -147,43 +139,263 @@ impl MptWitness {
     }
 }
 
-/// Wraps a storage-only `MptWitness` as a single-account state witness so that
-/// `SparseStateTrie::reveal_witness` can BFS-reveal the storage nodes automatically.
-///
-/// `reveal_witness` expects an account-level state trie, but `MptWitness` only contains
-/// storage nodes for the L2ToL1MessagePasser contract. This helper synthesizes a one-leaf
-/// account trie whose `TrieAccount.storage_root` points to the real storage witness,
-/// allowing the existing BFS traversal to discover and reveal all storage nodes.
+/// Streams the (post-update) content of a witnessed storage trie into a
+/// [`HashBuilder`] in sorted order.
+struct Linearizer<'a> {
+    /// Content-addressed witness nodes: `keccak(rlp) → rlp`.
+    nodes: B256Map<&'a Bytes>,
+}
+
+impl Linearizer<'_> {
+    /// Rebuilds the trie root that results from applying `updates` to the witnessed
+    /// trie rooted at `root`.
+    fn compute_root(
+        &self,
+        root: B256,
+        updates: &Updates,
+    ) -> Result<B256, WithdrawalValidationError> {
+        let mut hb = HashBuilder::default();
+        if root == EMPTY_ROOT_HASH {
+            // Nothing exists: inserts materialize, removals of absent slots are no-ops.
+            add_insert_leaves(&mut hb, updates);
+        } else if self.nodes.contains_key(&root) {
+            self.emit_subtree(&mut hb, &RlpNode::word_rlp(&root), Nibbles::default(), updates)?;
+        } else {
+            // The root node is absent, so the witness proves nothing; report the
+            // reconstruction as empty and let the pre-state check flag the mismatch.
+            return Ok(EMPTY_ROOT_HASH);
+        }
+        Ok(hb.root())
+    }
+
+    /// Decodes the trie node behind `node_ref`: from the witness for hash references
+    /// (`None` when absent), or in place for inline (< 32 byte) nodes.
+    fn resolve(&self, node_ref: &RlpNode) -> Result<Option<TrieNode>, WithdrawalValidationError> {
+        let bytes: &[u8] = match node_ref.as_hash() {
+            Some(hash) => match self.nodes.get(&hash) {
+                Some(bytes) => bytes,
+                None => return Ok(None),
+            },
+            None => node_ref,
+        };
+        TrieNode::decode(&mut &bytes[..]).map(Some).map_err(trie_error)
+    }
+
+    /// Emits the final content of the subtree at `path` (referenced by `node_ref`)
+    /// into `hb`, applying `updates` (all of which lie strictly under `path`).
+    ///
+    /// Witnessed nodes are always expanded — leaves become `add_leaf` entries and
+    /// unwitnessed children become `add_branch` entries — so the pre- and post-state
+    /// passes exercise the identical walk.
+    fn emit_subtree(
+        &self,
+        hb: &mut HashBuilder,
+        node_ref: &RlpNode,
+        path: Nibbles,
+        updates: &Updates,
+    ) -> Result<(), WithdrawalValidationError> {
+        let Some(node) = self.resolve(node_ref)? else {
+            if updates.is_empty() {
+                // Untouched subtree: its position and hash are invariant under edits
+                // elsewhere, so the opaque hash stands in for the whole region.
+                hb.add_branch(
+                    path,
+                    node_ref.as_hash().expect("inline nodes always resolve"),
+                    false,
+                );
+                return Ok(());
+            }
+            return Err(trie_error(format!("update descends into unwitnessed subtree at {path:?}")));
+        };
+
+        match node {
+            TrieNode::EmptyRoot => {
+                // Valid only as the root of an empty trie, which `compute_root`
+                // short-circuits; as a child this is a malformed witness.
+                Err(trie_error(format!("unexpected empty trie node at {path:?}")))
+            }
+            TrieNode::Leaf(leaf) => {
+                let full = path.join(&leaf.key);
+                // The leaf is the region's only occupant: a removal of any other path
+                // is a proven no-op, and a write at `full` supersedes the leaf (its
+                // replacement, if any, is the first entry of `rest`).
+                let (before, rest) = updates.split_at(updates.partition_point(|(p, _)| p < &full));
+                add_insert_leaves(hb, before);
+                if rest.first().is_none_or(|(p, _)| p != &full) {
+                    hb.add_leaf(full, &leaf.value);
+                }
+                add_insert_leaves(hb, rest);
+                Ok(())
+            }
+            TrieNode::Extension(ext) => {
+                let boundary = path.join(&ext.key);
+                let (before, under, after) = split_at_prefix(updates, &boundary);
+                // Updates diverging inside the extension key are proven to target
+                // absent slots: removals are no-ops, inserts become fresh leaves.
+                // The extension split this implies (and the child hash it reuses)
+                // falls out of the emitted stream — the child is never read.
+                add_insert_leaves(hb, before);
+                self.emit_subtree(hb, &ext.child, boundary, under)?;
+                add_insert_leaves(hb, after);
+                Ok(())
+            }
+            TrieNode::Branch(branch) => {
+                let regions = child_regions(&branch, &path, updates);
+
+                // A branch that ends up with a single surviving region collapses: the
+                // survivor merges upward. That is derived by the `HashBuilder` from
+                // the stream — except when the sole survivor is an untouched
+                // unwitnessed subtree, whose node kind (and thus merged shape) is
+                // unknowable. reth v1.6.0's sparse trie failed the same way, via its
+                // empty node provider.
+                let mut survivors = Vec::new();
+                for region in &regions {
+                    if self.region_survives(region, path)? {
+                        survivors.push(region);
+                    }
+                }
+                if let [sole] = survivors[..] &&
+                    sole.updates.is_empty() &&
+                    let Some(child) = &sole.child &&
+                    let Some(hash) = child.as_hash() &&
+                    !self.nodes.contains_key(&hash)
+                {
+                    return Err(trie_error(format!(
+                        "branch collapse at {path:?} adopts unwitnessed subtree at child {:x}",
+                        sole.idx
+                    )));
+                }
+
+                for region in regions {
+                    let mut child_path = path;
+                    child_path.push_unchecked(region.idx);
+                    match region.child {
+                        Some(child) => self.emit_subtree(hb, &child, child_path, region.updates)?,
+                        None => {
+                            // Empty slot: absence is proven by the branch mask, so
+                            // removals are no-ops and inserts are fresh leaves.
+                            add_insert_leaves(hb, region.updates);
+                        }
+                    }
+                }
+                Ok(())
+            }
+        }
+    }
+
+    /// Whether a branch child region still holds any content after its updates.
+    fn region_survives(
+        &self,
+        region: &ChildRegion<'_>,
+        path: Nibbles,
+    ) -> Result<bool, WithdrawalValidationError> {
+        // Any insert keeps the region alive; untouched existing content survives
+        // (`survives_removals` returns true immediately for an empty update set).
+        if region.updates.iter().any(|(_, update)| update.is_some()) {
+            return Ok(true);
+        }
+        match &region.child {
+            None => Ok(false),
+            Some(child) => {
+                let mut child_path = path;
+                child_path.push_unchecked(region.idx);
+                self.survives_removals(child, child_path, region.updates)
+            }
+        }
+    }
+
+    /// Whether the subtree at `path` still holds content after applying `removals`
+    /// (a region whose updates are all `None`).
+    fn survives_removals(
+        &self,
+        node_ref: &RlpNode,
+        path: Nibbles,
+        removals: &Updates,
+    ) -> Result<bool, WithdrawalValidationError> {
+        debug_assert!(removals.iter().all(|(_, update)| update.is_none()));
+        if removals.is_empty() {
+            return Ok(true);
+        }
+        let Some(node) = self.resolve(node_ref)? else {
+            return Err(trie_error(format!(
+                "removal descends into unwitnessed subtree at {path:?}"
+            )));
+        };
+        match node {
+            TrieNode::EmptyRoot => Ok(false),
+            TrieNode::Leaf(leaf) => {
+                let full = path.join(&leaf.key);
+                Ok(!removals.iter().any(|(p, _)| *p == full))
+            }
+            TrieNode::Extension(ext) => {
+                let boundary = path.join(&ext.key);
+                let (_, under, _) = split_at_prefix(removals, &boundary);
+                self.survives_removals(&ext.child, boundary, under)
+            }
+            TrieNode::Branch(branch) => {
+                for region in child_regions(&branch, &path, removals) {
+                    if self.region_survives(&region, path)? {
+                        return Ok(true);
+                    }
+                }
+                Ok(false)
+            }
+        }
+    }
+}
+
+/// One branch child slot together with the updates that fall under it.
+struct ChildRegion<'a> {
+    /// The child's nibble index within the branch.
+    idx: u8,
+    /// The child reference from the branch stack; `None` for an empty slot.
+    child: Option<RlpNode>,
+    /// The updates whose paths run through this slot.
+    updates: &'a Updates,
+}
+
+/// Partitions `updates` (sorted, all lying under `path`) into the branch's 16 child
+/// regions. Each region is a contiguous run because the paths are sorted and grouped
+/// by their nibble at depth `path.len()`.
+fn child_regions<'a>(
+    branch: &BranchNode,
+    path: &Nibbles,
+    updates: &'a Updates,
+) -> Vec<ChildRegion<'a>> {
+    let mut regions = Vec::with_capacity(16);
+    let mut rest = updates;
+    for (idx, child) in branch.as_ref().children() {
+        let split = rest.partition_point(|(p, _)| p.get_unchecked(path.len()) <= idx);
+        let (region, tail) = rest.split_at(split);
+        rest = tail;
+        regions.push(ChildRegion { idx, child: child.cloned(), updates: region });
+    }
+    debug_assert!(rest.is_empty());
+    regions
+}
+
+/// Emits the inserted leaves of `updates` into `hb`. Only valid where the removals in
+/// `updates` are proven no-ops (their target region is known to hold no such leaves).
+fn add_insert_leaves(hb: &mut HashBuilder, updates: &Updates) {
+    for (path, update) in updates {
+        if let Some(value) = update {
+            hb.add_leaf(*path, value);
+        }
+    }
+}
+
+/// Splits sorted `updates` around the region prefixed by `prefix`:
+/// `(diverging before, under prefix, diverging after)`.
 ///
-/// Returns `(synthesized_state_root, witness_map, hashed_address)`.
-fn synthesize_state_witness(witness: &MptWitness) -> (B256, B256Map<Bytes>, B256) {
-    let mut witness_map: B256Map<Bytes> =
-        witness.state.iter().map(|node: &Bytes| (keccak256(node.as_ref()), node.clone())).collect();
-
-    let hashed_address = keccak256(ADDRESS_L2_TO_L1_MESSAGE_PASSER);
-    // `nonce`, `balance`, and `code_hash` are intentionally dummy values — they
-    // do not reflect the real L2ToL1MessagePasser account state. `reveal_witness`
-    // only reads `storage_root` from this leaf to navigate into the storage trie;
-    // the other fields are never inspected or validated. Do not change them
-    // thinking it makes verification more correct.
-    let trie_account = TrieAccount {
-        nonce: 0,
-        balance: U256::ZERO,
-        storage_root: witness.storage_root,
-        code_hash: KECCAK_EMPTY,
-    };
-    let mut account_rlp = Vec::new();
-    trie_account.encode(&mut account_rlp);
-    let account_leaf = TrieNode::Leaf(LeafNode::new(Nibbles::unpack(hashed_address), account_rlp));
-    let mut leaf_rlp = Vec::new();
-    account_leaf.encode(&mut leaf_rlp);
-    let leaf_bytes = Bytes::from(leaf_rlp);
-    let synthesized_state_root = keccak256(&leaf_bytes);
-    // Synthesized leaf shares witness_map keyspace with real storage nodes;
-    // keccak-256 collision resistance makes a clash cryptographically negligible.
-    witness_map.insert(synthesized_state_root, leaf_bytes);
-
-    (synthesized_state_root, witness_map, hashed_address)
+/// The prefixed region is one contiguous run in sorted order, so two partition
+/// points delimit it.
+fn split_at_prefix<'u>(
+    updates: &'u Updates,
+    prefix: &Nibbles,
+) -> (&'u Updates, &'u Updates, &'u Updates) {
+    let lo = updates.partition_point(|(p, _)| p < prefix);
+    let hi = lo + updates[lo..].partition_point(|(p, _)| p.starts_with(prefix));
+    (&updates[..lo], &updates[lo..hi], &updates[hi..])
 }
 
 #[cfg(test)]
@@ -192,18 +404,39 @@ mod tests {
 
     use WithdrawalValidationError::*;
     use alloy_primitives::b256;
+    use alloy_rlp::Encodable;
+    use alloy_trie::nodes::{BranchNode, ExtensionNode, LeafNode};
 
     use super::*;
 
     const SLOT: B256 = b256!("0x1111111111111111111111111111111111111111111111111111111111111111");
+    /// A second slot diverging from `SLOT` at the first nibble.
+    const SLOT_B: B256 =
+        b256!("0x2111111111111111111111111111111111111111111111111111111111111111");
     const BOGUS: B256 = b256!("0xdeadbeef00000000000000000000000000000000000000000000000000000000");
 
+    fn encoded(node: &TrieNode) -> Bytes {
+        let mut rlp = Vec::new();
+        node.encode(&mut rlp);
+        Bytes::from(rlp)
+    }
+
+    fn rlp_of(node: &TrieNode) -> RlpNode {
+        node.rlp(&mut Vec::new())
+    }
+
+    fn value_rlp(value: u64) -> Vec<u8> {
+        alloy_rlp::encode_fixed_size(&U256::from(value)).to_vec()
+    }
+
+    /// A leaf node holding `value` under the trailing `key` nibbles.
+    fn leaf_node(key: Nibbles, value: u64) -> TrieNode {
+        TrieNode::Leaf(LeafNode::new(key, value_rlp(value)))
+    }
+
     /// One-leaf storage trie for `SLOT → value`: returns (root, [leaf_bytes]).
     fn leaf(value: u64) -> (B256, Vec<Bytes>) {
-        let value_rlp = alloy_rlp::encode_fixed_size(&U256::from(value)).to_vec();
-        let mut rlp = Vec::new();
-        TrieNode::Leaf(LeafNode::new(Nibbles::unpack(SLOT), value_rlp)).encode(&mut rlp);
-        let bytes = Bytes::from(rlp);
+        let bytes = encoded(&leaf_node(Nibbles::unpack(SLOT), value));
         (keccak256(&bytes), vec![bytes])
     }
 
@@ -291,12 +524,113 @@ mod tests {
     }
 
     /// First-ever withdrawal: empty pre-state storage trie, one new non-zero slot.
-    /// Exercises the `EMPTY_ROOT_HASH` pre-state path where `reveal_witness` skips
-    /// the storage subtree, so `update_storage_leaf` must still initialize and
-    /// write into the trie correctly.
     #[test]
     fn empty_pre_state_with_new_leaf() {
         let (post, _) = leaf(42);
         run(EMPTY_ROOT_HASH, vec![], Some(post), &[(SLOT, U256::from(42u64))]).unwrap();
     }
+
+    /// Regression: an insert that splits an extension node whose child branch is
+    /// absent from the witness (a legal minimal exclusion proof — splitting never
+    /// reads the child). reth v2.3.0's V2 sparse tries cannot represent this shape;
+    /// the `HashBuilder` linearization needs only the child hash the extension
+    /// itself carries.
+    ///
+    /// Trie shape: root extension (key = first 63 nibbles of `SLOT`) → branch with
+    /// leaf children at `SLOT`'s last nibble (1) and at nibble 2. The witness
+    /// contains only the extension node; the update inserts a slot diverging at the
+    /// extension's first key nibble.
+    #[test]
+    fn insert_splitting_extension_with_absent_child_branch() {
+        let (pre_root, witness, branch_hash) = ext_with_absent_branch();
+
+        // Expected post-state: branch at the root splitting nibble 1 (old subtree,
+        // reached via the shortened extension) from nibble 2 (the new leaf).
+        let ext_key = Nibbles::unpack(SLOT).slice(0..63);
+        let shortened_ext = TrieNode::Extension(ExtensionNode::new(
+            ext_key.slice(1..),
+            RlpNode::word_rlp(&branch_hash),
+        ));
+        let new_leaf = leaf_node(Nibbles::unpack(SLOT_B).slice(1..), 9);
+        let split_branch = TrieNode::Branch(BranchNode::new(
+            vec![rlp_of(&shortened_ext), rlp_of(&new_leaf)],
+            0b0110.into(),
+        ));
+        let expected_post_root = keccak256(encoded(&split_branch));
+
+        run(pre_root, witness, Some(expected_post_root), &[(SLOT_B, U256::from(9u64))]).unwrap();
+    }
+
+    /// A zero-write to a slot that provably diverges inside a witnessed extension
+    /// key is a no-op: the post root equals the pre root.
+    #[test]
+    fn diverging_removal_is_noop() {
+        let (pre_root, witness, _) = ext_with_absent_branch();
+        run(pre_root, witness, Some(pre_root), &[(SLOT_B, U256::ZERO)]).unwrap();
+    }
+
+    /// Root extension (key = first 63 nibbles of `SLOT`) whose child branch — two
+    /// empty-key leaves at nibbles 1 and 2 — is intentionally absent from the
+    /// witness: returns `(pre_root, witness, branch_hash)`.
+    fn ext_with_absent_branch() -> (B256, Vec<Bytes>, B256) {
+        let branch = TrieNode::Branch(BranchNode::new(
+            vec![
+                rlp_of(&leaf_node(Nibbles::default(), 7)),
+                rlp_of(&leaf_node(Nibbles::default(), 8)),
+            ],
+            0b0110.into(),
+        ));
+        let branch_hash = keccak256(encoded(&branch));
+        let ext = TrieNode::Extension(ExtensionNode::new(
+            Nibbles::unpack(SLOT).slice(0..63),
+            RlpNode::word_rlp(&branch_hash),
+        ));
+        let ext_rlp = encoded(&ext);
+        (keccak256(&ext_rlp), vec![ext_rlp], branch_hash)
+    }
+
+    /// Two-leaf trie: root branch holding `SLOT` under nibble 1 and `SLOT_B` under
+    /// nibble 2, all nodes witnessed. Returns `(root, witness)`.
+    fn two_leaf_branch() -> (B256, Vec<Bytes>) {
+        let leaf_a = leaf_node(Nibbles::unpack(SLOT).slice(1..), 7);
+        let leaf_b = leaf_node(Nibbles::unpack(SLOT_B).slice(1..), 8);
+        let branch = TrieNode::Branch(BranchNode::new(
+            vec![rlp_of(&leaf_a), rlp_of(&leaf_b)],
+            0b0110.into(),
+        ));
+        let branch_rlp = encoded(&branch);
+        (keccak256(&branch_rlp), vec![branch_rlp, encoded(&leaf_a), encoded(&leaf_b)])
+    }
+
+    /// Removing one of two leaves collapses the root branch into the surviving
+    /// leaf, whose node is witnessed — the merged single-leaf root must come out.
+    #[test]
+    fn removal_collapse_merges_witnessed_sibling() {
+        let (root, state) = two_leaf_branch();
+        let expected = keccak256(encoded(&leaf_node(Nibbles::unpack(SLOT_B), 8)));
+        run(root, state, Some(expected), &[(SLOT, U256::ZERO)]).unwrap();
+    }
+
+    /// Same collapse, but the surviving sibling's node is absent from the witness:
+    /// its merged shape is unknowable, so verification must fail closed.
+    #[test]
+    fn removal_collapse_with_unwitnessed_survivor_errors() {
+        let (root, mut state) = two_leaf_branch();
+        state.truncate(2); // drop leaf_b — the survivor
+        assert!(matches!(
+            run(root, state, Some(root), &[(SLOT, U256::ZERO)]),
+            Err(TrieOperationFailed(_))
+        ));
+    }
+
+    /// An update descending into an unwitnessed branch child must fail closed.
+    #[test]
+    fn update_descending_into_unwitnessed_subtree_errors() {
+        let (root, mut state) = two_leaf_branch();
+        state.truncate(2); // drop leaf_b; SLOT_B's region is now opaque
+        assert!(matches!(
+            run(root, state, Some(root), &[(SLOT_B, U256::from(9u64))]),
+            Err(TrieOperationFailed(_))
+        ));
+    }
 }
diff --git a/crates/stateless-db/Cargo.toml b/crates/stateless-db/Cargo.toml
index 4ab65c80..a7778aa2 100644
--- a/crates/stateless-db/Cargo.toml
+++ b/crates/stateless-db/Cargo.toml
@@ -29,6 +29,7 @@ quick_cache.workspace = true
 redb.workspace = true
 serde.workspace = true
 serde_json.workspace = true
+tracing.workspace = true
 
 [dev-dependencies]
 # misc
diff --git a/crates/stateless-db/src/cache.rs b/crates/stateless-db/src/cache.rs
index a05b3e58..afcdaeb0 100644
--- a/crates/stateless-db/src/cache.rs
+++ b/crates/stateless-db/src/cache.rs
@@ -121,7 +121,9 @@ impl ContractCache {
     ///
     /// Returns `(found, missing)`. Memory hits are trusted and not re-verified; the
     /// caller should use a verified RPC fetch (`RpcClient::get_codes(.., verify=true)`)
-    /// to populate the cache so all entries arrive pre-verified.
+    /// to populate the cache so all entries arrive pre-verified. The disk tier
+    /// self-validates on read: a stale or corrupt row surfaces as missing (see
+    /// `read_contracts`), and the caller's re-fetch + insert overwrites it.
     pub fn get(&self, hashes: &[B256]) -> StoreResult<ContractLookup> {
         let mut found: HashMap<B256, Bytecode> = HashMap::default();
         found.reserve(hashes.len());
diff --git a/crates/stateless-db/src/helpers.rs b/crates/stateless-db/src/helpers.rs
index 2b8d3c14..143d63f2 100644
--- a/crates/stateless-db/src/helpers.rs
+++ b/crates/stateless-db/src/helpers.rs
@@ -4,6 +4,7 @@ use alloy_primitives::{B256, BlockHash, BlockNumber, map::HashMap};
 use redb::{ReadableDatabase, ReadableTable};
 use revm::state::Bytecode;
 use stateless_core::db::{BlockMeta, ContractLookup, StoreResult, StoreResultExt};
+use tracing::warn;
 
 use crate::{
     serialize::{decode_from_slice, encode_to_vec},
@@ -174,6 +175,13 @@ pub fn write_reset_to_anchor(database: &Database, anchor: &BlockMeta) -> StoreRe
 }
 
 /// Retrieves cached contract bytecodes. Returns `(found, missing)`.
+///
+/// The disk tier is self-validating: a row that no longer decodes (serde layout drift in
+/// an upgraded dependency, on-disk corruption) or whose decoded bytecode no longer hashes
+/// back to its key is reported as missing instead of failing the lookup. Both binaries
+/// re-fetch misses through the hash-verified RPC tier and write the result back over the
+/// stale row, so such rows degrade to a one-time re-fetch instead of halting the node.
+/// Storage-engine errors still propagate.
 pub fn read_contracts(database: &Database, hashes: &[B256]) -> StoreResult<ContractLookup> {
     let read_txn = database.begin_read().store_err()?;
     let Some(table) = open_read_table(&read_txn, CONTRACTS)? else {
@@ -184,12 +192,29 @@ pub fn read_contracts(database: &Database, hashes: &[B256]) -> StoreResult<Contr
     let mut missing = Vec::new();
 
     for &hash in hashes {
-        match table.get(hash.0).store_err()? {
-            Some(data) => {
-                let bytecode: Bytecode = decode_from_slice(data.value().as_slice())?;
+        let Some(data) = table.get(hash.0).store_err()? else {
+            missing.push(hash);
+            continue;
+        };
+        match decode_from_slice::<Bytecode>(data.value().as_slice()) {
+            Ok(bytecode) if bytecode.hash_slow() == hash => {
                 found.insert(hash, bytecode);
             }
-            None => missing.push(hash),
+            Ok(_) => {
+                warn!(
+                    code_hash = %hash,
+                    "stored contract bytecode does not hash back to its key; treating as a miss"
+                );
+                missing.push(hash);
+            }
+            Err(error) => {
+                warn!(
+                    code_hash = %hash,
+                    %error,
+                    "stored contract bytecode failed to decode; treating as a miss"
+                );
+                missing.push(hash);
+            }
         }
     }
 
@@ -215,9 +240,10 @@ pub fn write_add_contracts(database: &Database, codes: &[(B256, Bytecode)]) -> S
 
 #[cfg(test)]
 mod tests {
-    use alloy_primitives::Bytes;
+    use alloy_primitives::{Bytes, b256, keccak256};
 
     use super::*;
+    use crate::serialize::BINCODE_LZ4_MARKER;
 
     fn temp_db() -> (tempfile::TempDir, Database) {
         let dir = tempfile::tempdir().unwrap();
@@ -287,12 +313,18 @@ mod tests {
         assert_eq!(read_block_hash(&db, 5).unwrap(), None);
     }
 
+    /// Keyed the same way the write path verifies: `Bytecode::hash_slow()`.
+    fn contract_entry(code: &'static [u8]) -> (B256, Bytecode) {
+        let bytecode = Bytecode::new_raw(Bytes::from_static(code));
+        (bytecode.hash_slow(), bytecode)
+    }
+
     #[test]
     fn contracts_roundtrip_and_missing_report() {
         let (_dir, db) = temp_db();
 
-        let a = (B256::from([1u8; 32]), Bytecode::new_raw(Bytes::from_static(&[0x60])));
-        let b = (B256::from([2u8; 32]), Bytecode::new_raw(Bytes::from_static(&[0x61])));
+        let a = contract_entry(&[0x60]);
+        let b = contract_entry(&[0x61]);
         let missing_hash = B256::from([3u8; 32]);
 
         write_add_contracts(&db, &[]).unwrap();
@@ -304,4 +336,111 @@ mod tests {
         assert_eq!(found[&a.0].bytes_slice(), a.1.bytes_slice());
         assert_eq!(found[&b.0].bytes_slice(), b.1.bytes_slice());
     }
+
+    /// Inserts a raw pre-encoded row into CONTRACTS, bypassing `write_add_contracts` —
+    /// stands in for a row written by an older binary (or corrupted on disk).
+    fn insert_raw_contract_row(db: &Database, key: B256, row: Vec<u8>) {
+        let write_txn = db.begin_write().unwrap();
+        {
+            let mut table = write_txn.open_table(CONTRACTS).unwrap();
+            table.insert(key.0, row).unwrap();
+        }
+        write_txn.commit().unwrap();
+    }
+
+    /// Wraps raw bincode bytes into the stored row format (marker byte + lz4), exactly as
+    /// `encode_to_vec` would, without re-encoding the payload.
+    fn to_stored_row(bincode_bytes: &[u8]) -> Vec<u8> {
+        let mut row = vec![BINCODE_LZ4_MARKER];
+        row.extend(lz4_flex::compress_prepend_size(bincode_bytes));
+        row
+    }
+
+    // The two fixtures below are `bincode::serde::encode_to_vec(&Bytecode::new_raw(code),
+    // bincode::config::standard())` captured under revm-bytecode 6.2.2 (revm 27.x), whose
+    // derived serde enum was ordered `Eip7702 = 0, LegacyAnalyzed = 1`. revm-bytecode 11.x
+    // serializes through `BytecodeSerde`, ordered `LegacyAnalyzed = 0, Eip7702 = 1`, so
+    // rows persisted by pre-upgrade binaries carry the wrong variant tag today.
+
+    /// revm-bytecode 6.2.2 encoding of `Bytecode::new_raw(&[0x60, 0x80, 0x60, 0x40, 0x52])`.
+    /// Under 11.x its `0x01` tag selects `Eip7702`, whose 20-byte address read fails against
+    /// the 6-byte (stop-padded) bytecode field: the typical decode-failure shape.
+    const REVM6_ROW_TYPICAL: &[u8] = &[
+        0x01, 0x06, 0x60, 0x80, 0x60, 0x40, 0x52, 0x00, 0x05, 0x13, 0x62, 0x69, 0x74, 0x76, 0x65,
+        0x63, 0x3a, 0x3a, 0x6f, 0x72, 0x64, 0x65, 0x72, 0x3a, 0x3a, 0x4c, 0x73, 0x62, 0x30, 0x08,
+        0x00, 0x05, 0x01, 0x00,
+    ];
+    const REVM6_ROW_TYPICAL_CODE: &[u8] = &[0x60, 0x80, 0x60, 0x40, 0x52];
+
+    /// revm-bytecode 6.2.2 encoding of `Bytecode::new_raw(&[0x5f; 19])`. The 19-byte code is
+    /// stop-padded to a 20-byte field, so under 11.x it decodes *successfully* into an
+    /// `Eip7702` delegation to a garbage address — only the hash re-check catches it.
+    const REVM6_ROW_MISDECODES: &[u8] = &[
+        0x01, 0x14, 0x5f, 0x5f, 0x5f, 0x5f, 0x5f, 0x5f, 0x5f, 0x5f, 0x5f, 0x5f, 0x5f, 0x5f, 0x5f,
+        0x5f, 0x5f, 0x5f, 0x5f, 0x5f, 0x5f, 0x00, 0x13, 0x13, 0x62, 0x69, 0x74, 0x76, 0x65, 0x63,
+        0x3a, 0x3a, 0x6f, 0x72, 0x64, 0x65, 0x72, 0x3a, 0x3a, 0x4c, 0x73, 0x62, 0x30, 0x08, 0x00,
+        0x13, 0x03, 0x00, 0x00, 0x00,
+    ];
+    const REVM6_ROW_MISDECODES_CODE: &[u8] = &[0x5f; 19];
+
+    #[test]
+    fn stale_revm6_contract_row_is_a_miss_not_an_error() {
+        let (_dir, db) = temp_db();
+
+        // The pre-upgrade key convention (6.2.2 `hash_slow()`, captured alongside the
+        // fixture) is still plain keccak256 of the original bytecode — the key itself
+        // survives the upgrade, only the value layout drifted.
+        let hash = keccak256(REVM6_ROW_TYPICAL_CODE);
+        assert_eq!(hash, b256!("1c3374235d773b2189aed115aa13143020fcdbbe86e38f358cf3e4771b2f0244"));
+        let row = to_stored_row(REVM6_ROW_TYPICAL);
+        assert!(
+            decode_from_slice::<Bytecode>(&row).is_err(),
+            "fixture must fail to decode under the current Bytecode serde layout",
+        );
+        insert_raw_contract_row(&db, hash, row);
+
+        let (found, missing) = read_contracts(&db, &[hash]).unwrap();
+        assert!(found.is_empty());
+        assert_eq!(missing, vec![hash], "stale row must surface as a miss, not an error");
+
+        // The caller's miss handling re-fetches and writes back; the row then heals.
+        let refetched = Bytecode::new_raw(Bytes::from_static(REVM6_ROW_TYPICAL_CODE));
+        write_add_contracts(&db, &[(hash, refetched.clone())]).unwrap();
+        let (found, missing) = read_contracts(&db, &[hash]).unwrap();
+        assert!(missing.is_empty());
+        assert_eq!(found[&hash].bytes_slice(), refetched.bytes_slice());
+    }
+
+    #[test]
+    fn stale_revm6_contract_row_misdecoding_as_eip7702_is_a_miss() {
+        let (_dir, db) = temp_db();
+
+        let hash = keccak256(REVM6_ROW_MISDECODES_CODE);
+        let row = to_stored_row(REVM6_ROW_MISDECODES);
+        // This row *does* decode under the current layout — into an EIP-7702 delegation
+        // to a garbage address — so only the hash re-check can reject it.
+        let misdecoded = decode_from_slice::<Bytecode>(&row)
+            .expect("fixture must silently decode under the current Bytecode serde layout");
+        assert_ne!(misdecoded.hash_slow(), hash);
+        insert_raw_contract_row(&db, hash, row);
+
+        let (found, missing) = read_contracts(&db, &[hash]).unwrap();
+        assert!(found.is_empty());
+        assert_eq!(missing, vec![hash], "mis-decoded row must surface as a miss");
+    }
+
+    #[test]
+    fn hash_mismatched_contract_row_is_a_miss() {
+        let (_dir, db) = temp_db();
+
+        // A row that decodes fine but was stored under the wrong key (key corruption, or
+        // any future silent mis-decode) is rejected by the hash re-check.
+        let wrong_key = B256::from([7u8; 32]);
+        let bytecode = Bytecode::new_raw(Bytes::from_static(&[0x60, 0x00]));
+        write_add_contracts(&db, &[(wrong_key, bytecode)]).unwrap();
+
+        let (found, missing) = read_contracts(&db, &[wrong_key]).unwrap();
+        assert!(found.is_empty());
+        assert_eq!(missing, vec![wrong_key]);
+    }
 }
diff --git a/crates/stateless-r2/Cargo.toml b/crates/stateless-r2/Cargo.toml
index 8c457f81..bd2d5437 100644
--- a/crates/stateless-r2/Cargo.toml
+++ b/crates/stateless-r2/Cargo.toml
@@ -17,12 +17,13 @@ hex = { workspace = true, features = ["alloc"] }
 hmac.workspace = true
 percent-encoding.workspace = true
 # Pinned explicitly (not workspace-inherited): `put_object` exposes `&reqwest::Client`, so the
-# reqwest major is part of this crate's API and must match mega-reth's workspace (0.12). Bumping
-# it is a coordinated two-repo change that a workspace-wide bump must not ride over.
-# No `http2` feature: R2's bare S3 endpoint negotiates HTTP/1.1 only (ALPN-verified live),
-# so h2 buys these paths nothing today. Revisit alongside the R2 custom-domain work, which
-# does ride an h2-capable stack.
-reqwest = { version = "0.12", default-features = false, features = ["rustls-tls"] }
+# reqwest major is part of this crate's API and must match mega-reth's workspace (0.13 on its
+# reth-2.3 `upstream/reth` branch). Bumping it is a coordinated two-repo change that a
+# workspace-wide bump must not ride over.
+# No `http2` feature (opt-in since 0.13): R2's bare S3 endpoint negotiates HTTP/1.1 only
+# (ALPN-verified live), so h2 buys these paths nothing today. Revisit alongside the R2
+# custom-domain work, which does ride an h2-capable stack.
+reqwest = { version = "0.13", default-features = false, features = ["rustls"] }
 sha2.workspace = true
 tokio = { workspace = true, features = ["sync", "time"] }
 tracing = { workspace = true, features = ["std"] }