blockifier: extract CallInfo::get_visited_storage_entries

[yoavGrs]

Co-Authored-By: Claude Sonnet 4.6 noreply@anthropic.com

[reviewable-StarkWare]

This change is 

[yoavGrs]

• blockifier: extract CallInfo::get_visited_storage_entries #14026 👈 (View in Graphite)
• main

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

[github-actions]

Artifacts upload workflows:

• Started at 2026-05-14T09:16:55Z

[cursor]

PR Summary

Low Risk
Low risk refactor/addition: it factors out visited storage entry iteration and adds a new accessor on TransactionExecutionInfo; the main risk is subtle mismatches in which storage keys (especially block-hash table reads) are included.

Overview
Refactors storage-key collection by extracting CallInfo::get_visited_storage_entries() and using it inside execution summarization instead of duplicating the mapping logic.

Adds TransactionExecutionInfo::get_visited_storage_entries() to return the full visited storage-entry set across all call infos, including extra entries for get_block_hash reads via (BLOCK_HASH_TABLE_ADDRESS, block_number).

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

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, have a team admin enable autofix in the Cursor dashboard.}

^{Reviewed by Cursor Bugbot for commit 2160a0b. Configure here.}

[cursor]

New public method has no callers in codebase

Low Severity

TransactionExecutionInfo::get_visited_storage_entries is a newly added pub method with zero callers anywhere in the codebase. A grep for all usages of get_visited_storage_entries shows that the only call sites invoke the CallInfo method, not this TransactionExecutionInfo method. The associated imports (HashSet, BLOCK_HASH_TABLE_ADDRESS, StorageKey, StorageEntry) are also only needed for this unused function.

 

^{Reviewed by Cursor Bugbot for commit 2160a0b. Configure here.}

[ArielElp]

@ArielElp reviewed 2 files and all commit messages, and made 1 comment.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on yoavGrs).