starknet_os_runner: class provider

[AvivYossef-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[github-actions]

Artifacts upload workflows:

• Started at 2025-12-21T14:36:55Z
• Started at 2025-12-23T07:23:50Z
• Started at 2025-12-23T08:41:05Z
• Started at 2025-12-23T09:25:54Z
• Started at 2025-12-23T12:53:34Z
• Started at 2025-12-24T09:34:55Z
• Started at 2025-12-24T12:49:35Z
• Started at 2025-12-24T12:55:16Z
• Started at 2025-12-24T13:58:20Z
• Started at 2025-12-24T13:58:08Z
• Started at 2025-12-24T14:14:44Z
• Started at 2025-12-24T13:58:20Z
• Started at 2025-12-25T06:47:34Z
• Started at 2025-12-25T14:47:10Z

[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 👈 (View in Graphite)
• starknet_os_runner: share test utils #10934
• starknet_os_runner: storage proof provider trait #10891
• starknet_os_runner: rpc storage_proofs #10890
• 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.

[meship-starkware]

@meship-starkware partially reviewed 5 files.
Reviewable status: 2 of 5 files reviewed, all discussions resolved (waiting on @avi-starkware and @noaov1).

[meship-starkware]

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

[Yoni-Starkware]

@Yoni-Starkware reviewed 2 files and all commit messages, and made 2 comments.
Reviewable status: 2 of 8 files reviewed, 2 unresolved discussions (waiting on @avi-starkware, @AvivYossef-starkware, @meship-starkware, and @noaov1).

---

crates/starknet_os_runner/src/virtual_block_executor_test.rs line 68 at r4 (raw file):

    // Calldata for account's __execute__ (Cairo 0 OZ account format):
    // [call_array_len, call_array..., calldata_len, calldata...]

Remove this struct and add `execution_flag to the original RPC struct (with default values)

Code quote:

/// Test wrapper for RpcStateReader that overrides execution flags to skip validation.
struct TestRpcVirtualBlockExecutor(RpcVirtualBlockExecutor);

impl VirtualBlockExecutor for TestRpcVirtualBlockExecutor {
    fn block_context(
        &self,
        block_number: BlockNumber,
    ) -> Result<blockifier::context::BlockContext, VirtualBlockExecutorError> {
        self.0.block_context(block_number)
    }

    fn state_reader(
        &self,
        block_number: BlockNumber,
    ) -> Result<
        impl blockifier::state::state_reader_and_contract_manager::FetchCompiledClasses
        + Send
        + Sync
        + 'static,
        VirtualBlockExecutorError,
    > {
        self.0.state_reader(block_number)
    }

    // Override the default implementation to skip validation.
    fn convert_invoke_txs(
        txs: Vec<(Transaction, TransactionHash)>,
    ) -> Result<Vec<BlockifierTransaction>, VirtualBlockExecutorError> {
        // Call the default trait implementation.
        let mut blockifier_txs = RpcVirtualBlockExecutor::convert_invoke_txs(txs)?;

        // Modify validate flag to false for all transactions.
        for tx in &mut blockifier_txs {
            if let BlockifierTransaction::Account(account_tx) = tx {
                account_tx.execution_flags.validate = false;
            }
        }

        Ok(blockifier_txs)
    }
}

/// Constructs an Invoke transaction that calls `balanceOf` on the STRK token contract.
///
/// Since we skip validation and fee charging, we can use dummy values for signature,
/// nonce, and resource bounds.
fn construct_balance_of_invoke() -> (Transaction, TransactionHash) {
    let strk_token = ContractAddress::try_from(STRK_TOKEN_ADDRESS).unwrap();
    let sender = ContractAddress::try_from(SENDER_ADDRESS).unwrap();

    // Calldata for account's __execute__ (Cairo 0 OZ account format):
    // [call_array_len, call_array..., calldata_len, calldata...]

---

crates/starknet_os_runner/src/test_utils.rs line 1 at r4 (raw file):

use std::env;

How is this related to the class provider?

[Yoni-Starkware]

@Yoni-Starkware resolved 1 discussion.
Reviewable status: 2 of 8 files reviewed, 1 unresolved discussion (waiting on @avi-starkware, @AvivYossef-starkware, @meship-starkware, and @noaov1).

[Yoni-Starkware]

@Yoni-Starkware resolved 1 discussion.
Reviewable status: 2 of 8 files reviewed, 1 unresolved discussion (waiting on @avi-starkware, @AvivYossef-starkware, @meship-starkware, and @noaov1).

[AvivYossef-starkware]

@AvivYossef-starkware made 1 comment.
Reviewable status: 2 of 8 files reviewed, 1 unresolved discussion (waiting on @avi-starkware, @meship-starkware, @noaov1, and @Yoni-Starkware).

---

crates/starknet_os_runner/src/virtual_block_executor_test.rs line 68 at r4 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

Remove this struct and add `execution_flag to the original RPC struct (with default values)

It's not part of the PR,
you saw it since the branch wasn't rebased.
I made the changes you asked in #11129

[Yoni-Starkware]

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