starknet_committer: define StoragePathsReadTask

[ArielElp]

No description provided.

[reviewable-StarkWare]

This change is 

[ArielElp]

• starknet_committer: fetch patricia paths concurrently #14283
• starknet_committer: define fetch_contract_storage_paths_concurrently #14282
• starknet_committer: define StoragePathsReadTask #14281 👈 (View in Graphite)
• starknet_patricia_storage: move is_gatherable to ReadOnlyStorage #14280
• apollo_committer,starknet_committer: use blockifier's AccessedKeys #14252
• main

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

[cursor]

PR Summary

Low Risk
Adds unused infrastructure only; no call sites or behavior changes to block commit or trie traversal yet.

Overview
Adds StoragePathsReadTask, a StorageTask companion to the existing TrieReadTask for per-contract storage tries. Where TrieReadTask builds an OriginalSkeletonTreeImpl via create_storage_trie, the new task runs fetch_patricia_paths (with leaves = None) and returns (ContractAddress, PreimageMap) for Patricia inner-node witnesses along paths to the given sorted leaf indices.

The task is generic over the same storage Layout and uses ContractAddress as the DB key context, matching other storage-trie reads. It is annotated with #[expect(dead_code)] because nothing dispatches it yet—likely groundwork for concurrent Patricia-path reads through GatherableStorage::gather, similar to concurrent skeleton trie creation.

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

[yoavGrs]

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

---

crates/starknet_committer/src/db/trie_traversal.rs line 866 at r1 (raw file):

    Layout: NodeLayoutFor<StarknetStorageValue> + Send + 'static,
{
    type Output = TraversalResult<(ContractAddress, PreimageMap)>;

Why do you need the contract address in the output?

Code quote:

(ContractAddress, PreimageMap)

[yoavGrs]

@yoavGrs made 1 comment.
Reviewable status: 0 of 1 files reviewed, 2 unresolved discussions (waiting on ArielElp).

---

crates/starknet_committer/src/db/trie_traversal.rs line 882 at r1 (raw file):

        storage: &mut ReadsCollectorStorage<'storage, S>,
    ) -> Self::Output {
        let leaves = None;

When does it none and when not?

Code quote:

let leaves = None;

[ArielElp]

@ArielElp made 2 comments.
Reviewable status: 0 of 1 files reviewed, 2 unresolved discussions (waiting on yoavGrs).

---

crates/starknet_committer/src/db/trie_traversal.rs line 866 at r1 (raw file):

Previously, yoavGrs wrote…

Why do you need the contract address in the output?

gather returns Vec<Task::Output>, we don't rely on ordering in both this task and the existing skeleton creation task

---

crates/starknet_committer/src/db/trie_traversal.rs line 882 at r1 (raw file):

Previously, yoavGrs wrote…

When does it none and when not?

None for storage/classes trie, not none for contracts trie

[yoavGrs]

@yoavGrs reviewed 1 file and resolved 2 discussions.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on ArielElp).

[yoavGrs]

@yoavGrs reviewed 1 file and resolved 2 discussions.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on ArielElp).

[dorimedini-starkware]

@dorimedini-starkware reviewed 1 file and all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on ArielElp).

[dorimedini-starkware]

@dorimedini-starkware reviewed 9 files and all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on ArielElp).