blockifier_reexecution: add PrefetchedStateReader and move from starknet_transaction_prover

[AvivYossef-starkware]

Move the prefetched state reader and initial_reads deserialization utilities
from starknet_transaction_prover into blockifier_reexecution so both crates
share a single implementation. starknet_transaction_prover now imports
PrefetchedStateReader and deserialize_rpc_initial_reads from
blockifier_reexecution, and the local serde_utils module + SimulatedStateReader
are deleted.

Made-with: Cursor

---

Note

Medium Risk
Moves and rewires simulate-based state prefetch used during transaction execution/proving; mistakes could cause extra RPC fallbacks or incorrect cached reads in a critical execution path. Scope is contained but touches state-reading and RPC integration.

Overview
Centralizes simulate-based state prefetch in blockifier_reexecution by introducing prefetched_state_reader (SimulatedStateReader, simulate_and_get_initial_reads, and initial_reads deserialization) and adding a dedicated PrefetchState error variant.

starknet_transaction_prover now imports and uses this shared implementation for prefetch_state execution, and deletes its local serde_utils, duplicated SimulatedStateReader, and the old simulate/prefetch unit test (replaced with a new mock-based test in blockifier_reexecution).

^{Reviewed by Cursor Bugbot for commit 528037f. Bugbot is set up for automated code reviews on this repo. Configure here.}

[reviewable-StarkWare]

This change is 

[AvivYossef-starkware]

• blockifier_reexecution: delete RpcStateReader methods superseded by get_block_info_with_txs #13834
• blockifier_reexecution: cache BlockInfoWithTxs in consecutive readers to dedupe RPC fetches #13833
• blockifier_reexecution: add get_block_info_with_txs for single-call block fetch #13832
• blockifier_reexecution,starknet_transaction_prover: support DeployAccount V3 in simulate prefetch #13778
• blockifier_reexecution,starknet_transaction_prover: graceful fallback on prefetch failure #13743
• blockifier_reexecution,starknet_transaction_prover: parameterize skip_fee_charge in prefetch #13738
• blockifier_reexecution: remove fallback warn logs from SimulatedStateReader #13737
• blockifier_reexecution: wire prefetch_initial_reads into replay CLI #13712
• blockifier_reexecution: add prefetch_initial_reads to ConsecutiveRpcStateReaders #13711
• blockifier_reexecution: extract contract_class_mapping_dumper into ConsecutiveRpcStateReaders #13741
• blockifier_reexecution: add PrefetchedStateReader and move from starknet_transaction_prover #13654 👈 (View in Graphite)
• main-v0.14.2

This stack of pull requests is managed by Graphite. Learn more about stacking.

[cursor]

PR Summary

Medium Risk
Moves and rewires simulate-based state prefetching used during transaction proving, which can impact execution correctness/performance if the RPC response shape/flags or fallback behavior differs. Changes are localized but touch core state-reading paths and error handling for simulation failures.

Overview
Adds a shared prefetched_state_reader module to blockifier_reexecution, including SimulatedStateReader, simulate_and_get_initial_reads, and initial_reads deserialization (with RPC fallback reads and a new ReexecutionError::PrefetchState for simulation failures).

Updates starknet_transaction_prover’s virtual block executor to import and use this shared prefetch implementation (passing validate_txs through), and removes the prover’s duplicated serde_utils, local SimulatedStateReader, and the standalone simulate unit test in favor of new focused tests in blockifier_reexecution.

^{Reviewed by Cursor Bugbot for commit 411b881. Bugbot is set up for automated code reviews on this repo. Configure here.}

[einat-starkware]

@einat-starkware reviewed 9 files and all commit messages, and made 1 comment.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on noaov1 and Yoni-Starkware).