blockifier_reexecution,starknet_transaction_prover: graceful fallback on prefetch failure#13743
Conversation
PR SummaryLow Risk Overview Both Reviewed by Cursor Bugbot for commit 1f187b0. Bugbot is set up for automated code reviews on this repo. Configure here. |
a9cf339 to
a253c19
Compare
c60012e to
710f918
Compare
Yoni-Starkware
left a comment
There was a problem hiding this comment.
@Yoni-Starkware reviewed 2 files and all commit messages, and made 1 comment.
Reviewable status:complete! all files reviewed, all discussions resolved (waiting on noaov1).
710f918 to
cf57e7f
Compare
a253c19 to
76274da
Compare
cf57e7f to
de3ba72
Compare
86e0c7e to
9adb208
Compare
de3ba72 to
910c0f2
Compare
9adb208 to
408650d
Compare
… on prefetch failure Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
408650d to
1f187b0
Compare
910c0f2 to
b4e1482
Compare

If
starknet_simulateTransactionsfails (e.g. the node does not supportStarknet spec >= v0.10.1, or a transient network error), log a warning
and fall back to empty
StateMapsinstead of failing the block.The
SimulatedStateReaderwith empty maps routes all reads throughindividual RPC calls — slower but correct.
Both call sites are updated:
SimulatedStateReader::from_rpc_state_reader(reexecution flow)RpcVirtualBlockExecutor::state_reader(virtual block executor)