starknet_os_runner: rpc storage_proofs

[AvivYossef-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[AvivYossef-starkware]

• starknet_os_runner: aviv refactor the rpc state reader to compute the compiled class hash #11302
• starknet_os_runner: base block info #11295
• starknet_os_runner: fetch classes concurrent #11288
• starknet_os_runner: prev block hash #11188
• starknet_os_runner: virtual block input #11176
• starknet_os_runner: classes provider using class manager #11006
• blockifier: convert entry points #11005
• starknet_os_runner: run os #10941
• starknet_os_runner: build os input #10940
• starknet_os_runner: class provider #10939
• starknet_os_runner: share test utils #10934
• starknet_os_runner: storage proof provider trait #10891
• starknet_os_runner: rpc storage_proofs #10890 👈 (View in Graphite)
• starknet_patricia: from merkle node to preimage #10889
• starknet_os_runner: add executed_class_hashes to virtual block execution data #10932
• starknet_os_runner: virtual block executor #10930
• main

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

[github-actions]

Artifacts upload workflows:

• Started at 2025-12-17T14:57:20Z
• Started at 2025-12-17T15:11:15Z
• Started at 2025-12-18T13:46:21Z
• Started at 2025-12-18T14:22:03Z
• Started at 2025-12-18T14:22:02Z
• Started at 2025-12-18T14:30:18Z
• Started at 2025-12-21T09:49:21Z
• Started at 2025-12-21T12:25:02Z
• Started at 2025-12-21T12:25:20Z
• Started at 2025-12-21T12:25:02Z
• Started at 2025-12-23T07:23:50Z
• Started at 2025-12-23T08:23:25Z
• Started at 2025-12-23T08:41:06Z
• Started at 2025-12-23T08:41:34Z
• Started at 2025-12-23T09:03:49Z
• Started at 2025-12-23T09:25:53Z
• Started at 2025-12-23T12:53:34Z
• Started at 2025-12-24T09:15:43Z
• Started at 2025-12-24T09:40:47Z

[noaov1]

@noaov1 made 1 comment.
Reviewable status: 0 of 6 files reviewed, 1 unresolved discussion (waiting on @avi-starkware and @AvivYossef-starkware).

---

crates/starknet_os_runner/src/storage_proofs.rs line 59 at r2 (raw file):

    /// Extract query parameters from StateMaps.
    pub fn prepare_query(initial_reads: &StateMaps) -> RpcStorageProofsQuery {
        let class_hashes: Vec<Felt> = initial_reads.class_hashes.values().map(|ch| ch.0).collect();

What about library calls?
What about replcae class (if we will support it one day)?

Code quote:

        let class_hashes: Vec<Felt> = initial_reads.class_hashes.values().map(|ch| ch.0).collect();

[noaov1]

@noaov1 reviewed 5 files and all commit messages, and made 2 comments.
Reviewable status: 5 of 6 files reviewed, 3 unresolved discussions (waiting on @avi-starkware and @AvivYossef-starkware).

---

crates/starknet_os_runner/src/lib.rs line 6 at r2 (raw file):

#[cfg(test)]
mod virtual_block_executor_test;
pub mod storage_proofs;

Suggestion:

pub mod errors;
pub mod storage_proofs;
pub mod virtual_block_executor;

#[cfg(test)]
mod virtual_block_executor_test;

---

crates/starknet_os_runner/Cargo.toml line 15 at r2 (raw file):

starknet_api.workspace = true
starknet_os.workspace = true
starknet_patricia.workspace = true

Does it mean that we will need to publish those crates as well?

Code quote:

starknet_os.workspace = true
starknet_patricia.workspace = true

[noaov1]

@noaov1 made 1 comment.
Reviewable status: 5 of 6 files reviewed, 3 unresolved discussions (waiting on @avi-starkware and @AvivYossef-starkware).

---

crates/starknet_os_runner/src/storage_proofs.rs line 59 at r2 (raw file):

Previously, noaov1 (Noa Oved) wrote…

What about library calls?
What about replcae class (if we will support it one day)?

We may need to use the execution infos

[AvivYossef-starkware]

@AvivYossef-starkware made 3 comments and resolved 1 discussion.
Reviewable status: 5 of 6 files reviewed, 2 unresolved discussions (waiting on @avi-starkware and @noaov1).

---

crates/starknet_os_runner/Cargo.toml line 15 at r2 (raw file):

Previously, noaov1 (Noa Oved) wrote…

Does it mean that we will need to publish those crates as well?

yes

---

crates/starknet_os_runner/src/storage_proofs.rs line 59 at r2 (raw file):

Previously, noaov1 (Noa Oved) wrote…

What about library calls?
What about replcae class (if we will support it one day)?

Replace class causes state diff, one of the assumptions is that the tx doesn't create state diff.
About the library calls, you are right, I refactored it

---

crates/starknet_os_runner/src/lib.rs line 6 at r2 (raw file):

#[cfg(test)]
mod virtual_block_executor_test;
pub mod storage_proofs;

Done

[graphite-app]

Merge activity

• Dec 23, 9:04 AM UTC: Graphite rebased this pull request, because this pull request is set to merge when ready.

[meship-starkware]

@meship-starkware reviewed 6 files and all commit messages.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @avi-starkware and @noaov1).

[meship-starkware]

@meship-starkware made 1 comment.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @avi-starkware and @noaov1).

[AvivYossef-starkware]

@AvivYossef-starkware resolved 1 discussion and dismissed @noaov1 from a discussion.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @avi-starkware).

[AvivYossef-starkware]

@AvivYossef-starkware resolved 1 discussion.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @avi-starkware).

sickness