blockifier: pass nested_multiple_int_list directly

[avivg-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[github-actions]

Artifacts upload workflows:

• Started at 2025-08-06T15:16:41Z
• Started at 2025-08-07T07:55:36Z
• Started at 2025-08-07T07:58:00Z
• Started at 2025-08-07T07:58:05Z
• Started at 2025-08-07T08:22:49Z
• Started at 2025-08-07T08:44:33Z
• Started at 2025-08-07T09:50:09Z
• Started at 2025-08-10T08:33:14Z
• Started at 2025-08-10T10:04:42Z
• Started at 2025-08-10T10:04:42Z
• Started at 2025-08-10T10:32:06Z
• Started at 2025-08-10T12:47:53Z
• Started at 2025-08-10T17:14:48Z
• Started at 2025-08-11T11:29:21Z
• Started at 2025-08-11T12:51:34Z

[avivg-starkware]

• blockifier: pass nested_multiple_int_list directly #8462 👈 (View in Graphite)
• blockifier: add bytecode_segment_felt_sizes to contract_class_v1 #8392 : 3 other dependent PRs (#8401 , #8450 , #8456 )
• main-v0.14.1

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

[noaov1]

Reviewed 2 of 2 files at r2, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @AvivYossef-starkware)

---

crates/native_blockifier/src/py_testing_wrappers.rs line 28 at r2 (raw file):

    let node = NestedMultipleIntList::Leaf(
        bytecode_segment_lengths,
        FeltSizeGroups { small: 0, large: 0 },

Consider deriving the default trait.

Code quote:

FeltSizeGroups { small: 0, large: 0 },

[avivg-starkware]

Reviewable status: 0 of 2 files reviewed, 1 unresolved discussion (waiting on @AvivYossef-starkware and @noaov1)

---

crates/native_blockifier/src/py_testing_wrappers.rs line 28 at r2 (raw file):

Previously, noaov1 (Noa Oved) wrote…

Consider deriving the default trait.

yes thanks, added

[AvivYossef-starkware]

you should open a python PR for it.
Consider deleting this test if @Yoni-Starkware agrees, we have a similar test in Rust.
estimate_casm_hash_computation_resources_for_testing_list
estimate_casm_hash_computation_resources_for_testing_single

Reviewed 3 of 3 files at r3, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @noaov1)

[avivg-starkware]

seems like this doesn't break, see Py PR: https://reviewable.io/reviews/starkware-industries/starkware/38860

Reviewable status: 2 of 3 files reviewed, 1 unresolved discussion (waiting on @AvivYossef-starkware and @noaov1)

[AvivYossef-starkware]

Reviewed 1 of 1 files at r4, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @noaov1)

[noaov1]

Reviewed 2 of 3 files at r3, 1 of 1 files at r4, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @avivg-starkware)

[graphite-app]

Merge activity

• Aug 11, 12:37 PM UTC: This pull request can not be added to the Graphite merge queue. Please try rebasing and resubmitting to merge when ready.
• Aug 11, 12:37 PM UTC: Graphite disabled "merge when ready" on this PR due to: a merge conflict with the target branch; resolve the conflict and try again..

[avivg-starkware]

Reviewable status: 2 of 4 files reviewed, 1 unresolved discussion (waiting on @AvivYossef-starkware and @noaov1)

---

crates/starknet_os/src/hints/hint_implementation/compiled_class/compiled_class_test.rs line 318 at r5 (raw file):

            &contract_class.get_bytecode_segment_lengths(),
            &contract_class.bytecode,
        ));

alternative approach:

Suggestion:

fn test_compiled_class_hash_resources_estimation() {
    // TODO(Aviv): Parameterize this test to run for both V1 and V2.
    let hash_version = HashVersion::V1;
    let feature_contract =
        FeatureContract::TestContract(CairoVersion::Cairo1(RunnableCairo1::Casm));
    let class = feature_contract.get_class();
    let (mut casm, compiled_class_v1) = match class {
        ContractClass::V1(class) => {
            let (casm, _sierra_version) = class.clone();
            let compiled_class_v1: CompiledClassV1 = class.try_into().unwrap();
            (casm, compiled_class_v1)
        }
        _ => panic!("Expected ContractClass::V1"),
    };

    // TODO(Aviv): Remove this once we estimate correctly compiled class hash with entry-points.
    contract_class.entry_points_by_type = Default::default();

    // Run the compiled class hash entry point with full contract loading.
    let (mut actual_execution_resources, _hash_computed_by_cairo) =
        run_compiled_class_hash_entry_point(&contract_class, true, &hash_version);

    // Compare the actual execution resources with the estimation with some allowed margin.
    let mut execution_resources_estimation =
        estimate_casm_poseidon_hash_computation_resources(compiled_class_v1.bytecode_segment_felt_sizes());

[AvivYossef-starkware]

Reviewed 1 of 2 files at r5, 1 of 1 files at r6, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @noaov1)